CVS difference for ais/ai-00096.txt

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

--- ais/ai-00096.txt	1998/09/30 23:25:08	1.2
+++ ais/ai-00096.txt	1999/07/08 17:28:21	1.3
@@ -1,4 +1,4 @@
-!standard 05.04    (00)                               98-06-12  AI95-00096/02
+!standard 05.04    (00)                               99-07-08  AI95-00096/03
 !class confirmation 95-09-29
 !status WG9 approved 98-06-12
 !status ARG Approved  11-0-0  97-11-14
@@ -8,11 +8,11 @@
 !difficulty Easy
 !subject sparse case statements
 
-!summary 95-09-29
+!summary
 
 Implementations must support sparse case statements.
 
-!question 95-09-29
+!question
 
 1.1.3 says:
 
@@ -31,7 +31,7 @@
 statements -- that is, case statements that, if implemented as a jump
 table, would not fit in the available memory?
 
-!response 95-09-29
+!response
 
 In order to avoid implementing sparse case_statements by 1.1.3(2,6), an
 implementer would have to argue that such case_statements are too
@@ -41,8 +41,12 @@
 support sparse case statements.  An implementation that chooses to
 implement all case statements using a jump table is incorrect.
 
-!appendix 95-10-12
+!ACATS test
 
+ACATS tests C54A42A, C54A42C, C54A42D, C54A42G test sparse case statements.
+
+!appendix
+
 !section RM-5.4(00)
 !subject sparse case statements
 !reference RM95-5.4
@@ -141,7 +145,7 @@
 to see if they are reasonable, i.e. dictated by the hardware or software
 environment.
 
-In this case, the capacity restriction is not justified, since it is 
+In this case, the capacity restriction is not justified, since it is
 perfectly straightforward for an implementation to properly process
 these case statements. All validated Ada compilers have done so previously
 (I am not aware of accepted challenges in this area).

Questions? Ask the ACAA Technical Agent