CVS difference for ai12s/ai12-0143-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0143-1.txt

--- ai12s/ai12-0143-1.txt	2015/11/18 01:23:00	1.4
+++ ai12s/ai12-0143-1.txt	2015/12/18 02:07:00	1.5
@@ -1,6 +1,7 @@
-!standard 6.1.1(30/3)                                  15-01-28  AI12-0143-1/02
+!standard 6.1.1(30/3)                                  15-11-19  AI12-0143-1/03
 !standard 9.5.4(5/3)
 !class Amendment 15-01-28
+!status ARG Approved 5-0-2  15-10-18
 !status Promising (9-0-0) 15-01-28
 !status work item 14-12-04
 !status received 14-11-12
@@ -48,14 +49,6 @@
 
 !discussion
 
-The addition to the requeue rule is for the same reason that we ban
-'Old (see AI12-0090-1) - the parameters (and family index) for the requeue
-target can be different than that for the original entry call. In particular,
-consider requeuing to the same entry with a different family index;
-in such a case, the postcondition would conform, but the expression
-evaluated on completion of the target entry would not necessarily
-imply that the original postcondition was true.
-
 We define this attribute only within preconditions and postconditions as it
 can only be meaningful during an entry call. Inside of an entry_body, it
 already has a name, and it has to be known for an accept_statement. So
@@ -65,6 +58,14 @@
 Note that the correct terminology is "entry index" of an "entry family" (see
 9.5.2); it is not "family index" or even "entry family index".
 
+The addition to the requeue rule is for the same reason that we ban
+'Old in that rule (see AI12-0090-1) - the parameters (and family index) for
+the requeue target can be different than that for the original entry call. In
+particular, consider requeuing to the same entry with a different family
+index; in such a case, the postcondition would conform, but the expression
+evaluated on completion of the target entry would not necessarily
+imply that the original postcondition was true.
+
 !ASIS
 
 Add the following value to the type Attribute_Kinds:
@@ -107,7 +108,7 @@
 postcondition (or precondition) that depends on the entry family index. So we
 don't need an extra rule in AI12-0090-1.
 
-OTOH, it seems to rather limiting not to be able to reference the family in
+OTOH, it seems to be rather limiting not to be able to reference the family in
 pre- and postconditions. Perhaps we want to come up with a way to do that?
 (That's probably not a Corrigendum fix, unless we decide to invent an
 attribute for it.) If we did that, THEN we'd need a rule for requeue.

Questions? Ask the ACAA Technical Agent