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

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

--- ai05s/ai05-0215-1.txt	2011/03/17 06:27:55	1.6
+++ ai05s/ai05-0215-1.txt	2011/04/02 04:00:15	1.7
@@ -1,4 +1,4 @@
-!standard  9.5(10-18/3)                            11-03-17    AI05-0215-1/04
+!standard  9.5(10-18/3)                            11-04-01    AI05-0215-1/05
 !standard  9.5.4(3/3)
 !standard  9.5.4(5/3)
 !standard  9.5.4(5.1/3)
@@ -8,7 +8,7 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject Pragma Implemented should be an aspect (and better defined)
+!subject Pragma Implemented should be an aspect, renamed, and better defined
 !summary
 
 The aspect Is_Synchronized is introduced as the proper way of specifying how
@@ -56,7 +56,7 @@
 Delete 9.5 (10/3-11/3).
 
 Modify 9.5 (12/3) as follows:
-    Synchronization_Kind ::= By_Entry | By_Protected_Procedure | By_Any
+    Synchronization_Kind ::= By_Entry | By_Protected_Procedure | Optional
 
 Modify 9.5(13/3 - 16/3) as follows:
 
@@ -75,19 +75,19 @@
   implemented by a protected procedure.
 
   If a primitive procedure overrides an inherited operation for which the
-  Synchronization_Kind has been specified, then any specification of the
-  Aspect Is_Synchronized applied to the overring operation shall have the
+  Is_Synchronized aspect has been specified, then any specification of the
+  aspect Is_Synchronized applied to the overriding operation shall have the
   same Synchronization_Kind, or the inherited Synchronization_Kind shall be
-  By_Any.
+  Optional.
 
 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
-  Implemented aspect, if any, from the corresponding subprogram of 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} Implemented {aspect} then [any pragma
-  Implemented applying to] {Implemented aspect of} the inherited
+  a [pragma] {directly specified} Is_Synchronized {aspect} then [any pragma
+  Implemented applying to] {Is_Synchronized aspect of} the inherited
   operation [applies to] {is inherited by} the overriding operation.
 
 Modify 9.5.4(3/3) as follows:
@@ -708,6 +708,15 @@
 give a new one for them on the descendant).
 
 So that isn't much help. ;-)
+
+****************************************************************
+
+From: Jean-Pierre Rosen
+Sent: Thursday, March 17, 2011  4:13 AM
+
+> Fill in your own ideas here.
+
+Is_Synchronized => Optional
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent