DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download
Index: T V

⟦dfe14cc9f⟧ TextFile

    Length: 1785 (0x6f9)
    Types: TextFile
    Names: »V«

Derivation

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

TextFile

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;