generic with package Message_Structures is new Generic_Message_Structures (<>); package Generic_Router is
package Router_Id_Generator is new Generic_Id_Generator_Sequential (Id_Range => 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 := Set_Id)
entry Configure
| ( | Links | : Ids_To_Links); |
entry Send_Message
| ( | Message | : Messages_Client); |
entry Receive_Message
| ( | Message | : out Messages_Mailbox); |
entry Shutdown;