|
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 - metrics - download
Length: 3072 (0xc00) Types: Ada Source Notes: 03_class, FILE, R1k_Segment, e3_tag, package Test_Run_Group, seg_028b8b
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000 └─⟦5a81ac88f⟧ »Space Info Vol 1« └─⟦this⟧
with Po_Handle; with Po_Conditions; with Po_Access_Modes; with System; with Test_Run_Subset; package Test_Run_Group is type Object is private; function Constructor (Heap : System.Segment) return Test_Run_Group.Object; procedure Destructor (Of_The_Obj : in out Test_Run_Group.Object); function Eval (In_The_Map : Test_Run_Group.Object; With_Domain : Po_Handle.Object) return Test_Run_Subset.Object; procedure Find (In_The_Map : Test_Run_Group.Object; The_Domain : Po_Handle.Object; Yielding_The_Range : in out Test_Run_Subset.Object; With_Success : out Boolean); function Is_Empty (The_Map : Test_Run_Group.Object) return Boolean; type Iterator is private; procedure Init (Iter : out Test_Run_Group.Iterator; The_Map : Test_Run_Group.Object); procedure Next (Iter : in out Test_Run_Group.Iterator); function Value (Iter : Test_Run_Group.Iterator) return Po_Handle.Object; function Done (Iter : Test_Run_Group.Iterator) return Boolean; Undefined : exception; -- raised by eval if the domain value in not in the map package Persistent_Operations is procedure Get_Condition (Obj : in Test_Run_Group.Object; Into : in out Po_Conditions.Condition); procedure Open (The_Obj : in out Test_Run_Group.Object; Mode : in Po_Access_Modes.Modes; Handle : in Po_Handle.Object); function Name (For_Obj : Test_Run_Group.Object) return String; procedure Close (The_Obj : in out Test_Run_Group.Object; Abandon : Boolean := False); end Persistent_Operations; end Test_Run_Group;
nblk1=2 nid=0 hdr6=4 [0x00] rec0=1e rec1=00 rec2=01 rec3=066 [0x01] rec0=1e rec1=00 rec2=02 rec3=000 tail 0x2152133c683c55e28e5a4 0x42a00044462022803