DataMuseum.dk

top - metrics - download

    Length: 2667 (0xa6b)
    Types: TextFile
    Names: »V«

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

TextFile

with Simple_Status;
with Test_Case_Result;
with Po_Handle;  
with Po_Conditions;
with Po_Access_Modes;
with Time_Utility;  
with System;

package Test_Run is

  type Object is private;

  subtype Test_Case_Handle is Po_Handle.Object;

  type Pair is
    record
      D : Test_Case_Handle;
      R : Test_Case_Result.Object;
    end record;

  function Constructor (Heap : System.Segment) return Test_Run.Object;

  procedure Destructor (Of_The_Obj : in out Test_Run.Object);

  function Attached_Info_Handle
            (For_Obj : Object; Kind : in String := "") return Po_Handle.Object;

  function Test_Log_Handle (For_Obj : Test_Run.Object) return Po_Handle.Object;

  function Test_Script_Handle
            (For_Obj : Test_Run.Object) return Po_Handle.Object;

  function Test_Set_Handle (For_Obj : Test_Run.Object) return Po_Handle.Object;

  function Test_Context_Handle
            (For_Obj : Test_Run.Object) return Po_Handle.Object;

  function Subject_Program_Version_Info
            (For_Obj : Test_Run.Object) return Po_Handle.Object;
  function Eval (In_The_Map : Test_Run.Object; With_Domain : Test_Case_Handle)
                return Test_Case_Result.Object;

  procedure Find (In_The_Map         :        Test_Run.Object;
                  The_Domain         :        Test_Case_Handle;
                  Yielding_The_Range : in out Test_Case_Result.Object;
                  With_Success       : out    Boolean);

  procedure Find (In_The_Map         :        Test_Run.Object;
                  The_Domain         :        Test_Case_Handle;
                  Yielding_The_Range : in out Pair;
                  With_Success       : out    Boolean);

  function Is_Empty (The_Map : Test_Run.Object) return Boolean;
  type Iterator is private;

  procedure Init  (Iter : out Test_Run.Iterator; The_Map : Test_Run.Object);
  procedure Next  (Iter : in out Test_Run.Iterator);
  function  Value (Iter : Test_Run.Iterator) return Test_Case_Handle;
  function  Done  (Iter : Test_Run.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.Object;
                             Into : in out Po_Conditions.Condition);


    procedure Open (The_Obj : in out Test_Run.Object;
                    Mode    : in     Po_Access_Modes.Modes;
                    Handle  : in     Po_Handle.Object);


    function Name (For_Obj : Test_Run.Object) return String;

    procedure Close (The_Obj : in out Test_Run.Object;
                     Abandon :        Boolean := False);


  end Persistent_Operations;

end Test_Run;