DataMuseum.dk

top - download

    Length: 2676 (0xa74)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Object;
with List_Generic;
with Bounded_String;

package Message is

    type Keyword is private;

    procedure Init (This : in out Keyword);

    function Create return Keyword;

    function Send (This_Message : Keyword; To : Object.Reference)
                  return Object.Reference;

    function Get (From : Keyword) return Object.Tiny_String;
    function Get (From : Keyword) return Object.Reference;
    procedure Put (This : Object.Tiny_String;
                   And_This : Object.Reference;
                   Into : in out Keyword);
    procedure Put (This : Object.Tiny_String; Into : in out Keyword);
    procedure Put (This : Object.Reference; Into : in out Keyword);
    procedure Next (From : in out Keyword);
    function Is_Done (This : Keyword) return Boolean;
    function Is_Done_Name (This : Keyword) return Boolean;
    function Is_Done_Argument (This : Keyword) return Boolean;
    procedure Free (This : in out Keyword);

    type Binary is private;

    function Create return Binary;

    function Send (This_Message : Binary; To : Object.Reference)
                  return Object.Reference;

    function Get (From : Binary) return Object.Tiny_String;
    function Get (From : Binary) return Object.Reference;
    procedure Put (This : Object.Tiny_String; Into : out Binary);
    procedure Put (This : Object.Reference; Into : out Binary);

    type Unary is private;

    procedure Init (This : in out Unary);

    function Create return Unary;

    function Send (This_Message : Unary; To : Object.Reference)
                  return Object.Reference;

    function Get (From : Unary) return Object.Tiny_String;  
    procedure Put (This : Object.Tiny_String; Into : in out Unary);
    procedure Next (From : in out Unary);
    function Is_Done (This : Unary) return Boolean;
    procedure Free (This : in out Unary);

private

    package Message_Argument is new List_Generic (Element => Object.Reference);
    package Message_Name is new List_Generic (Element => Object.Tiny_String);

    type Keyword is
        record
            Name : Message_Name.List := Message_Name.Nil;
            Argument : Message_Argument.List := Message_Argument.Nil;
            Iter_Name : Message_Name.Iterator;
            Iter_Arg : Message_Argument.Iterator;
        end record;

    type Binary is
        record
            Name : Object.Tiny_String;
            Argument : Object.Reference := Object.Void_Reference;
        end record;
    type Access_Binary is access Binary;

    type Unary is
        record
            Name : Message_Name.List := Message_Name.Nil;
            Iter : Message_Name.Iterator;
        end record;

end Message;