DataMuseum.dk

top - download

    Length: 1912 (0x778)
    Types: TextFile
    Notes: R1k Text-file segment

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦99fb96c90⟧ 
            └─⟦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