|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Exclusive_Generic_List, seg_042e00, seg_043bc4, seg_0449b2, seg_044bb1
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with List_Generic;
generic
type Element is private;
Null_Element : Element;
with procedure Show_Element (Item : in Element);
with function Get_Key (Item : in Element) return String;
package Exclusive_Generic_List is
type Object is private;
procedure Put (List : in out Object; Item : in Element; Ok : out Boolean);
procedure Put (List : in out Object; Item : in Element);
procedure Get (List : in Object;
Item : out Element;
Key : in String;
Ok : out Boolean);
procedure Copy (Input_List : in Object; Output_List : in out Object);
procedure Free (List : in out Object);
procedure Show (List : in Object);
function Is_Empty (List : in Object) return Boolean;
function Belong (List : in Object; Key : in String) return Boolean;
function Length (List : in Object) return Natural;
type Iterator is private;
procedure Init (An_Iterator : out Iterator; List : in Object);
procedure Next (An_Iterator : in out Iterator);
function Value (An_Iterator : in Iterator) return Element;
function Done (An_Iterator : in Iterator) return Boolean;
Null_Object : constant Object;
private
package Exclusive_List is new List_Generic (Element => Element);
type Object is
record
Object : Exclusive_List.List := Exclusive_List.Nil;
end record;
Null_Object : constant Object := (Object => Exclusive_List.Nil);
type Iterator is
record
Object : Exclusive_List.Iterator;
end record;
end Exclusive_Generic_List;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=1b rec1=00 rec2=01 rec3=044
[0x01] rec0=18 rec1=00 rec2=02 rec3=001
tail 0x21743ad3c8631602f8dc9 0x42a00088462060003