CVS difference for ais/ai-00120.txt

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

--- ais/ai-00120.txt	1998/09/30 23:25:10	1.2
+++ ais/ai-00120.txt	1999/07/21 03:10:57	1.3
@@ -1,4 +1,4 @@
-!standard 03.05.02 (03)                               98-06-12  AI95-00120/04
+!standard 03.05.02 (03)                               99-05-28  AI95-00120/05
 !class confirmation 96-04-04
 !status WG9 approved 98-06-12
 !status ARG Approved (with changes) 10-0-0  98-04-01
@@ -9,7 +9,7 @@
 !difficulty Easy
 !subject What is the minimal upper bound of type Integer?
 
-!summary 98-04-01
+!summary
 
 Implementations are expected to provide predefined integer types
 appropriate to the architecture; these might typically be 32 bits for
@@ -24,7 +24,7 @@
 The declaration of an array whose index range exceeds that of the largest
 supported integer type raises Constraint_Error.
 
-!question 98-04-01
+!question
 
 3.5.4 seems to indicate that an implementation is allowed to implement
 predefined type Integer as a 16 bit integer type.
@@ -47,7 +47,7 @@
 Is the declaration of Full_Sequence allowed to raise Constraint_Error or is
 the upper bound of predefined type Integer required to be at least 65536 ?
 
-!response 98-04-01
+!response
 
 The index range of the constant Full_Sequence is 1 .. 65536. However,
 in an implementation where type Integer is a 16-bit type, this index
@@ -55,7 +55,14 @@
 subtype of Full_Sequence.  As a consequence, an attempt to declare the
 array Full_Sequence using such an implementation raises Constraint_Error.
 
-!appendix 96-09-04
+!ACATS test
+
+It would be possible to create a C-Test to check that the minimum upper
+bound of Integer is supported, and to check that examples in this issue.
+However, such a test would not be valuable as it is very unlikely that
+an implementation make either of these errors.
+
+!appendix
 
 !section 3.5.2(03)
 !subject What is the minimal upper bound of type Integer ?

Questions? Ask the ACAA Technical Agent