CVS difference for ais/ai-00427.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00427.txt

--- ais/ai-00427.txt	2005/06/16 23:47:46	1.5
+++ ais/ai-00427.txt	2005/08/21 06:00:41	1.6
@@ -1,4 +1,4 @@
-!standard 9.6.1(1)                                   05-05-05  AI95-00427/04
+!standard 9.6.1(1)                                   05-07-20  AI95-00427/05
 !class amendment 05-04-10
 !status Amendment 200Y 05-05-05
 !status ARG Approved 11-0-0  05-04-16
@@ -111,21 +111,11 @@
                             return Second_Duration;
 
 
-Replace 9.6.1(30/2) by
+Move 9.6.1(30/2) below.
 
-    procedure Split (Date       : in Time;
-                     Year       : out Year_Number;
-                     Month      : out Month_Number;
-                     Day        : out Day_Number;
-                     Hour       : out Hour_Number;
-                     Minute     : out Minute_Number;
-                     Second     : out Second_Number;
-                     Sub_Second : out Second_Duration;
-                     Time_Zone  : in Time_Zones.Time_Offset := 0);
+Replace 9.6.1(32/2-34/2) by [this includes the previous 9.6.1(30/2)]
 
-Replace 9.6.1(32/2-34/2) by
 
-
     function Time_Of (Year       : Year_Number;
                       Month      : Month_Number;
                       Day        : Day_Number;
@@ -142,6 +132,16 @@
                      Minute     : out Minute_Number;
                      Second     : out Second_Number;
                      Sub_Second : out Second_Duration;
+                     Time_Zone  : in Time_Zones.Time_Offset := 0);
+
+    procedure Split (Date       : in Time;
+                     Year       : out Year_Number;
+                     Month      : out Month_Number;
+                     Day        : out Day_Number;
+                     Hour       : out Hour_Number;
+                     Minute     : out Minute_Number;
+                     Second     : out Second_Number;
+                     Sub_Second : out Second_Duration;
                      Leap_Second: out Boolean;
                      Time_Zone  : in Time_Zones.Time_Offset := 0);
 
@@ -194,7 +194,7 @@
 
     Returns the day number for Date, as appropriate for the specified time zone.
 
-Replace 9.6.1 (57/2-60/2) by
+Replace 9.6.1 (57/2-60/2) by:
 
 function Second     (Date : Time)
                         return Second_Number;
@@ -215,32 +215,18 @@
 
 Add at the end of 9.6.1 (64/2)
 
-   The value returned through the Sub_Second parameter is always less
+   The value returned in the Sub_Second parameter is always less
    than 1.0.
 
-Replace 9.6.1 (65/2-66/2) by
+Move 9.6.1 (65/2-66/2) below.
 
-procedure Split (Date       : in Time;
-                 Year       : out Year_Number;
-                 Month      : out Month_Number;
-                 Day        : out Day_Number;
-                 Hour       : out Hour_Number;
-                 Minute     : out Minute_Number;
-                 Second     : out Second_Number;
-                 Sub_Second : out Second_Duration;
-                 Time_Zone  : in Time_Zones.Time_Offset := 0);
-
-   Splits Date into its constituent parts (Year, Month, Day, Hour, Minute,
-   Second, Sub_Second), relative to the specified time zone offset. The value
-   returned through the Sub_Second parameter is always less than 1.0.
-
 Add at the end of 9.6.1 (68/2)
 
     If Time_Of is called with a Sub_Second value of 1.0, the value
     returned is equal to the value of Time_Of for the next second with
     a Sub_Second value of 0.0.
 
-Replace 9.6.1(69/2-74/4) by:
+Replace 9.6.1(69/2-74/4) by [this includes the previous 9.6.1(65-66/2)]:
 
 function Time_Of (Year       : Year_Number;
                   Month      : Month_Number;
@@ -264,12 +250,30 @@
                  Minute     : out Minute_Number;
                  Second     : out Second_Number;
                  Sub_Second : out Second_Duration;
+                 Time_Zone  : in Time_Zones.Time_Offset := 0);
+
+   Splits Date into its constituent parts (Year, Month, Day, Hour, Minute,
+   Second, Sub_Second), relative to the specified time zone offset. The value
+   returned in the Sub_Second parameter is always less than 1.0.
+
+procedure Split (Date       : in Time;
+                 Year       : out Year_Number;
+                 Month      : out Month_Number;
+                 Day        : out Day_Number;
+                 Hour       : out Hour_Number;
+                 Minute     : out Minute_Number;
+                 Second     : out Second_Number;
+                 Sub_Second : out Second_Duration;
                  Leap_Second: out Boolean;
                  Time_Zone  : in Time_Zones.Time_Offset := 0);
 
-   Split Date into its constituent parts (Year, Month, Day, Hour, Minute,
-   Second, Sub_Second), relative to the specified time zone offset. Leap_Second
-   is True if Date identifies a leap second. The value returned through the
+   If Date does not represent a time within a leap second, splits
+   Date into its constituent parts (Year, Month, Day, Hour, Minute,
+   Second, Sub_Second), relative to the specified time zone offset,
+   and sets Leap_Second to False. If Date represents a time within a leap
+   second, set the constituent parts to values corresponding to a time one
+   second earlier than that given by Date, relative to the specified time
+   zone offset, and sets Leap_Seconds to True. The value returned in the
    Sub_Second parameter is always less than 1.0.
 
 procedure Split (Date       : in Time;
@@ -279,11 +283,15 @@
                  Seconds    : out Day_Duration;
                  Leap_Second: out Boolean;
                  Time_Zone  : in Time_Zones.Time_Offset := 0);
+
+   If Date does not represent a time within a leap second, splits
+   Date into its constituent parts (Year, Month, Day, Seconds), relative to
+   the specified time zone offset, and sets Leap_Second to False. If Date
+   represents a time within a leap second, set the constituent parts to values
+   corresponding to a time one second earlier than that given by Date,
+   relative to the specified time zone offset, and sets Leap_Seconds to True.
+   The value returned in the Seconds parameter is always less than 86_400.0.
 
-   Split Date into its constituent parts (Year, Month, Day, Seconds), relative
-   to the specified time zone offset. Leap_Second is True if Date identifies a
-   leap second. The value returned through the Seconds parameter is always less
-   than 86_400.0.
 
 
 !discussion

Questions? Ask the ACAA Technical Agent