DataMuseum.dk

top - download

    Length: 5203 (0x1453)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Instance;
with Constant_String;
package Slot is
    type Kinds is (Integer_Value, Boolean_Value, Float_Value,
                   Character_Value, String_Value, Checked_Enumeration_Value,
                   Unchecked_Enumeration_Value, Class_Value);

    type Object (Kind : Kinds := Integer_Value) is private;   -- record variant
    True_Object : constant Slot.Object;
    False_Object : constant Slot.Object;
    function Value (I : Integer) return Object;
    function Value (F : Float) return Object;
    function Value (B : Boolean) return Object;
    function Value (C : Character) return Object;
    function Value (S : String) return Object;
    function Value (O : Instance.Reference) return Object;


    function Get (O : Object) return Integer;
    function Get (O : Object) return Boolean;
    function Get (O : Object) return Float;
    function Get (O : Object) return Character;
    function Get (O : Object) return String;
    function Get (O : Object) return Instance.Reference;

    procedure Set (O : in out Object;
                   To : Integer;
                   Is_Mutable : Boolean := False);
    procedure Set (O : in out Object;
                   To : Boolean;
                   Is_Mutable : Boolean := False);
    procedure Set
                 (O : in out Object; To : Float; Is_Mutable : Boolean := False);
    procedure Set (O : in out Object;
                   To : Character;
                   Is_Mutable : Boolean := False);
    procedure Set (O : in out Object;
                   To : String;
                   Is_Mutable : Boolean := False);
    procedure Set (O : in out Object;
                   To : Instance.Reference;
                   Is_Mutable : Boolean := False);

    function Is_Same_Type (Left, Right : Object) return Boolean;

    package Operators is

        function "=" (Left, Right : Object) return Boolean renames Slot."=";
        function "<" (Left, Right : Object) return Boolean;
        function "<=" (Left, Right : Object) return Boolean;
        function ">" (Left, Right : Object) return Boolean;
        function ">=" (Left, Right : Object) return Boolean;

    end Operators;

    function Image (O : Object) return String;


    generic
        Checked : in Boolean := False;
        type Values is (<>);
    package Enumeration_Facilities is
        function Value (E : Values) return Object;
        function Get (O : Object) return Values;
        procedure Set (O : in out Object;
                       To : Values;
                       Is_Mutable : Boolean := False);
        function Image (O : Object) return String;
        function Image (E : Values) return String;
        function "=" (Left, Right : Object) return Boolean renames Slot."=";
        function "<" (Left, Right : Object) return Boolean;
        function "<=" (Left, Right : Object) return Boolean;
        function ">" (Left, Right : Object) return Boolean;
        function ">=" (Left, Right : Object) return Boolean;

    end Enumeration_Facilities;
    Integer_Object_Waited_Error : exception;
    Boolean_Object_Waited_Error : exception;
    Float_Object_Waited_Error : exception;
    Char_Object_Waited_Error : exception;
    String_Object_Waited_Error : exception;
    Reference_Object_Waited_Error : exception;
    Incompatible_Integer_And_Object : exception;
    Incompatible_Boolean_And_Object : exception;
    Incompatible_Float_And_Object : exception;  
    Incompatible_Char_And_Object : exception;
    Incompatible_String_And_Object : exception;
    Incompatible_Reference_And_Object : exception;
    Less_Operator_Error : exception;  
    Less_Equal_Operator_Error : exception;
    Great_Operator_Error : exception;
    Great_Equal_Operator_Error : exception;

    Illegal_Enumeration_Object : exception;
    Enumeration_Object_Error : exception;
    Enumeration_Less_Error : exception;
    Enumeration_Less_Equal_Error : exception;
    Enumeration_Great_Error : exception;
    Enumeration_Great_Equal_Error : exception;

private
    type Object (Kind : Kinds := Integer_Value) is
        record
            case Kind is
                when Integer_Value =>
                    I_Val : Integer := 0;
                when Float_Value =>
                    F_Val : Float := 0.0;
                when Boolean_Value =>
                    B_Val : Boolean := False;
                when Character_Value =>
                    C_Val : Character := Ascii.Nul;
                when String_Value =>
                    S_Val : Constant_String.Object :=
                       Constant_String.Null_Object;
                when Class_Value =>
                    O_Val : Instance.Reference := Instance.Null_Reference;
                when Unchecked_Enumeration_Value =>
                    Ue_Val : Integer := 0;              --'pos
                when Checked_Enumeration_Value =>
                    Ce_Val : Constant_String.Object :=
                       Constant_String.Null_Object;    --'image

            end case;


        end record;
    True_Object : constant Slot.Object :=
       (Kind => Boolean_Value, B_Val => True);
    False_Object : constant Slot.Object :=
       (Kind => Boolean_Value, B_Val => False);

end Slot;