DataMuseum.dk

top - download

    Length: 1913 (0x779)
    Types: TextFile
    Names: »TMS«

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

TextFile

package Tms is
    -- This package is designed to support RCI signaling of results back
    -- to the host machine.  Note that the Execution_Results package has
    -- been folded in to reduce complexity and at the same time maintain
    -- some resemblance to the actual package interface on the host.

    package Execution_Result is
        type Object is (Unknown, Pass, Fail, Fail_With_Exception, Timeout);
    end Execution_Result;

    subtype Test_Result is Execution_Result.Object;

    function Pass return Test_Result;
    function Fail return Test_Result;
    function Fail_With_Exception return Test_Result;
    function Timeout return Test_Result;

    procedure Register_Result (The_Result : Tms.Test_Result);

end Tms;

with Text_Io;
package body Tms is
    function Pass return Test_Result is
    begin
        return Execution_Result.Pass;
    end Pass;


    function Fail return Test_Result is
    begin
        return Execution_Result.Fail;
    end Fail;


    function Fail_With_Exception return Test_Result is
    begin
        return Execution_Result.Fail_With_Exception;
    end Fail_With_Exception;


    function Timeout return Test_Result is
    begin
        return Execution_Result.Timeout;
    end Timeout;


    procedure Register_Result (The_Result : Tms.Test_Result) is
        Results_Filename : constant String := "TMSSTAT";
        -- Any change made to Results_Filename must be reflected in
        -- the library switch associated with the test case for the
        -- Remote_Results_Filename.  By default, this is set to TMSSTAT
        -- on the host machine.  This file is used to communicate the
        -- Test_Result back to the script run data.
        File : Text_Io.File_Type;
    begin
        Text_Io.Create (File, Name => "TMSSTAT");
        Text_Io.Put_Line (File, Test_Result'Image (The_Result));
        Text_Io.Close (File);
    end Register_Result;
end Tms;