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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0423-1.txt

--- ai12s/ai12-0423-1.txt	2021/01/20 03:40:11	1.1
+++ ai12s/ai12-0423-1.txt	2021/01/23 05:57:34	1.2
@@ -1,7 +1,9 @@
-!standard 6.5.1(3.3/3)                                20-01-19  AI12-0423-1/01
+!standard 6.5.1(3.3/3)                                20-01-21  AI12-0423-1/02
 !standard 13.1(15.7/5)
 !standard 13.1(15.8/5)
 !class binding interpretation 20-01-19
+!status Amendment 1-2012 21-01-21
+!status ARG Approved 15-0-0  21-01-20
 !status work item 20-01-19
 !status received 20-01-19
 !priority Low
@@ -11,9 +13,12 @@
 
 !summary
 
-For an aspect that in an aggregate, each association inherits in the same way
+For an aspect that is an aggregate, each association inherits in the same way
 as an aspect of the appropriate kind.
 
+No_Return aspects are inherited from the subprogams of parent and progenitor
+types.
+
 !question
 
 (1) 13.1(15.7/5) defines how the parts of an aspect that is an aggregate
@@ -27,17 +32,17 @@
 
     package Pkg1 is
        type T1 is tagged null record;
-       procedure P (X1 : T1) with Nonreturning;
+       procedure P (X1 : T1) with No_Return;
     end Pkg1;
 
     package Pkg2 is
        type T2 is new Pkg1.T1 with null record;
-       -- what is the value of Nonreturning aspect of Pkg2.P ?
+       -- what is the value of No_Return aspect of Pkg2.P ?
     end Pkg2;
 
     package Pkg3 is
        type T3 is new Pkg2.T2 with null record;
-       overriding procedure P (X3 : T3) with Nonreturning => False;
+       overriding procedure P (X3 : T3) with No_Return => False;
     end record;
 
 The overriding of P for T3 is supposed to be illegal by 6.5.1(6/5) (else we

Questions? Ask the ACAA Technical Agent