CVS difference for ai05s/ai05-0092-1.txt

--- ai05s/ai05-0092-1.txt	2008/03/07 06:15:20	1.2
+++ ai05s/ai05-0092-1.txt	2008/05/29 04:36:46	1.3
@@ -1,7 +1,8 @@
-!standard  3.3.1(20.4/2)                                08-03-05  AI05-0092-1/01
+!standard  3.3.1(20.4/2)                                08-05-28  AI05-0092-1/02
 !standard  6.3.1(21.1/2)
 !standard 13.13.2(55/2)
 !standard 13.13.2(56/2)
+!standard G.2.2(11)
 !class presentation 08-03-05
 !status work item 06-03-05
 !status received 06-02-13
@@ -22,6 +23,8 @@
 
 4) Replace "must" by "shall" in 13.13.2(55-56/2).
 
+5) Replace "Safe_last" by "Safe_Last" in G.2.2(11).
+
 !question
 
 1) Generally, "must" shall not be used in normative rules of the standard. However,
@@ -33,6 +36,8 @@
 
 4) "Must" also occurs in 13.13.2(55-56/2). Sigh. More text to fix? (Yes.)
 
+5) "Safe_last" should be written as "Safe_Last" in G.2.2(11). Fix it? (Yes.)
+
 [Other questions here.]
 
 !recommendation
@@ -49,6 +54,8 @@
 
 4) Replace "must" by "shall" in 13.13.2(55-56/2).
 
+5) Replace "Safe_last" by "Safe_Last" in G.2.2(11).
+
 !discussion
 
 1) 3.3.1(20.4/2) uses "must precede", while 3.3.1(20.1-3/2) use "is preceded by".
@@ -63,6 +70,9 @@
 13.13.2(56/2) is an Implementation Permission, so "shall" is optional, but
 just dropping "must" doesn't make much sense (the emphasis is needed).
 
+5) All other references to Safe_Last use a capital 'L', this one should, too.
+Note that this error dates all the way back to the original Ada 95 Standard.
+
 !corrigendum 3.3.1(20.4/2)
 
 @drepl
@@ -138,6 +148,23 @@
 An explicit invocation is one appearing explicitly in the program text,
 possibly through a generic instantiation (see 12.3).
 
+!corrigendum G.2.2(11)
+
+@drepl
+Finally, S'Safe_First and S'Safe_last are set (in either order) to the
+smallest and largest values, respectively, for which the
+implementation satisfies the strict-mode requirements of G.2.1 in
+terms of the model numbers and safe range induced by these attributes
+and the previously determined values of S'Model_Mantissa and
+S'Model_Emin.
+@dby
+Finally, S'Safe_First and S'Safe_Last are set (in either order) to the
+smallest and largest values, respectively, for which the
+implementation satisfies the strict-mode requirements of G.2.1 in
+terms of the model numbers and safe range induced by these attributes
+and the previously determined values of S'Model_Mantissa and
+S'Model_Emin.
+
 !ACATS test
 
 None needed.
@@ -389,3 +416,8 @@
 
 ****************************************************************
 
+!topic S'Safe_[l]{L}ast
+!reference Ada 2005 RM G.2.2(11)
+!author Grein 2008.04.23
+
+****************************************************************