DataMuseum.dk

top - download

    Length: 1963 (0x7ab)
    Types: TextFile
    Names: »B«

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

TextFile

with Client;
with Bounded_String;
with Message_Types;
package body Message is

    Max_Size : constant := 100;

    type Packet_Block is
        record
            Source, Destination : Client.Id;
            Class : Message_Types.Message_Type;
            Msg_Body : Bounded_String.Variable_String (Max_Size);
        end record;

    procedure Initialize (Buffer : in out Packet; Source : Client.Id) is
    begin  
        if Buffer = null then
            Buffer := new Packet_Block;
        end if;
        Buffer.Source := Source;
    end Initialize;


    procedure Copy (Source : Packet; Destination : in out Packet) is
    begin
        Destination.all := Source.all;
    end Copy;

    procedure Set_Destination (Buffer : in out Packet;
                               Destination : Client.Id) is
    begin
        Buffer.Destination := Destination;
    end Set_Destination;


    procedure Set_Class (Buffer : in out Packet; Class : Message_Type) is
    begin
        Buffer.Class := Class;
    end Set_Class;


    procedure Set_Body (Buffer : in out Packet; Packet_Body : String) is
    begin
        Bounded_String.Copy (Buffer.Msg_Body, Packet_Body);
    end Set_Body;


    function Binary_Image (Buffer : Packet) return System.Byte_String is
    begin
        [statement]
    end Binary_Image;


    function Recover_Packet (Buffer : System.Byte_String) return Packet is
    begin
        [statement]
    end Recover_Packet;


    function Packet_Body (Buffer : Packet) return String is
    begin
        return Bounded_String.Image (Buffer.Msg_Body);
    end Packet_Body;


    function Class (Buffer : Packet) return Message_Type is
    begin
        return Buffer.Class;
    end Class;


    function Source (Buffer : Packet) return Client.Id is
    begin
        return Buffer.Source;
    end Source;


    function Destination (Buffer : Packet) return Client.Id is
    begin
        return Buffer.Destination;
    end Destination;
end Message;