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

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

--- ai12s/ai12-0193-1.txt	2016/11/10 02:56:57	1.4
+++ ai12s/ai12-0193-1.txt	2016/11/24 02:41:08	1.5
@@ -100,7 +100,7 @@
 
 !discussion
 
-9.5.4(24) is the entire definition of rendezvous. There doesn't seem to be any
+9.5.2(24) is the entire definition of rendezvous. There doesn't seem to be any
 possibility in the above wording of anything happening after the
 handled_sequence_of_statements but before the accept statement is left. 
 
@@ -120,12 +120,12 @@
 @drepl
 The check is performed on each such part of type @i<T>.
 @dby
-The check is performed on each such part of type T. In the case of
+The check is performed on each such part of type @i<T>. In the case of
 a call to a protected operation, the check is performed before the
 end of the protected action. In the case of a call to a task entry,
 the check is performed before the end of the rendezvous.
 
-!corrigendum 9.5.4(24)
+!corrigendum 9.5.2(24)
 
 @drepl
 For the execution of an @fa<accept_statement>, the @fa<entry_index>, if any,
@@ -157,15 +157,6 @@
 @fa<handled_sequence_of_statements> of an @fa<accept_statement>, the same
 exception is also raised by the execution of the corresponding
 @fa<entry_call_statement>. 
-
-    
-
-
-    AARM Ramification: Execution of the rendezvous does not include
-    any checks associated with parameter copy back or any
-    post-call subtype predicate check for a parameter which is
-    passed by reference. These checks are performed by
-    the caller after the execution of the rendezvous.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent