CVS difference for ais/ai-00140.txt

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

--- ais/ai-00140.txt	1998/09/30 00:17:24	1.1
+++ ais/ai-00140.txt	1999/07/21 03:10:58	1.2
@@ -1,5 +1,6 @@
-!standard B.3.1    (24)                               96-07-23  AI95-00140/01
+!standard B.3.1    (24)                               99-07-20  AI95-00140/02
 !class binding interpretation 96-05-07
+!status Corrigendum 2000 99-05-27
 !status WG9 approved 96-12-07
 !status ARG approved 7-0-1  96-06-17
 !status work item 96-05-08
@@ -8,12 +9,12 @@
 !difficulty Easy
 !subject Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False
 
-!summary 96-05-08
+!summary
 
 If Nul_Check is False, Interfaces.C.Strings.To_Char_Ptr performs a
 pointer conversion with no allocation of memory.
 
-!question 96-05-08
+!question
 
 B.3.1(23-24) says:
 
@@ -29,11 +30,11 @@
 
 This does not seem to cover the case where Nul_Check is False.
 
-!recommendation 96-05-08
+!recommendation
 
 (See summary.)
 
-!wording 96-05-08
+!wording
 
 Change B.3.1(24) to:
 
@@ -50,9 +51,28 @@
         To_Chars_Ptr performs a pointer conversion with no allocation of
         memory.
 
-!discussion 96-05-08
+!discussion
 
-!appendix 96-05-07
+!corrigendum B.03.01(24)
+
+@drepl
+@xindent<If Item is @b<null>, then To_Chars_Ptr returns Null_Ptr.  Otherwise,
+if Nul_Check is True and Item.@b<all> does not contain nul, then the
+function propagates Terminator_Error; if Nul_Check is True and
+Item.@b<all> does contain nul, To_Chars_Ptr performs a pointer conversion
+with no allocation of memory.>
+@dby
+@xindent<If Item is @b<null>, then To_Chars_Ptr returns Null_Ptr.
+Otherwise, if Nul_Check is True and Item.@b<all> does not contain
+nul, then the function propagates Terminator_Error. Otherwise,
+To_Chars_Ptr performs a pointer conversion with no allocation of memory.>
+
+!ACATS test
+
+A test case for Nul_Check => False should be added to the existing test of
+this function (CXB3009).
+
+!appendix
 
 !section B.3.1(24)
 !subject Semantics of Interfaces.C.Strings.To_Char_Ptr when Nul_Check is False

Questions? Ask the ACAA Technical Agent