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 - metrics - download

⟦b7fe4663e⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Test_Run, seg_028b8a

Derivation

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

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;

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=25 rec1=00 rec2=01 rec3=080
        [0x01] rec0=16 rec1=00 rec2=02 rec3=036
        [0x02] rec0=1c rec1=00 rec2=03 rec3=000
    tail 0x2172264f683c55e270a71 0x42a00044462022803