CVS difference for ais/ai-00151.txt

--- ais/ai-00151.txt	1998/09/30 23:25:16	1.2
+++ ais/ai-00151.txt	1999/06/26 01:11:13	1.3
@@ -1,5 +1,6 @@
-!standard A.4.2    (63)                               97-11-14  AI95-00151/02
+!standard A.4.2    (63)                               99-06-25  AI95-00151/03
 !class binding interpretation 96-09-04
+!status Corrigendum 2000 99-05-27
 !status WG9 approved 98-06-12
 !status ARG Approved  13-0-0  97-11-14
 !status work item 96-09-08
@@ -8,13 +9,13 @@
 !difficulty Easy
 !subject Bounds of string returned by Ada.Strings.Maps.To_Range
 
-!summary 96-09-08
+!summary
 
 To_Range returns the Character_Sequence value R, such that if D =
 To_Domain (Map), then R has the same bounds as D, and D(I) maps to R(I)
 for each I in D'Range.
 
-!question 96-09-08
+!question
 
 A.4.2(63) says:
 
@@ -24,17 +25,33 @@
 
 However, Map is not an array, so Map'Length makes no sense.
 
-!recommendation 96-09-08
+!recommendation
 
 (See summary.)
 
-!wording 96-09-08
+!wording
 
 Replace A.4.2(63) with the summary above.
 
-!discussion 96-09-08
+!discussion
 
-!appendix 96-09-04
+!corrigendum A.04.02(63)
+
+@drepl
+@xindent<To_Range returns the Character_Sequence value R, with lower
+bound 1 and upper bound Map'Length, such that if D = To_Domain(Map)
+then D(I) maps to R(I) for each I in D'Range.>
+@dby
+@xindent<To_Range returns the Character_Sequence value R, such that if D =
+To_Domain (Map), then R has the same bounds as D, and D(I) maps to R(I)
+for each I in D'Range.>
+
+!ACATS test
+
+The AI corrects a definition. To_Range is adaquately tested by ACATS test
+CXA4024.A.
+
+!appendix
 
 !section A.4.2(63)
 !subject      Bounds of string returned by Ada.Strings.Maps.To_Range