CVS difference for ais/ai-00039.txt

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

--- ais/ai-00039.txt	1998/09/30 00:17:09	1.1
+++ ais/ai-00039.txt	1999/06/26 01:11:13	1.2
@@ -1,30 +1,51 @@
-!standard B.3.1    (44)                               96-06-05  AI95-00039/02
+!standard B.3.1    (44)                               99-06-25  AI95-00039/03
 !class binding interpretation 95-06-25
+!status Corrigendum 2000 99-05-24
 !status WG9 approved 95-06-14
 !status ARG approved 11-0-0 (by letter ballot) 96-06-05
 !status ARG approved (subject to letter ballot) 9-0-1  95-11-01
 !status received 95-06-25
 !subject Effect of Update(Null_Ptr,...)
 
-!summary 95-06-25
+!summary
 
 Interfaces.C.Update raises Dereference_Error if Item = Null_Ptr.
 
-!question 95-06-25
+!question
 
 Does Update raise Dereference_Error if Item = Null_Ptr? (Yes.)
 
-!recommendation 95-06-25
+!recommendation
 
 Interfaces.C.Update raises Dereference_Error if Item = Null_Ptr.
 
-!wording 95-06-25
+!wording
 
-!discussion 95-06-25
+(See corrigendum.)
 
+!discussion
+
 This seems like the only sensible semantics.
+
+!corrigendum B.03.01(44)
+
+@drepl
+@xindent<This procedure updates the value pointed to by Item, starting at
+position Offset, using Chars as the data to be copied into the array.
+Overwriting the nul terminator, and skipping with the Offset past the
+nul terminator, are both prevented if Check is True, as follows:>
+@dby
+@xindent<If Item = Null_Ptr, then Update propagates Dereference_Error. Otherwise,
+this procedure updates the value pointed to by Item, starting at
+position Offset, using Chars as the data to be copied into the array.
+Overwriting the nul terminator, and skipping with the Offset past the
+nul terminator, are both prevented if Check is True, as follows:>
+
+!ACATS test
+
+A check for this should be added as a test case to CXB3012.A.
 
-!appendix 95-06-25
+!appendix
 
 !section B.3.1(44)
 !subject Effect of Update(Null_Ptr,...)

Questions? Ask the ACAA Technical Agent