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

⟦fd979d4a2⟧ Ada Source

    Length: 6144 (0x1800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, seg_03bdc0

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=5
    nid=0
    hdr6=a
        [0x00] rec0=19 rec1=00 rec2=01 rec3=05c
        [0x01] rec0=14 rec1=00 rec2=02 rec3=024
        [0x02] rec0=00 rec1=00 rec2=05 rec3=018
        [0x03] rec0=14 rec1=00 rec2=03 rec3=03c
        [0x04] rec0=08 rec1=00 rec2=04 rec3=000
    tail 0x21739b9b48565746dd139 0x489e0066482863c01