CVS difference for ai12s/ai12-0217-1.txt
--- ai12s/ai12-0217-1.txt 2017/07/21 03:41:49 1.2
+++ ai12s/ai12-0217-1.txt 2017/09/08 02:14:02 1.3
@@ -1,4 +1,4 @@
-!standard 6.1.1(24/3) 17-07-20 AI12-0217-1/02
+!standard 6.1.1(24/3) 17-09-07 AI12-0217-1/03
!standard 6.1.1(27/3)
!class binding interpretation 17-01-09
!status Amendment 1-2012 17-07-20
@@ -8,11 +8,12 @@
!priority Low
!difficulty Easy
!qualifier Omission
-!subject 6.1.1(27/3) should be less restrictive
+!subject Rules regarding restrictions on the use of the Old attribute are too strict
+
!summary
-6.1.1(27/3) should allow some indexed and selected components as the
-prefix of potentially unevaluated Old attribute references.
+The rules in 6.1.1(27/3) should allow some indexed and selected components as
+the prefix of potentially unevaluated Old attribute references.
!question
@@ -80,10 +81,11 @@
an exception when evaluated. (Note that we're talking about the evaluation
of the prefix itself, not the evaluation of the value of the prefix; an
invalid value can always raise an exception.) In order to do that, we define
-a new term (as it has to be recursive) that allows selected_components that
+the new term "statically names" that allows selected_components that
don't include implicit dereferences and do not depend on a discriminant,
and indexed_components with static indexes where the object is statically
-constrained.
+constrained. (We have to define a term as the definition is necessarily
+recursive.)
Other names could have been allowed (for instance, a dereference of a null
excluding access subtype), but we don't want to make this too complicated.
Questions? Ask the ACAA Technical Agent