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

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

--- ai12s/ai12-0374-1.txt	2020/05/02 03:43:14	1.2
+++ ai12s/ai12-0374-1.txt	2020/05/10 23:03:36	1.3
@@ -6,6 +6,7 @@
 !standard 9.5(65/5)
 !standard 9.5(68/5)
 !standard 13.1.1(18.1/4)
+!status Amendment 1-2012 20-05-08
 !class Amendment 20-03-22
 !status work item 20-03-22
 !status received 20-03-22
@@ -14,6 +15,9 @@
 !subject Fixes for Nonblocking
 !summary
 
+[Editor's note: Although not approved, this AI is included in the draft 25 RM
+in order that review of Nonblocking be simplified.]
+
 (1) Generic units that are declared Nonblocking use the "and" of all of the
 formal parameters as their nonblocking expression.
 
@@ -84,14 +88,15 @@
   For a prefix X denoting an object of a class-wide type T'Class,
   the following attribute is defined:
 
-  X'Nonblocking(dispatching_operation_list)
+  X'Nonblocking(dispatching_operation_set)
 
-    X'Nonblocking(list) represents the AND of the Nonblocking aspect of
-    the tagged type T1 identified by the tag of X, and the Nonblocking
-    aspects of the dispatching operations of T1 corresponding to the
-    specified dispatching operations of T (or all dispatching operations
-    of T if the list is the reserved word ALL). If a
-    /dispatching_/selector_name within the list denotes multiple
+    X'Nonblocking(dispatching_operation_set) represents the AND of the 
+    Nonblocking aspect of the tagged type T1 identified by the tag of X,
+    and the Nonblocking aspects of the dispatching operations of T1 
+    corresponding to the specified dispatching operations of T (or all
+    dispatching operations
+    of T if the set is the reserved word ALL). If a
+    /dispatching_/selector_name within the set denotes multiple
     dispatching operations of T, the Nonblocking aspects of all of the
     corresponding dispatching operations of T1 are ANDed together.
 
@@ -253,6 +258,31 @@
 a predicate is evaluated doesn't work for generic formal types, where the
 details of any predicate that might apply are unknown.
 
+!corrigendum 9.5(17/3)
+
+@dinsa
+In addition to the places where Legality Rules normally apply (see 12.3),
+these rules also apply in the private part of an instance of a generic unit. 
+@dinss
+Just to force a conflict; the updated text will be found in the conflict file.
+
+!corrigendum 13.1.1(18.1/4)
+
+@drepl
+If an aspect of a derived type is inherited from an ancestor type and has the
+boolean value True, the inherited value shall not be overridden to have the
+value False for the derived type, unless otherwise specified in this
+International Standard.
+@dby
+If an aspect of a derived type (or its first subtype) is inherited
+from an ancestor (sub)type and has the boolean value True, the
+inherited value shall not be overridden to have the value False for
+the derived type (or its first subtype), unless otherwise specified
+in this International Standard. If an aspect of a nonfirst subtype
+is inherited from the subtype in the @fa<subtype_indication> that defines
+it, and has the value True, the inherited value shall not be
+overridden to have the value False for the nonfirst subtype, unless
+otherwise specified in this International Standard.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent