⟦bcedc47b2⟧

E3 Source Code



with List_Generic;
with Bounded_String;

package Object is

    Max_Integer : constant := 65536;

    Max_String : constant := 100;

    Max_Block : constant := 100;

    type E_Class is (Integer_Class, Boolean_Class, String_Class,
                     Turtle_Class, Pen_Class, Block_Class, Void_Class);

    subtype Tiny_String is Bounded_String.Variable_String (80);

    Empty_String : Tiny_String;

    type Index is range -Max_Integer .. Max_Integer;

    type Reference is private;

    type Access_Reference is private;

    Void_Reference : constant Reference;

    function Create (Class : E_Class; Object : Index) return Reference;

    function Get (From : Reference) return E_Class;
    function Get (From : Reference) return Index;
    procedure Put (This : E_Class; Into : out Reference);
    procedure Put (This : Index; Into : out Reference);

    type Keyword is private;

    procedure Init (This : in out Keyword);

    function Create return Keyword;

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

    function Get (From : Keyword) return Tiny_String;
    function Get (From : Keyword) return Reference;
    procedure Put (This : Tiny_String;
                   And_This : Reference;
                   Into : in out Keyword);
    procedure Put (This : Tiny_String; Into : in out Keyword);
    procedure Put (This : 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 : Reference) return Reference;

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

    type Unary is private;

    procedure Init (This : in out Unary);

    function Create return Unary;

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

    function Get (From : Unary) return Tiny_String;  
    procedure Put (This : 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

    type Reference is
        record
            Id_Class : E_Class := Void_Class;
            Id_Object : Index := 0;
        end record;

    type Access_Reference is access Reference;

    Void_Reference : constant Reference :=
       (Id_Class => Void_Class, Id_Object => 0);

    package Message_Argument is new List_Generic (Element => Reference);
    package Message_Name is new List_Generic (Element => 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 : Tiny_String;
            Argument : Reference := 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 Object;
DataMuseum.dk

Rational R1000/400

⟦bcedc47b2⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
