CVS difference for ai05s/ai05-0225-1.txt

--- ai05s/ai05-0225-1.txt	2011/03/11 02:10:31	1.4
+++ ai05s/ai05-0225-1.txt	2011/03/11 02:38:08	1.5
@@ -1,5 +1,8 @@
-!standard  9.5(7.1/2)                                11-02-19    AI05-0225-1/04
+!standard  9.5(2)                                    11-03-10    AI05-0225-1/05
+!standard  9.5(7.1/2)
 !class binding interpretation 10-10-21
+!status Amendment 2012 11-03-10
+!status ARG Approved  7-0-1  10-02-20
 !status work item 10-10-21
 !status received 10-06-04
 !priority Low
@@ -66,7 +69,6 @@
 call. The target object is determined as follows:
 
 
-
 Replace 9.5(7.1/2):
 
 The view of the target protected object associated with a call of a protected
@@ -75,9 +77,9 @@
 with:
 
 For a name that denotes a protected procedure, the view of the target object
-shall be a variable. For a name that denotes an entry, the view of the target
-object shall be a variable unless the name is the prefix of a reference to the
-Count attribute.
+shall be a variable. For a name that denotes a protected entry, the view of the
+target object shall be a variable unless the name is the prefix of a reference
+to the Count attribute.
 
 AARM Note: The point is to prevent any calls to such a name, directly, or via an
 access value, renames, or generic formal subprogram. It is, however, legal to
@@ -96,6 +98,35 @@
 We need to cover the case of a selected component, as well as the case where the
 protected object is implicit (when we're inside it). We explicitly enumerate the
 cases we are trying to prevent.
+
+!corrigendum 9.5(2)
+
+@drepl
+Any call on an entry or on a protected subprogram identifies a @i<target object>
+for the operation, which is either a task (for an entry call) or a protected
+object (for an entry call or a protected subprogram call). The target object
+is considered an implicit parameter to the operation, and is determined
+by the operation @fa<name> (or @fa<prefix>) used in the call on the operation,
+as follows:
+@dby
+Any name that denotes an entry or a protected subprogram identifies a
+@i<target object>, which is either a task (for an entry) or a protected
+object (for an entry or a protected subprogram). The target object
+identified by the operation @fa<name> (or @fa<prefix>) used in a call on an
+entry or a protected subprogram is considered an implicit parameter to the call.
+The target object is determined as follows:
+
+!corrigendum 9.5(7.1/2)
+
+@drepl
+The view of the target protected object associated with a call of a
+protected procedure or entry shall be a variable.
+@dby
+For a @fa<name> that denotes a protected procedure, the view of the target
+object shall be a variable. For a @fa<name> that denotes a protected entry, the
+view of the target object shall be a variable unless the @fa<name> is the
+@fa<prefix> of a reference to the Count attribute.
+
 
 !ACATS Test