CVS difference for ai12s/ai12-0302-1.txt
--- ai12s/ai12-0302-1.txt 2019/10/02 01:42:49 1.5
+++ ai12s/ai12-0302-1.txt 2019/10/30 23:00:37 1.6
@@ -1,5 +1,7 @@
-!standard A(15) 19-10-01 AI12-0302-1/03
+!standard A(15) 19-10-30 AI12-0302-1/04
!class Amendment 19-01-10
+!status Amendment 1-2012 19-10-30
+!status ARG Approved 9-0-1 19-10-06
!status work item 19-01-10
!status received 19-01-10
@@ -18,12 +20,14 @@
likely conflict with one another.
In the absence of a Global aspect, the default is "Global => in out all"
unless a (generic) package is declared Pure. This is not consistent
with the requirement of RM A(3/5) that language-defined (generic)
packages be reentrant.
For language-defined units declared Pure, we will have the implicit
Global => null. For other nongeneric packages, we will insert an explicit:
@@ -123,6 +127,10 @@
with "in [out] <unit_name>" when they refer to implicit state that is
*not* synchronized, and "in [out] <param>.all" when they refer to the
variable state associated with a dereference of an IN parameter.
+Note: We do not cover the containers packages here; their Global aspects
+are specified as part of AI12-0112-1, which overhauls the contracts of the
OVERRIDING PARAMETER MODES
Questions? Ask the ACAA Technical Agent