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

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

--- ai12s/ai12-0143-1.txt	2016/02/16 03:20:41	1.6
+++ ai12s/ai12-0143-1.txt	2016/04/22 03:41:42	1.7
@@ -29,8 +29,8 @@
 
 Add after 6.1.1(30/3):
 
-For a prefix E that denotes an entry declaration of an entry family, the
-following attribute is defined:
+For a prefix E that denotes an entry declaration of an entry family
+(see 9.5.2), the following attribute is defined:
 
 E'Index
   Within a precondition or postcondition expression for entry family E, denotes
@@ -66,6 +66,32 @@
 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.
+
+!corrigendum 6.1.1(30/3)
+
+@dinsa
+@xindent<Use of this attribute is allowed only within a postcondition
+expression for F.>
+@dinss
+For a @fa<prefix> E that denotes an entry declaration of an entry family
+(see 9.5.2), the following attribute is defined:
+
+@xhang<@xterm<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 nominal subtype of this
+  attribute is the entry index subtype.>
+
+@xindent<Use of this attribute is allowed only within a precondition or
+postcondition expression for E.>
+
+!corrigendum 9.5.4(5.4/4)
+
+@drepl
+The requeue target shall not have an applicable specific or class-wide
+postcondition which includes an Old attribute_reference.
+@dby
+The requeue target shall not have an applicable specific or class-wide
+postcondition that includes an Old or Index @fa<attribute_reference>.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent