DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦a05089c74⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Test_Run_Subset, seg_028b8c

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧

E3 Source Code



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;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=21 rec1=00 rec2=01 rec3=054
        [0x01] rec0=16 rec1=00 rec2=02 rec3=000
    tail 0x2172264fa83c55e2aada1 0x42a00044462022803