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

⟦a5b439aa7⟧ Ada Source

    Length: 10240 (0x2800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Po_Tools, seg_028bd3

Derivation

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

E3 Source Code



with Directory_Tools;
with Job_Segment;
with Po_Handle;
with Po_Access_Modes;
with System;
with Script_Construction_Control;
with Test_Case;
with Test_Case_Data;
with Test_Context;
with Test_Script_Control;
with Test_Set;
with Test_Set_Element;

package Po_Tools is

    type Status is (Success, Inappropriate_Object_Class,
                    Unresolvable_Name, Unidentified_Failure);

    Gen_Heap : System.Segment := Job_Segment.Get;


    type Test_Case_Component_Params is (Executable_Test_Code_Params,  
                                        Evaluation_Action_Params,  
                                        Coverage_Analyzer_Params,  
                                        Pre_Condition_Params,  
                                        Prolog_Params,  
                                        Epilog_Params);

    -- Implementation is dependent on Test_Case_Data  Handle_Element  to
    -- Test_Case_Component_Params  mapping.   If new Handle_Elements are
    -- added or  Handle_Element  names  change  for  handles  that  have
    -- parameters   associated  with  them,  Associated_Handle  must  be
    -- updated to accommodate any new/modified Handle_Element.
    --
    function Associated_Handle (For_Param : Test_Case_Component_Params)
                               return Test_Case.Handle_Elements;


    -- Constructs a Test Case and a handle for the Test Case.
    --
    procedure Construct_Test_Case (Name : in String;
                                   Using_Heap : in out System.Segment;
                                   The_Test_Case : in out Test_Case.Object;
                                   Test_Case_Handle : in out Po_Handle.Object);

    -- Destroys the test case and its handle.
    --
    procedure Destroy_Test_Case
                 (The_Test_Case : in out Test_Case.Object;
                  The_Test_Case_Handle : in out Po_Handle.Object);

    -- Opens the Test Case, gets and checks the condition  of  the  open
    -- operation.   The Result is Success if the Open succeeded.  If the
    -- Open   fails,    either    an    Inappropriate_Object_Class    or
    -- Unidentified_Failure Result is returned.
    --
    procedure Open_Test_Case (The_Test_Case : in out Test_Case.Object;
                              Test_Case_Handle : in out Po_Handle.Object;
                              Access_Mode : in Po_Access_Modes.Modes :=
                                 Po_Access_Modes.Read_Only;
                              Result : out Status);

    -- Assumes From_Test_Case has been constructed and opened.   Creates
    -- a  copy  of  the From test case by constructing the New_Test_Case
    -- and saving the contents of the From_Test_Case test case into  the
    -- New_Test_Case.  New_Test_Case is closed at end of the operation.
    --
    procedure Copy_Test_Case (From_Test_Case : in out Test_Case.Object;
                              New_Test_Case : in out Test_Case.Object;
                              New_Test_Case_Name : String;
                              New_Test_Case_Handle : in out Po_Handle.Object;
                              Using_Heap : System.Segment);


    -- Constructs a Test Set and a handle for the Test Set.
    --
    procedure Construct_Test_Set (Name : in String;
                                  Using_Heap : in out System.Segment;
                                  The_Test_Set : in out Test_Set.Object;
                                  Test_Set_Handle : in out Po_Handle.Object);

    -- Destroys the Test Set and its handle.
    --
    procedure Destroy_Test_Set (The_Test_Set : in out Test_Set.Object;
                                The_Test_Set_Handle : in out Po_Handle.Object);

    -- Opens the Test Set, gets and checks the  condition  of  the  open
    -- operation.   The Result is Success if the Open succeeded.  If the
    -- Open   fails,    either    an    Inappropriate_Object_Class    or
    -- Unidentified_Failure Result is returned.
    --
    procedure Open_Test_Set (The_Test_Set : in out Test_Set.Object;
                             Test_Set_Handle : in out Po_Handle.Object;
                             Access_Mode : in Po_Access_Modes.Modes :=
                                Po_Access_Modes.Read_Only;
                             Result : out Status);

    -- Constructs a Test Context and a handle for the Test Context.
    --
    procedure Construct_Test_Context
                 (Name : in String;
                  Using_Heap : in out System.Segment;
                  The_Test_Context : in out Test_Context.Object;
                  Test_Context_Handle : in out Po_Handle.Object);

    -- Destroys the Test Context and its handle.
    --
    procedure Destroy_Test_Context
                 (The_Test_Context : in out Test_Context.Object;
                  The_Test_Context_Handle : in out Po_Handle.Object);

    -- Opens the Test Context, gets and checks the condition of the open
    -- operation.  The Result is Success if the Open succeeded.  If  the
    -- Open    fails,    either    an    Inappropriate_Object_Class   or
    -- Unidentified_Failure Result is returned.
    --
    procedure Open_Test_Context (The_Test_Context : in out Test_Context.Object;
                                 Test_Context_Handle : in out Po_Handle.Object;
                                 Access_Mode : in Po_Access_Modes.Modes :=
                                    Po_Access_Modes.Read_Only;
                                 Result : out Status);

    -- Constructs a Script Construction Control object and a handle  for
    -- the Script Construction Control Object.
    --
    procedure Construct_Scc
                 (Name : in String;
                  Using_Heap : in out System.Segment;
                  The_Scc : in out Script_Construction_Control.Object;
                  Scc_Handle : in out Po_Handle.Object);

    -- Destroys the Script Construction Control Object and its handle.
    --
    procedure Destroy_Scc (The_Scc : in out Script_Construction_Control.Object;
                           The_Scc_Handle : in out Po_Handle.Object);

    -- Opens the Script Construction Control Object, gets and checks the
    -- condition of the open operation.  The Result is  Success  if  the
    -- Open    succeeded.     If    the    Open    fails,    either   an
    -- Inappropriate_Object_Class  or  Unidentified_Failure  Result   is
    -- returned.
    --
    procedure Open_Scc (The_Scc : in out Script_Construction_Control.Object;
                        Scc_Handle : in out Po_Handle.Object;
                        Access_Mode : in Po_Access_Modes.Modes :=
                           Po_Access_Modes.Read_Only;
                        Result : out Status);

    -- Constructs a Script Execution Control object and a handle for the
    -- Script Execution Control Object.
    --
    procedure Construct_Sec (Name : in String;
                             Using_Heap : in out System.Segment;
                             The_Sec : in out Test_Script_Control.Object;
                             Sec_Handle : in out Po_Handle.Object);

    -- Destroys the Script Execution Control Object and its handle.
    --
    procedure Destroy_Sec (The_Sec : in out Test_Script_Control.Object;
                           The_Sec_Handle : in out Po_Handle.Object);

    -- Opens the Script Execution Control Object, gets  and  checks  the
    -- condition  of  the  open operation.  The Result is Success if the
    -- Open   succeeded.     If    the    Open    fails,    either    an
    -- Inappropriate_Object_Class   or  Unidentified_Failure  Result  is
    -- returned.
    --
    procedure Open_Sec (The_Sec : in out Test_Script_Control.Object;
                        Sec_Handle : in out Po_Handle.Object;
                        Access_Mode : in Po_Access_Modes.Modes :=                          Po_Access_Modes.Read_Only;
                        Result : out Status);

    function Is_Context_File (The_Object : String) return Boolean;

    function Is_Sec_File (The_Object : String) return Boolean;

    function Is_Scc_File (The_Object : String) return Boolean;

    function Is_Test_Case_File (The_Object : String) return Boolean;

    function Is_Test_Run_Group_File (The_Object : String) return Boolean;

    function Is_Test_Run_File (The_Object : String) return Boolean;

    function Is_Test_Set_File (The_Object : String) return Boolean;

    function Is_Coverage_Run_File (The_Object : String) return Boolean;

end Po_Tools;

E3 Meta Data

    nblk1=9
    nid=0
    hdr6=12
        [0x00] rec0=1f rec1=00 rec2=01 rec3=076
        [0x01] rec0=16 rec1=00 rec2=02 rec3=054
        [0x02] rec0=11 rec1=00 rec2=03 rec3=066
        [0x03] rec0=14 rec1=00 rec2=04 rec3=086
        [0x04] rec0=17 rec1=00 rec2=05 rec3=036
        [0x05] rec0=14 rec1=00 rec2=06 rec3=004
        [0x06] rec0=14 rec1=00 rec2=07 rec3=010
        [0x07] rec0=13 rec1=00 rec2=08 rec3=002
        [0x08] rec0=14 rec1=00 rec2=09 rec3=000
    tail 0x21521356e83c55e686662 0x42a00088462060003