DataMuseum.dk

top - download

    Length: 1191 (0x4a7)
    Types: TextFile
    Names: »V«

└─⟦bfaa708f6⟧ Bits:30000531 8mm tape, Rational 1000, INSIGHT 1_3_0
    └─ ⟦c51948655⟧ »DATA« 
        └─⟦266b31e86⟧ 
            └─⟦this⟧ 

TextFile

with Client;
with Message_Types;
with System;

package Message is
    -- abstraction for a ip network message.

    type Packet is private;
    subtype Message_Type is Message_Types.Message_Type;

    procedure Initialize (Buffer : in out Packet; Source : Client.Id);
    procedure Copy (Source : Packet; Destination : in out Packet);
    -- both must exist

    procedure Set_Destination (Buffer : in out Packet; Destination : Client.Id);
    -- Set the destination address in the message packet.  Buffer must be
    -- non-null else the exception Constraint_Error will be raised.

    procedure Set_Class (Buffer : in out Packet; Class : Message_Type);
    procedure Set_Body (Buffer : in out Packet; Packet_Body : String);

    function Binary_Image (Buffer : Packet) return System.Byte_String;

    function Recover_Packet (Buffer : System.Byte_String) return Packet;

    function Packet_Body (Buffer : Packet) return String;
    function Class (Buffer : Packet) return Message_Type;
    function Source (Buffer : Packet) return Client.Id;
    function Destination (Buffer : Packet) return Client.Id;


private
    type Packet_Block;
    type Packet is access Packet_Block;
end Message;