CVS difference for ais/ai-00238.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00238.txt

--- ais/ai-00238.txt	2001/10/19 01:36:44	1.3
+++ ais/ai-00238.txt	2002/05/25 03:42:18	1.4
@@ -1,6 +1,7 @@
-!standard A.04.04 (101)                                01-10-18  AI95-00238/02
+!standard A.04.04 (101)                                02-05-09  AI95-00238/03
 !class binding interpretation 01-10-07
-!status ARG approved 7-0-1  01-10-07
+!status Amendment 200Y 02-05-09
+!status ARG Approved 7-0-1  01-10-07
 !status work item 00-07-10
 !status received 00-07-10
 !qualifier Clarification
@@ -11,7 +12,7 @@
 !summary
 
 The bounds of the string returned from Ada.Strings.Bounded.Slice are
-the values passed to the routine as Low and High.
+the values passed to the function as the parameters Low and High.
 
 !question
 
@@ -31,9 +32,9 @@
         Length(Source)+1 or High > Length(Source).
 
 This really doesn't say what the bounds of the result are. If "slice" is
-taken literally, then the bounds are Low .. High. But that is different than
+taken literally, then the bounds are Low .. High. But that is different from
 most other string subprograms returning a string, which specifically state
-that the low bound is 1. Moreover, my reading of the paragraph implies that
+that the lower bound is 1. Moreover, my reading of the paragraph implies that
 slice was meant to informally describe what is returned, not to set bounds,
 exceptions, and so on.
 
@@ -47,9 +48,10 @@
 
 !discussion
 
-A.4.4(1) describes the string represented by Source as a string with low bound
-1 and the upper bound determined by the current length. Taking a slice of this
-string from Low to High clearly gives a result with bounds Low and High.
+A.4.4(1) describes the string represented by Source as a string with lower
+bound 1 and the upper bound determined by the current length. Taking a slice
+of this string from Low to High clearly gives a result with bounds
+Low and High.
 
 Requiring this function to return a string with lower bound 1 is appealing, as
 it is likely to prevent bugs (from assuming that 'Last = 'Length), and is more
@@ -58,10 +60,12 @@
 interpretation.
 
 A survey of existing implementations shows that most return a string with lower
-bound equal to Low for this function. Therefore, we confirm that the standard
-intends the bounds to be Low and High.
+bound equal to Low for this function.
 
-!corrigendum A.04.04(101)
+Based on the above evidence, we conclude that the standard should have
+explicitly said that the bounds are Low and High.
+
+!corrigendum A.04.04(101/1)
 
 @drepl
 Returns the slice at positions Low through High in the string represented by

Questions? Ask the ACAA Technical Agent