CVS difference for ai12s/ai12-0064-2.txt

Differences between 1.18 and version 1.19
Log of other versions for file ai12s/ai12-0064-2.txt

--- ai12s/ai12-0064-2.txt	2017/11/22 02:58:02	1.18
+++ ai12s/ai12-0064-2.txt	2017/11/22 03:09:41	1.19
@@ -1,4 +1,4 @@
-!standard 9.5(17/3)                                 17-10-13    AI12-0064-2/13
+!standard 9.5(17/3)                                 17-10-14    AI12-0064-2/14
 !standard 9.5.1(8)
 !standard 9.5.1(9)
 !standard 9.5.1(10)
@@ -352,12 +352,15 @@
           AARM Proof: Type aspects are never view-specific; they always have
           the same value for all views. This is formally stated in 13.1.
 
-       For an inherited primitive subprogram, if the subprogram is null
-       or abstract, the subprogram is nonblocking if the corresponding
-       subprogram of any ancestor is nonblocking.  If the subprogram is
-       neither null nor abstract, the subprogram is nonblocking if and
-       only if the corresponding subprogram of the parent is
-       nonblocking.
+       For an inherited primitive dispatching subprogram that is null or
+       abstract, the subprogram is nonblocking if and only if a corresponding
+       subprogram of at least one ancestor is nonblocking. For any other
+       inherited subprogram, it is nonblocking if and only if the
+       corresponding subprogram of the parent is nonblocking.
+
+          [Editor's note: One cannot "directly specify" an aspect for any
+          inherited subprogram, so this paragraph has a different form than
+          the rest.]
 
        Unless directly specified, overridings of dispatching operations
        inherit this aspect.
@@ -523,7 +526,7 @@
 
    A subprogram shall be nonblocking if it overrides a nonblocking
    dispatching operation. An entry shall not implement a nonblocking
-   procedure. If an inherited subprogram allows blocking, then
+   procedure. If an inherited dispatching subprogram allows blocking, then
    the corresponding subprogram of each ancestor shall allow blocking.
 
       AARM Discussion: Rules elsewhere in the standard (4.6 and 3.10.2)
@@ -1986,6 +1989,34 @@
    the corresponding subprogram of each ancestor shall allow blocking.}
 
 [Editor's note: These were added to version /13 of the AI.]
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Saturday, October 14, 2017  7:54 PM
+
+Trying again:
+
+New paragraph:    
+
+      For an inherited primitive dispatching subprogram that is null
+      or abstract, the subprogram is nonblocking if and only if a corresponding
+      subprogram of at least one ancestor is nonblocking. For any other inherited
+      subprogram, it is nonblocking if and only if the corresponding 
+      subprogram of the parent is nonblocking.
+
+immediately preceding:
+
+      Unless directly specified, overridings of dispatching operations
+      inherit this aspect.
+
+
+Update the following paragraph by adding a sentence (in {}):
+
+  A subprogram shall be nonblocking if it overrides a nonblocking
+  dispatching operation. An entry shall not implement a nonblocking
+  procedure. { If an inherited dispatching subprogram allows blocking, then
+  the corresponding subprogram of each ancestor shall allow blocking.}
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent