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

⟦35f6b3b3c⟧ Ada Source

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

Derivation

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

with Class;

package body Instance is


    function Isa (The_Reference : Instance.Reference) return Class.Reference is
    begin
        return The_Reference.Kind;
    end Isa;


    function Isa (The_Reference : Instance.Reference) return String is
    begin
        return Class.Image (The_Reference.Kind);
    end Isa;


    function Image (Of_Reference : Instance.Reference) return String is
    begin
        return Instance.Identifier'Image (Of_Reference.Ident);
    end Image;


    function Value (Of_Reference : Instance.Reference) return Identifier is
    begin
        return Natural (Of_Reference.Ident);
    end Value;


    function Is_Null (The_Reference : Instance.Reference) return Boolean is
    begin
        return The_Reference = Instance.Null_Reference;
    end Is_Null;


    procedure Set (The_Reference : in out Instance.Reference;
                   With_Value    :        Natural) is
    begin
        if With_Value < 0 or With_Value > Max_Instance then
            raise Bad_Value;
        else
            The_Reference.Ident := Instance.Identifier (With_Value);
        end if;
    end Set;


    function No_Restriction
                (The_Reference : Instance.Reference) return Boolean is
    begin
        return True;
    end No_Restriction;



end Instance;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=28 rec1=00 rec2=01 rec3=020
        [0x01] rec0=11 rec1=00 rec2=02 rec3=000
    tail 0x2150d02ec823d499af05f 0x42a00088462063c03