Index

Package: Generic_Message_Structures (generic)

Description

generic
   with package Routers_Configuration is
Framework: Uwe R. Zimmer, Australia, 2015

Packages

Routers_Configuration (new Generic_Routers_Configuration)

package Routers_Configuration is new Generic_Routers_Configuration (<>);

Message_Strings (new Generic_Bounded_Length)

package Message_Strings is new Generic_Bounded_Length (Max => 80);

Types

The_Core_Message

subtype The_Core_Message is Bounded_String;

Messages_Client

type Messages_Client is record
      Destination : Router_Range;
      The_Message : The_Core_Message;
   end record;

References:

generic_message_structures.ads:20:9 (declaration)
generic_router.ads:31:44 (reference)

Messages_Mailbox

type Messages_Mailbox is record
      Sender      : Router_Range     := Router_Range'Invalid_Value;
      The_Message : The_Core_Message := Message_Strings.To_Bounded_String ("");
      Hop_Counter : Natural          := 0;
   end record;