CVS difference for ais/ai-00089.txt

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

--- ais/ai-00089.txt	1998/09/30 00:17:14	1.1
+++ ais/ai-00089.txt	1999/07/09 21:42:06	1.2
@@ -1,5 +1,6 @@
-!standard RM-A.5.2 (40)                               96-11-16  AI95-00089/04
+!standard RM-A.5.2 (40)                               99-07-09  AI95-00089/05
 !class binding interpretation 96-09-05
+!status Corrigendum 2000 99-05-25
 !status WG9 approved 96-12-07
 !status ARG approved 11-0-0  96-10-07
 !status work item (letter ballot was 6-5-1) 96-10-03
@@ -10,7 +11,7 @@
 !difficulty Hard
 !subject Float_Random.Value, Discrete_Random.Value
 
-!summary 96-09-15
+!summary
 
 It is a bounded error to invoke Value with a string that is not the
 image of any generator.  If the error is detected, Constraint_Error or
@@ -20,7 +21,7 @@
 but which might not be random in character.  That is, the sequence of
 values might not fulfill the requirements of A.5.2(41-43).
 
-!question 96-09-05
+!question
 
 A.5.2(40) says:
 
@@ -35,13 +36,13 @@
 function nevertheless return a valid state for such a string, or must it
 raise Constraint_Error?
 
-!recommendation 96-09-05
+!recommendation
 
 See summary.
 
-!wording 96-09-05
+!wording
 
-!discussion 96-09-15
+!discussion
 
 A.5.2(40) seems to imply that the implementation must detect strings
 that could not have been produced by Image.  However, for some kinds of
@@ -71,7 +72,25 @@
 Note that this ruling does not allow calls to Random to raise
 Constraint_Error or Program_Error.
 
-!appendix 96-04-04
+!corrigendum A.05.02(40)
+
+@drepl
+Invoking Value with a string that is not the image of any generator
+state raises Constraint_Error.
+@dby
+It is a bounded error to invoke Value with a string that is not the
+image of any generator. If the error is detected, Constraint_Error or
+Program_Error is raised. Otherwise, a call to Reset with the resulting
+State will produce a Generator such that calls to Random with this
+Generator will produce a sequence of values of the appropriate subtype,
+but which might not be random in character. That is, the sequence of
+values might not fulfill the implementation requirements of this clause.
+
+!ACATS test
+
+Existing ACATS test CXA5012 covers this case.
+
+!appendix
 
 !section RM-A.5.2(40)
 !subject Float_Random.Value, Discrete_Random.Value

Questions? Ask the ACAA Technical Agent