CVS difference for ais/ai-00139.txt

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

--- ais/ai-00139.txt	1998/09/30 00:17:24	1.1
+++ ais/ai-00139.txt	1999/07/09 01:48:11	1.2
@@ -1,5 +1,6 @@
-!standard B.3.1    (36)                               96-07-24  AI95-00139/02
+!standard B.3.1    (36)                               99-07-08  AI95-00139/03
 !class ramification 96-07-24
+!status Corrigendum 2000 99-06-02
 !status WG9 approved 96-12-07
 !status ARG approved 8-0-0  96-06-17
 !status work item 96-05-08
@@ -8,7 +9,7 @@
 !difficulty Easy
 !subject Interfaces.C.Strings.Value Raises Constraint_Error when Length is 0
 
-!summary 96-05-08
+!summary
 
 A call to Interfaces.C.Strings.Value with Length 0, as in:
 
@@ -16,12 +17,12 @@
 
 raises Constraint_Error.
 
-!question 96-05-08
+!question
 
 B.3.1(36) says, "The lower bound of the result is 0."  What happens if
 the Length is also 0, so that there is no possible upper bound?
 
-!response 96-05-08
+!response
 
 Any attempt to create a null array of type char_array, whose lower bound
 is 0, will clearly raise Constraint_Error.  Therefore, "Value(Item => X,
@@ -32,7 +33,25 @@
 represent a nul-terminated string, and so should not normally be of
 zero length.
 
-!appendix 96-05-07
+!corrigendum B.03.01(36)
+
+@drepl
+@xindent<If Item = Null_Ptr then Value(Item) propagates Dereference_
+Error. Otherwise Value returns the shorter of two arrays:  the first
+Length chars pointed to by Item, and Value(Item). The lower bound of
+the result is 0.>
+@dby
+@xindent<If Item = Null_Ptr then Value(Item) propagates Dereference_Error.
+Otherwise Value returns the shorter of two arrays: the first Length chars
+pointed to by Item, and Value(Item). The lower bound of the result is 0.
+If Length is 0 then Value propagates Constraint_Error.>
+
+!ACATS test
+
+A test case was added to existing ACATS test CXB3010 to check Length = 0
+raises Constraint_Error.
+
+!appendix
 
 !section B.3.1(36)
 !subject Value returned by Interfaces.C.Strings.Value when Length is 0

Questions? Ask the ACAA Technical Agent