package Message_Structures is new Generic_Message_Structures (<>);
package Router_Id_Generator is new Id_Dispenser (Element => Router_Range);
package Router_Link is new Generic_Router_Links (Router_Range, Router_Task_P, null);
type Router_Task;
type Router_Task_P is access all Router_Task;
Task_Id: Router_Range := Draw_Id)
entry Configure
( | Links | : Ids_To_Links); |
entry Send_Message
( | Message | : Messages_Client); |
entry Receive_Message
( | Message | : out Messages_Mailbox); |
entry Shutdown;