------------------------------------------------------------------------
-- These package specifications were extracted from IEEE Std 1003.5-1992,
-- IEEE Standard for Information Technology--POSIX Ada Language
-- Interfaces--Part 1: Binding System Application Program Interface,
-- copyright (c)1992 by the Institute of Electrical and Electronics
-- Engineers, Inc.  These package specifications represent only a portion
-- of the document and are not to be interpreteted as the approved
-- consensus standard.  The IEEE Std 1003.5-1992 must be used in
-- conjunction with these package specifications in order to claim
-- conformance.  The IEEE takes no responsibility for and will assume no
-- liability for damages resulting from the reader's misinpretation of
-- said information resulting from its out of context nature.  To order
-- copies of the IEEE Std 1003.5-1992, please contact the IEEE Service
-- Center at 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855-1331; via
-- phone at 1-800-678-IEEE, 908-981-1393; or via fax at 908-981-9667.
------------------------------------------------------------------------

with Calendar;
package POSIX_Calendar is

    -- Time information

    type POSIX_Time is private;

    function Clock 
	return POSIX_Time;

    function To_Time (Date : POSIX_Time)
	return Calendar.Time;

    function To_POSIX_Time (Date : Calendar.time)
	return POSIX_Time;

    -- operations on POSIX_Time

    subtype Year_Number    is Calendar.Year_Number;
    subtype Month_Number   is Calendar.Month_Number;
    subtype Day_Number     is Calendar.Day_Number;
    subtype Day_Duration   is Calendar.Day_Duration;

    function Year (Date: POSIX_Time) 
	return Year_Number;

    function Month (Date: POSIX_Time) 
	return Month_Number;

    function Day (Date: POSIX_Time) 
	return Day_Number;

    function Seconds (Date: POSIX_Time) 
	return Day_Duration;

    procedure Split 
	    (Date   : in     POSIX_Time;
             Year   :    out Year_Number;
             Month  :    out Month_Number;
             Day    :    out Day_Number;
             Seconds:    out Day_Duration);

    function Time_Of 
	    (Year    : Year_Number;
             Month   : Month_Number;
             Day     : Day_Number;
             Seconds : Day_Duration := 0.0) 
	return POSIX_Time;

    function "+" (L: POSIX_Time; R: Duration)    
	return POSIX_Time;
    function "+" (L: Duration;   R: POSIX_Time)        
	return POSIX_Time;
    function "-" (L: POSIX_Time; R: Duration)    
	return POSIX_Time;
    function "-" (L: POSIX_Time; R: POSIX_Time)        
	return Duration;

    function "<"  (L, R: POSIX_Time) 
	return Boolean;
    function "<=" (L, R: POSIX_Time) 
	return Boolean;
    function ">"  (L, R: POSIX_Time) 
	return Boolean;
    function ">=" (L, R: POSIX_Time) 
	return Boolean;

    Time_Error :    exception 
	            renames Calendar.Time_Error;

private
    type POSIX_Time is @p<implementation defined>;
end POSIX_Calendar;