CVS difference for ais/ai-00238.txt

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

--- ais/ai-00238.txt	2000/07/21 00:23:31	1.2
+++ ais/ai-00238.txt	2001/10/19 01:36:44	1.3
@@ -1,5 +1,6 @@
-!standard D  (02)                                    00-07-10  AI95-00238/00
-!class confirmation 00-07-10
+!standard A.04.04 (101)                                01-10-18  AI95-00238/02
+!class binding interpretation 01-10-07
+!status ARG approved 7-0-1  01-10-07
 !status work item 00-07-10
 !status received 00-07-10
 !qualifier Clarification
@@ -36,8 +37,16 @@
 slice was meant to informally describe what is returned, not to set bounds,
 exceptions, and so on.
 
-!response
+!recommendation
 
+(See summary.)
+
+!wording
+
+(See corrigendum.)
+
+!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.
@@ -52,11 +61,22 @@
 bound equal to Low for this function. Therefore, we confirm that the standard
 intends the bounds to be Low and High.
 
+!corrigendum A.04.04(101)
+
+@drepl
+Returns the slice at positions Low through High in the string represented by
+Source; propagates Index_Error if Low > Length(Source)+1 or
+High > Length(Source).
+@dby
+Returns the slice at positions Low through High in the string represented by
+Source; propagates Index_Error if Low > Length(Source)+1 or
+High > Length(Source). The bounds of the returned string are Low and High.
+
 !ACATS test
 
-Add a test case to CXA4019, whatever test is constructed for AI-128, and
-similar tests for Unbounded strings, to check the bounds of Slice. (Unbounded
-says that the rule is the same as Bounded.)
+Add a test case to CXA4019, CXA4034, and similar tests for Unbounded strings,
+to check the bounds of Slice. (Unbounded says that the rule is the same as
+Bounded.)
 
 !appendix
 

Questions? Ask the ACAA Technical Agent