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

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

--- ai12s/ai12-0143-1.txt	2014/12/05 04:50:16	1.1
+++ ai12s/ai12-0143-1.txt	2015/01/30 05:23:09	1.2
@@ -1,28 +1,27 @@
-!standard 6.1.1(30/3)                                  14-12-04  AI05-0143-1/01
+!standard 6.1.1(30/3)                                  15-01-28  AI05-0143-1/02
 !standard 9.5.4(5/3)
-!class binding interpretation 14-12-04
+!class Amendment 15-01-28
+!status Promising (9-0-0) 15-01-28
 !status work item 14-12-04
 !status received 14-11-12
 !priority Low
 !difficulty Easy
-!qualifier Omission
 !subject Using a entry index of a family in a precondition
 !summary
 
 Add the E'Index attribute for preconditions and postconditions.
 
-!question
+!problem
 
 Parameters of an entry can be used within preconditions and postconditions.
 However, the entry family index of an entry call does not have a name in the
 entry specification, and thus cannot be used in preconditions or
 postconditions. This value serves a role similar to that of parameters,
-and it's weird not to be able to use it. Should we have a way to access
-the entry family index? (Yes.)
+and it's weird not to be able to use it.
 
-!recommendation
+!proposal
 
-(See Summary.)
+(See Wording.)
 
 !wording
 
@@ -33,16 +32,19 @@
 
 E'Index
   Within a precondition or postcondition expression for entry family E, denotes
-  the value of the entry index for the call of E. The type of this attribute is
-  the type of the entry index subtype.
+  the value of the entry index for the call of E. The nominal subtype of this
+  attribute is the entry index subtype.
 
+[Editor's note: We don't mention the type of the attribute, because it is
+"obviously" the type of the nominal subtype.]
+
 Use of this attribute is allowed only within a precondition or postcondition
 expression for E. 
 
-Modify the wording added by AI12-0090-1:
+Modify 9.5.4(5.4/4) (added by AI12-0090-1 in the Corrigendum):
 
   The requeue target shall not have an applicable specific or class-wide
-  postcondition which includes an Old {or Index} attribute_reference.
+  postcondition {that}[which] includes an Old {or Index} attribute_reference.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent