DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦1126f2a65⟧ TextFile

    Length: 1216 (0x4c0)
    Types: TextFile
    Names: »V«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧

TextFile

with Class;

package Instance is

    Max_Instance : constant := 10000;

    type Reference (Kind : Class.Reference := Class.Nothing) is private;

    subtype Identifier is Natural range 0 .. Max_Instance;


    Null_Reference  : constant Instance.Reference;
    Null_Identifier : constant Identifier := 0;

    Any : constant Natural := Natural'Last;


    function Isa (The_Reference : Instance.Reference) return Class.Reference;

    function Isa (The_Reference : Instance.Reference) return String;

    function Image (Of_Reference : Instance.Reference) return String;
    function Value (Of_Reference : Instance.Reference) return Identifier;

    function Is_Null (The_Reference : Instance.Reference) return Boolean;

    procedure Set (The_Reference : in out Instance.Reference;
                   With_Value    :        Natural);

    function No_Restriction (The_Reference : Instance.Reference) return Boolean;


    Bad_Value : exception;


private

    type Reference (Kind : Class.Reference := Class.Nothing) is
        record
            Ident : Identifier;
        end record;

    Null_Reference : constant Instance.Reference :=
       (Kind => Class.Nothing, Ident => Null_Identifier);


end Instance;