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