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

⟦f030f20f6⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package V_I_Timeop, seg_0509d5

Derivation

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

E3 Source Code



-- Copyright 1988 Verdix Corporation

------------------------------------------------------------------------------
-- User interface to the RTS time operator subprograms
--
-- Note: time_t record consists of two fields: day and sec.
-- Each day represents 86400.0 seconds.
------------------------------------------------------------------------------
with V_I_Types;
use V_I_Types;
package V_I_Timeop is

    pragma Suppress (All_Checks);
    pragma Suppress (Exception_Tables);
    pragma Not_Elaborated;

    --------------------------------------------------------------------------
    -- Normalizes time so that its seconds component is less than a day.
    --------------------------------------------------------------------------
    function Normalize_Time (Time : Time_T) return Time_T;

    --------------------------------------------------------------------------
    -- Time addition. Returned time is normalized.
    --------------------------------------------------------------------------
    function Incr_Time (Left : Time_T; Right : Time_T) return Time_T;
    function "+" (Left : Time_T; Right : Time_T) return Time_T
        renames Incr_Time;

    --------------------------------------------------------------------------
    -- Time subtraction. Returned time is normalized.
    --
    -- Assumption: left parameter is >= right parameter.
    --------------------------------------------------------------------------
    function Decr_Time (Left : Time_T; Right : Time_T) return Time_T;
    function "-" (Left : Time_T; Right : Time_T) return Time_T
        renames Decr_Time;

    --------------------------------------------------------------------------
    -- Time difference. The returned duration can exceed 86400.0 seconds.
    -- No check is made for overflow.
    --
    -- Assumption: left parameter is >= right parameter.
    --------------------------------------------------------------------------
    function Time_Diff (Left : Time_T; Right : Time_T) return Duration;
    function "-" (Left : Time_T; Right : Time_T) return Duration
        renames Time_Diff;

    --------------------------------------------------------------------------
    -- Time comparison. These functions assume their input parameters
    -- were previously normalized.
    --------------------------------------------------------------------------
    function Time_Lt (Left : Time_T; Right : Time_T) return Boolean;
    function "<" (Left : Time_T; Right : Time_T) return Boolean renames Time_Lt;
    function Time_Lte (Left : Time_T; Right : Time_T) return Boolean;
    function "<=" (Left : Time_T; Right : Time_T) return Boolean
        renames Time_Lte;

private
    pragma Interface (Ada, Normalize_Time);
    pragma Interface_Name (Normalize_Time, "__NORMALIZE_TIME");
    pragma Interface (Ada, Incr_Time);
    pragma Interface_Name (Incr_Time, "__INCR_TIME");
    pragma Interface (Ada, Decr_Time);
    pragma Interface_Name (Decr_Time, "__DECR_TIME");
    pragma Interface (Ada, Time_Diff);
    pragma Interface_Name (Time_Diff, "__TIME_DIFF");
    pragma Interface (Ada, Time_Lt);
    pragma Interface_Name (Time_Lt, "__TIME_LT");
    pragma Interface (Ada, Time_Lte);
    pragma Interface_Name (Time_Lte, "__TIME_LTE");
end V_I_Timeop;

E3 Meta Data

    nblk1=4
    nid=0
    hdr6=8
        [0x00] rec0=19 rec1=00 rec2=01 rec3=04a
        [0x01] rec0=14 rec1=00 rec2=02 rec3=006
        [0x02] rec0=13 rec1=00 rec2=03 rec3=042
        [0x03] rec0=09 rec1=00 rec2=04 rec3=000
    tail 0x2175807a6878e7a2bc847 0x42a00088462060003