DataMuseum.dk

top - download

    Length: 1796 (0x704)
    Types: TextFile
    Names: »V«

└─⟦db1c56801⟧ Bits:30000748 8mm tape, Rational 1000, TESTMATE 2_2_0
    └─ ⟦866d14df1⟧ »DATA« 
        └─⟦97c804b2f⟧ 
            └─⟦this⟧ 

TextFile

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;