DataMuseum.dk

top - metrics - download

    Length: 4656 (0x1230)
    Types: TextFile
    Names: »V«

└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
    └─⟦5cb1d1d7f⟧ »DATA« 
        └─⟦3b1ee7bd8⟧ 
            └─⟦this⟧ 

TextFile

with Text_Io, Calendar, Time_Library_1;

----------------------
package Time_Library_2 is
    ----------------------

    --| Overview
    --| TimeLib contains procedures and functions for getting, putting,
    --| and calculating times, dates, and durations. It augments the
    --| predefined library package Calendar to simplify IO and provide
    --| additional time routines common to all Ada Test and Evaluation
    --| Tool Set (ATETS) tools.

    --| Requires
    --| All procedures and functions that perform IO use use the
    --| predefined library package Text_IO and require that the
    --| specified file be opened by the calling program prior to use.
    --| All times and durations must be of types declared in the
    --| predefined library package Calendar.

    --| Errors
    --| No error messages or exceptions are raised by any of the TimeLib
    --| procedures and functions. However, any Text_IO and Calendar
    --| exceptions that may be raised are allowed to pass, unhandled,
    --| back to the calling program.

    --| N/A:  Raises, Modifies

    --  Version         : 1.0
    --  Author          : Jeff England
    --  Initial Release : 05/21/85


    type Weekdays is (Sunday, Monday, Tuesday, Wednesday,
                      Thursday, Friday, Saturday);

    ------------------
    procedure Get_Time_Of_Day
                 (--| Get the time of day from the file
                  Fyle : in Text_Io.File_Type;        --| The input file
                  Seconds : out
                     Calendar.Day_Duration --| The time read from fyle
                  );

    --| Effects
    --| Gets and returns the time of day from the file.

    --| Requires
    --| Fyle must have been previously opened by the calling program.
    --| The time must have been previously put to fyle in the format
    --| output by Put_Time_of_Day.

    --| N/A:  Raises, Modifies, Errors


    ------------------
    procedure Get_Time
                 (  --| Get the time from the file
                  Fyle : in Text_Io.File_Type;     --| The input file
                  Date : out Calendar.Time      --| The time read from fyle
                  );

    --| Effects
    --| Gets and returns the time from the file.

    --| Requires
    --| Fyle must have been previously opened by the calling program.
    --| The time must have been previously put to fyle in the format
    --| output by Put_Time.

    --| N/A:  Raises, Modifies, Errors


    ----------------
    function Maximum (--| Return the MAXIMUM of two Day_Durations

                      Time1, Time2 : in
                      Calendar.Day_Duration  --| The two times to be compared

                      ) return Calendar.Day_Duration;

    --| Effects
    --| Compares Time1 to Time2 and returns the MAXIMUM of the two times.

    --| N/A:  Raises, Requires, Modifies, Errors


    ----------------
    function Minimum (--| Return the MINIMUM of two Day_Durations

                      Time1, Time2 : in
                      Calendar.Day_Duration  --| The two times to be compared

                      ) return Calendar.Day_Duration;

    --| Effects
    --| Compares Time1 to Time2 and returns the MINIMUM of the two times.

    --| N/A:  Raises, Requires, Modifies, Errors


    -------------------
    function Weekday_Of ( --| Return the day of week for the specified date

                         Date : in Calendar.Time  --| The date to be converted

                         ) return Weekdays;

    --| Effects
    --| Returns the day of week (Sunday..Saturday) for the specified date

    --| N/A:  Raises, Requires, Modifies, Errors


    -------------------
    function Weekday_Of ( --| Return the day of week for the specified date

                         Date : in Calendar.Time  --| The date to be converted

                         ) return String;

    --| Effects
    --| Returns the day of week (Sunday..Saturday) for the specified date

    --| N/A:  Raises, Requires, Modifies, Errors


    -------------------
    procedure Timing_Is (--| Sets the timing method for times recorded in
                         --| the logfile to Raw or Wall_Clock

                         Time_Type : in Time_Library_1.Timing_Type
                         --| The timing method used to record timing data
                         );

    --| Effects
    --| Sets the timing method for GETting times from the logfile to
    --| correspond to the timing method used for recording times in
    --| the logfile by the Run Time Monitor (RTM). Timing methods are
    --| RAW and WALL_CLOCK.

    --| N/A:  Raises, Requires, Modifies, Errors



end Time_Library_2;