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

Differences between 1.7 and version 1.8
Log of other versions for file ai05s/ai05-0215-1.txt

--- ai05s/ai05-0215-1.txt	2011/04/02 04:00:15	1.7
+++ ai05s/ai05-0215-1.txt	2011/04/07 06:30:24	1.8
@@ -1,4 +1,4 @@
-!standard  9.5(10-18/3)                            11-04-01    AI05-0215-1/05
+!standard  9.5(10-18/3)                            11-04-06    AI05-0215-1/06
 !standard  9.5.4(3/3)
 !standard  9.5.4(5/3)
 !standard  9.5.4(5.1/3)
@@ -87,7 +87,7 @@
   Is_Synchronized aspect, if any, from the corresponding subprogram of the
   parent or progenitor type.}  If an overriding operation does not have
   a [pragma] {directly specified} Is_Synchronized {aspect} then [any pragma
-  Implemented applying to] {Is_Synchronized aspect of} the inherited
+  Implemented applying to] {the Is_Synchronized aspect of} the inherited
   operation [applies to] {is inherited by} the overriding operation.
 
 Modify 9.5.4(3/3) as follows:
@@ -108,7 +108,7 @@
 
 Modify 9.5.4(5.1/3) as follows:
 
-  If the target is a procedure, the name shall denote a rename of an
+  If the target is a procedure, the name shall denote a renaming of an
   entry, or shall denote {a view or} a prefixed view of a primitive
   subprogram of a synchronized interface, where the first parameter of
   the unprefixed view of the primitive subprogram shall be a controlling
@@ -717,6 +717,45 @@
 > Fill in your own ideas here.
 
 Is_Synchronized => Optional
+
+****************************************************************
+
+From: Gary Dismukes
+Sent: Wednesday, April  6, 2011  7:10 PM
+
+This is a wording nit for AI05-0215.
+
+In the !corrigendum, the third instance of "Is_Synchronized aspect"
+should be preceded by 'the':
+
+  Modify 9.5(18/3) as follows:
+
+    [A pragma Implemented is said to *apply* to the procedure denoted
+    by its *procedure_*local_name.] {Inherited subprograms inherit the
+    Is_Synchronized aspect, if any, from the corresponding subprogram of the
+    parent or progenitor type.}  If an overriding operation does not have
+    a [pragma] {directly specified} Is_Synchronized {aspect} then [any pragma
+    Implemented applying to] {Is_Synchronized aspect of} the inherited
+                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+{Is_Synchronized aspect of} => {the Is_Synchronized aspect of}
+
+    operation [applies to] {is inherited by} the overriding operation.
+
+
+And I may as well mention a really small nit wrt the !corrigendum wording for
+9.5.4(5.1/3):
+
+  Modify 9.5.4(5.1/3) as follows:
+
+    If the target is a procedure, the name shall denote a rename of an entry,...
+
+I suggest changing "a rename of" to "a renaming of".
+
+While there are a few places in the RM that use the wording "rename of", the
+majority say "renaming of", and personally I think the latter sounds better.  I
+suppose all the various instances of this wording should be made consistent.  (I'll
+understand if you choose to simply ignore this suggestion. :)
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent