CVS difference for ais/ai-00089.txt
--- ais/ai-00089.txt 1999/08/31 22:53:54 1.3
+++ ais/ai-00089.txt 2000/04/14 01:45:06 1.4
@@ -1,4 +1,4 @@
-!standard RM-A.5.2 (40) 99-08-31 AI95-00089/05
+!standard RM-A.5.2 (40) 00-04-11 AI95-00089/06
!class binding interpretation 96-09-05
!status Corrigendum 2000 99-05-25
!status WG9 approved 96-12-07
@@ -81,11 +81,12 @@
Invoking Value with a string that is not the image of any generator
state raises Constraint_Error.
@dby
+@s8<@i<Bounded (Run-Time) Errors>>@hr
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
+image of any generator state. 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,
+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.
Questions? Ask the ACAA Technical Agent