Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnat/a-calend.ads @ 131:84e7813d76e9
gcc-8.2
| author | mir3636 |
|---|---|
| date | Thu, 25 Oct 2018 07:37:49 +0900 |
| parents | 04ced10e8804 |
| children | 1830386684a0 |
comparison
equal
deleted
inserted
replaced
| 111:04ced10e8804 | 131:84e7813d76e9 |
|---|---|
| 4 -- -- | 4 -- -- |
| 5 -- A D A . C A L E N D A R -- | 5 -- A D A . C A L E N D A R -- |
| 6 -- -- | 6 -- -- |
| 7 -- S p e c -- | 7 -- S p e c -- |
| 8 -- -- | 8 -- -- |
| 9 -- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- | 9 -- Copyright (C) 1992-2018, Free Software Foundation, Inc. -- |
| 10 -- -- | 10 -- -- |
| 11 -- This specification is derived from the Ada Reference Manual for use with -- | 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 -- | 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. -- | 13 -- apply solely to the contents of the part following the private keyword. -- |
| 14 -- -- | 14 -- -- |
| 33 -- -- | 33 -- -- |
| 34 ------------------------------------------------------------------------------ | 34 ------------------------------------------------------------------------------ |
| 35 | 35 |
| 36 package Ada.Calendar with | 36 package Ada.Calendar with |
| 37 SPARK_Mode, | 37 SPARK_Mode, |
| 38 Abstract_State => (Clock_Time with Synchronous, | 38 Abstract_State => (Clock_Time with Synchronous), |
| 39 External => (Async_Readers, | |
| 40 Async_Writers)), | |
| 41 Initializes => Clock_Time | 39 Initializes => Clock_Time |
| 42 is | 40 is |
| 43 | 41 |
| 44 type Time is private; | 42 type Time is private; |
| 45 | 43 |
| 220 -- CodePeer. | 218 -- CodePeer. |
| 221 -- | 219 -- |
| 222 -- Note: the reason we have two separate types here is to avoid problems | 220 -- Note: the reason we have two separate types here is to avoid problems |
| 223 -- with overloading ambiguities in the body if we tried to use Time as an | 221 -- with overloading ambiguities in the body if we tried to use Time as an |
| 224 -- internal computational type. | 222 -- internal computational type. |
| 223 | |
| 224 function Epoch_Offset return Time_Rep; | |
| 225 pragma Inline (Epoch_Offset); | |
| 226 -- Return the difference between 2150-1-1 UTC and 1970-1-1 UTC expressed in | |
| 227 -- nanoseconds. Note that year 2100 is non-leap. | |
| 225 | 228 |
| 226 Days_In_Month : constant array (Month_Number) of Day_Number := | 229 Days_In_Month : constant array (Month_Number) of Day_Number := |
| 227 (31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31); | 230 (31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31); |
| 228 -- Days in month for non-leap year, leap year case is adjusted in code | 231 -- Days in month for non-leap year, leap year case is adjusted in code |
| 229 | 232 |