CVS difference for ais/ai-00138.txt

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

--- ais/ai-00138.txt	1998/09/30 23:25:13	1.2
+++ ais/ai-00138.txt	1999/07/21 03:10:58	1.3
@@ -1,4 +1,4 @@
-!standard 04.02    (10)                               98-06-12  AI95-00138/02
+!standard 04.02    (10)                               99-05-28  AI95-00138/03
 !class confirmation 96-05-07
 !status WG9 approved 98-06-12
 !status ARG Approved  10-0-2  97-11-14
@@ -8,13 +8,13 @@
 !difficulty Easy
 !subject Null String Literals when the Index Type is Modular
 
-!summary 96-05-08
+!summary
 
 If the index subtype of a string type is a modular subtype whose lower
 bound is zero, then the evaluation of a null string_literal raises
 Constraint_Error.
 
-!question 96-05-08
+!question
 
 Consider the following code fragment:
 
@@ -40,7 +40,7 @@
 What is the intent here?  In particular, what is the meaning of "predecessor"
 in 4.2(10)?
 
-!response 96-05-08
+!response
 
 The meaning of "predecessor" is indeed the same as the attribute Pred.
 
@@ -55,7 +55,12 @@
 Thus, Constraint_Error is raised, so the fact that the upper bound of
 the string_literal "would have been" 2**32 is irrelevant.
 
-!appendix 96-06-06
+!ACATS test
+
+Create a C-Test which checks that implementations detect the violation
+defined in 4.2(11).
+
+!appendix
 
 !section 4.2(10)
 !subject Bounds of a null string literal when the index type is modular

Questions? Ask the ACAA Technical Agent