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 - metrics - download

⟦fa21ac32f⟧ Ada Source

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

Derivation

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

with Io;
with Table_Formatter;
with Bounded_String;
with String_Map_Generic;
package body Sequential_Reference is

    Current : Natural := 1;

    procedure Add (Elem : Element; To : in out Map) is
    begin
        Element_Map.Define
           (The_Map => To.Map, D => Elem, R => Current, Trap_Multiples => True);
        To.Elements (Current) := Elem;
        Current               := Current + 1;
    exception
        when Element_Map.Multiply_Defined =>
            null;
    end Add;

    function Lookup (Index : Integer; In_Map : Map) return Element is
    begin
        return In_Map.Elements (Index);
    end Lookup;

    function Index (Elem : Element; In_Map : Map) return Integer is
    begin
        return Element_Map.Eval (In_Map.Map, Elem);
    exception
        when Element_Map.Undefined =>
            raise Undefined;
    end Index;

    procedure Display (M : Map; To : Io.File_Type := Io.Standard_Output) is
        package Table is new Table_Formatter (2);
    begin
        Table.Header ("Number");
        Table.Header ("Name");
        for I in 1 .. Current - 1 loop
            Table.Item (Integer'Image (I));
            Table.Item (Image (M.Elements (I)));
        end loop;  
        Table.Display (To);
    end Display;

    procedure Initialize (M : in out Map) is
    begin
        Element_Map.Initialize (M.Map);
    end Initialize;
end Sequential_Reference;

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