|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 3153 (0xc51)
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«
└─⟦36ffbcc9b⟧
└─⟦this⟧
-- 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