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

⟦dcdaf8f87⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Test_Case, seg_028b86

Derivation

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

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;

    nblk1=5
    nid=0
    hdr6=a
        [0x00] rec0=23 rec1=00 rec2=01 rec3=046
        [0x01] rec0=01 rec1=00 rec2=05 rec3=008
        [0x02] rec0=17 rec1=00 rec2=02 rec3=070
        [0x03] rec0=1d rec1=00 rec2=03 rec3=042
        [0x04] rec0=19 rec1=00 rec2=04 rec3=000
    tail 0x2172264ee83c55e1ed2ab 0x42a00044462022803