DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦f6594d6e7⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Instance, seg_011365, seg_011567

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

E3 Source Code



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;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=23 rec1=00 rec2=01 rec3=000
        [0x01] rec0=0e rec1=00 rec2=02 rec3=000
    tail 0x2170d0d26823642156390 0x42a00088462063c03