DataMuseum.dk

top - download

    Length: 3621 (0xe25)
    Types: TextFile
    Names: »V«

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

TextFile

with Po_Handle;
with Simple_Status;
with Executable_Code;
with Parallel_Termination_Control;
with Po_Conditions;
with Po_Access_Modes;  
with Access_String;
with System;

with Test_Case_Data;

package Test_Case is

  package Executable_Test_Code renames Executable_Code;
  package Program_Harness      renames Executable_Code;

  type Object is private;

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

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

  subtype Handle_Elements is Test_Case_Data.Handle_Elements;

  subtype Run_Modes is Test_Case_Data.Run_Modes;

  function Get_Handle (Using_Element : Handle_Elements;
                       From_The_Obj : Test_Case.Object) return Po_Handle.Object;

  function Get_Params (Using_Element : Handle_Elements;
                       From_The_Obj  : Test_Case.Object)
                      return Access_String.Object;
  --
  -- Get_Params is only defined for
  -- Executable_Test_Code_Handle,Program_Harness_Handle,
  -- Pre_Condition_Handle,Prolog_Handle,Epilog_Handle,
  -- Evaluation_Action_Handle
  --

  function Test_Description (From_The_Obj : Test_Case.Object) return String;

  function Term_Control (From_The_Obj : Test_Case.Object)
                        return Parallel_Termination_Control.Object;

  function Keywords (From_The_Obj : Test_Case.Object) return String;

  function Run_Mode (From_The_Obj : Test_Case.Object) return Run_Modes;

  function Allow_Coverage_Analysis
            (From_The_Obj : Test_Case.Object) return Boolean;

  procedure Set_Handle (Using_Element :        Handle_Elements;
                        In_The_Obj    : in out Test_Case.Object;
                        New_Handle    :        Po_Handle.Object);

  procedure Set_Params (Using_Element :        Handle_Elements;
                        In_The_Obj    : in out Test_Case.Object;
                        New_Params    :        Access_String.Object);

  procedure Set_Test_Description
             (In_The_Obj : in out Test_Case.Object; New_Description : String);

  procedure Set_Keywords (In_The_Obj   : in out Test_Case.Object;
                          New_Keywords :        String);

  procedure Set_Term_Control
             (In_The_Obj  : in out Test_Case.Object;
              New_Control :        Parallel_Termination_Control.Object);

  procedure Set_Run_Mode (In_The_Obj   : in out Test_Case.Object;
                          New_Run_Mode :        Run_Modes);

  procedure Set_Allow_Coverage_Analysis
             (In_The_Obj : in out Test_Case.Object; Allow : Boolean);

  function Fetch_Test_Case_Data
            (From_The_Obj : Test_Case.Object) return Test_Case_Data.Object;
  --
  -- a copy of the Test_Case_Data components of the test_case
  --


  package Persistent_Operations is


    procedure Get_Condition (Obj  : in     Test_Case.Object;
                             Into : in out Po_Conditions.Condition);


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


    procedure Create (The_Obj : in out Test_Case.Object;
                      Handle  : in     Po_Handle.Object);

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

    procedure Save (The_Obj : in out Test_Case.Object);

    procedure Save_As (The_Obj         : in out Test_Case.Object;
                       With_New_Handle :        Po_Handle.Object);

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


  end Persistent_Operations;

end Test_Case;