|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 1796 (0x704)
Types: TextFile
Names: »V«
└─⟦db1c56801⟧ Bits:30000748 8mm tape, Rational 1000, TESTMATE 2_2_0
└─⟦866d14df1⟧ »DATA«
└─⟦97c804b2f⟧
└─⟦this⟧
with Po_Handle;
with Po_Handle_Extension;
with System;
package Test_Run_Subset is
type Object (Full_Set : Boolean := True) is private;
subtype Test_Case_Result_Handle is Po_Handle.Object;
subtype Test_Run_Handle is Po_Handle.Object;
--
-- test_case_result_handle is the same as a Test_Case_Handle, old name form
--
function Constructor (For_Test_Run : Test_Run_Handle;
Using_Full_Set : Boolean;
Heap : System.Segment) return Test_Run_Subset.Object;
function Constructor (With_Value : String; Heap : System.Segment)
return Test_Run_Subset.Object;
function Constructor (Heap : System.Segment) return Test_Run_Subset.Object;
procedure Destructor (The_Set : in out Test_Run_Subset.Object);
function Get_Test_Run_Handle
(For_The_Set : Test_Run_Subset.Object) return Po_Handle.Object;
--
-- Get_Test_Run_Handle retrieves the Test_Run itself - this allows the
-- subset to be used in a containing set if needed since it is
-- self-identifying wrt the Test_Run
-- an alternative would be to have a Test_Case_Result reference be a full
-- "handle" identifying the Test_Run and Test_Case
--
function Is_Empty (S : Test_Run_Subset.Object) return Boolean;
function Is_Member (S : Test_Run_Subset.Object; X : Test_Case_Result_Handle)
return Boolean;
type Iterator is private;
procedure Init (Iter : out Test_Run_Subset.Iterator;
S : Test_Run_Subset.Object);
procedure Next (Iter : in out Test_Run_Subset.Iterator);
function Value (Iter : Test_Run_Subset.Iterator)
return Test_Case_Result_Handle;
function Done (Iter : Test_Run_Subset.Iterator) return Boolean;
end Test_Run_Subset;