DataMuseum.dk

top - metrics - download

    Length: 2951 (0xb87)
    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 Calendar;
package Calendar_Utilities is

    type Year is new Calendar.Year_Number;
    type Month is range 1 .. 12;
    type Day is range 1 .. 31;
    type Hour is range 0 .. 23;
    type Minute is range 0 .. 59;
    type Second is range 0 .. 59;
    type Millisecond is range 0 .. 999;

    type Time is
        record
            The_Year : Year;
            The_Month : Month;
            The_Day : Day;
            The_Hour : Hour;
            The_Minute : Minute;
            The_Second : Second;
            The_Millisecond : Millisecond;
        end record;

    type Interval is
        record
            Elapsed_Days : Natural;
            Elapsed_Hours : Hour;
            Elapsed_Minutes : Minute;
            Elapsed_Seconds : Second;
            Elapsed_Milliseconds : Millisecond;
        end record;

    type Year_Day is range 1 .. 366;

    type Month_Name is (January, February, March, April, May, June, July,
                        August, September, October, November, December);
    type Day_Name is (Monday, Tuesday, Wednesday,
                      Thursday, Friday, Saturday, Sunday);

    type Period is (Am, Pm);

    type Time_Format is (Full,            -- 01:21:06:30 PM
                         Military);       -- 13:21:06:30
    type Date_Format is (Full,            -- FEBRUARY 27, 1955
                         Month_Day_Year); -- 02/27/55

    function Is_Leap_Year (The_Year : in Year) return Boolean;
    function Days_In (The_Year : in Year) return Year_Day;
    function Days_In (The_Month : in Month; The_Year : in Year) return Day;
    function Month_Of (The_Month : in Month) return Month_Name;
    function Month_Of (The_Month : in Month_Name) return Month;
    function Day_Of (The_Year : in Year; The_Day : in Year_Day) return Day_Name;
    function Day_Of (The_Time : in Time) return Year_Day;
    function Time_Of (The_Year : in Year;  
                      The_Day : in Year_Day) return Time;
    function Period_Of (The_Time : in Time) return Period;
    function Time_Of (The_Time : in Time) return Calendar.Time;
    function Time_Of (The_Time : in Calendar.Time) return Time;
    function Time_Image_Of
                (The_Time : in Time; Time_Form : in Time_Format := Full)
                return String;
    function Date_Image_Of
                (The_Time : in Time; Date_Form : in Date_Format := Full)
                return String;
    function Value_Of (The_Date : in String;
                       The_Time : in String;
                       Date_Form : in Date_Format := Full;
                       Time_Form : in Time_Format := Full) return Time;

    function Duration_Of (The_Interval : in Interval) return Duration;
    function Interval_Of (The_Duration : in Duration) return Interval;
    function Image_Of (The_Interval : in Interval) return String;
    function Value_Of (The_Interval : in String) return Interval;

    Lexical_Error : exception;

end Calendar_Utilities;