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

⟦9defba081⟧ TextFile

    Length: 1549 (0x60d)
    Types: TextFile
    Names: »V«

Derivation

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧

TextFile

generic
    type Domain is private;
    type Ranges is private;
    with function Hash_Of (The_Domain : in Domain) return Positive;
package Map_Simple_Noncached_Sequential_Bounded_Managed_Noniterator is

    type Map (The_Size : Positive) is limited private;

    procedure Copy (From_The_Map : in Map; To_The_Map : in out Map);
    procedure Clear (The_Map : in out Map);
    procedure Bind (The_Domain : in Domain;
                    And_The_Range : in Ranges;
                    In_The_Map : in out Map);
    procedure Unbind (The_Domain : in Domain; In_The_Map : in out Map);

    function Is_Equal (Left : in Map; Right : in Map) return Boolean;
    function Extent_Of (The_Map : in Map) return Natural;
    function Is_Empty (The_Map : in Map) return Boolean;
    function Is_Bound
                (The_Domain : in Domain; In_The_Map : in Map) return Boolean;
    function Range_Of
                (The_Domain : in Domain; In_The_Map : in Map) return Ranges;

    Overflow : exception;
    Domain_Is_Not_Bound : exception;
    Multiple_Binding : exception;

private
    type State is (Empty, Deleted, Bound);
    type Node is
        record
            The_State : State := Empty;
            The_Domain : Domain;
            The_Range : Ranges;
        end record;
    type Items is array (Positive range <>) of Node;
    type Map (The_Size : Positive) is
        record
            The_Items : Items (1 .. The_Size);
            The_Count : Natural := 0;
        end record;
end Map_Simple_Noncached_Sequential_Bounded_Managed_Noniterator;