DataMuseum.dk

top - metrics - download

    Length: 1294 (0x50e)
    Types: TextFile
    Names: »B«

└─⟦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 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;