1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- A D A . C A L E N D A R --
9 -- Copyright (C) 1992-2004 Free Software Foundation, Inc. --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. --
15 -- GNAT is free software; you can redistribute it and/or modify it under --
16 -- terms of the GNU General Public License as published by the Free Soft- --
17 -- ware Foundation; either version 2, or (at your option) any later ver- --
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
20 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
21 -- for more details. You should have received a copy of the GNU General --
22 -- Public License distributed with GNAT; see file COPYING. If not, write --
23 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
24 -- MA 02111-1307, USA. --
26 -- As a special exception, if other files instantiate generics from this --
27 -- unit, or you link this unit with other files to produce an executable, --
28 -- this unit does not by itself cause the resulting executable to be --
29 -- covered by the GNU General Public License. This exception does not --
30 -- however invalidate any other reasons why the executable file might be --
31 -- covered by the GNU Public License. --
33 -- GNAT was originally developed by the GNAT team at New York University. --
34 -- Extensive contributions were provided by Ada Core Technologies Inc. --
36 ------------------------------------------------------------------------------
38 package Ada
.Calendar
is
42 -- Declarations representing limits of allowed local time values. Note that
43 -- these do NOT constrain the possible stored values of time which may well
44 -- permit a larger range of times (this is explicitly allowed in Ada 95).
46 subtype Year_Number
is Integer range 1901 .. 2099;
47 subtype Month_Number
is Integer range 1 .. 12;
48 subtype Day_Number
is Integer range 1 .. 31;
50 subtype Day_Duration
is Duration range 0.0 .. 86_400
.0
;
52 function Clock
return Time
;
54 function Year
(Date
: Time
) return Year_Number
;
55 function Month
(Date
: Time
) return Month_Number
;
56 function Day
(Date
: Time
) return Day_Number
;
57 function Seconds
(Date
: Time
) return Day_Duration
;
61 Year
: out Year_Number
;
62 Month
: out Month_Number
;
64 Seconds
: out Day_Duration
);
70 Seconds
: Day_Duration
:= 0.0) return Time
;
71 -- GNAT Note: Normally when procedure Split is called on a Time value
72 -- result of a call to function Time_Of, the out parameters of procedure
73 -- Split are identical to the in parameters of function Time_Of. However,
74 -- when a non-existent time of day is specified, the values for Seconds
75 -- may or may not be different. This may happen when Daylight Saving Time
76 -- (DST) is in effect, on the day when switching to DST, if Seconds
77 -- specifies a time of day in the hour that does not exist. For example,
80 -- Time_Of (Year => 1998, Month => 4, Day => 5, Seconds => 10740.0)
82 -- will return a Time value T. If Split is called on T, the resulting
83 -- Seconds may be 14340.0 (3:59:00) instead of 10740.0 (2:59:00 being
84 -- a time that not exist).
86 function "+" (Left
: Time
; Right
: Duration) return Time
;
87 function "+" (Left
: Duration; Right
: Time
) return Time
;
88 function "-" (Left
: Time
; Right
: Duration) return Time
;
89 function "-" (Left
: Time
; Right
: Time
) return Duration;
91 function "<" (Left
, Right
: Time
) return Boolean;
92 function "<=" (Left
, Right
: Time
) return Boolean;
93 function ">" (Left
, Right
: Time
) return Boolean;
94 function ">=" (Left
, Right
: Time
) return Boolean;
96 Time_Error
: exception;
99 pragma Inline
(Clock
);
101 pragma Inline
(Year
);
102 pragma Inline
(Month
);
109 pragma Inline
("<=");
111 pragma Inline
(">=");
113 -- Time is represented as a signed duration from the base point which is
114 -- what Unix calls the EPOCH (i.e. 12 midnight (24:00:00), Dec 31st, 1969,
115 -- or if you prefer 0:00:00 on Jan 1st, 1970). Since Ada allows dates
116 -- before this EPOCH value, the stored duration value may be negative.
118 -- The time value stored is typically a GMT value, as provided in standard
119 -- Unix environments. If this is the case then Split and Time_Of perform
120 -- required conversions to and from local times. The range of times that
121 -- can be stored in Time values depends on the declaration of the type
122 -- Duration, which must at least cover the required Ada range represented
123 -- by the declaration of Year_Number, but may be larger (we take full
124 -- advantage of the new permission in Ada 95 to store time values outside
125 -- the range that would be acceptable to Split). The Duration type is a
126 -- real value representing a time interval in seconds.
128 type Time
is new Duration;