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

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0211-1.txt

--- ai12s/ai12-0211-1.txt	2017/10/12 02:22:39	1.4
+++ ai12s/ai12-0211-1.txt	2017/11/30 04:18:02	1.5
@@ -1,6 +1,8 @@
-!standard 13.1.1(18.3/5)                           17-10-11  AI12-0211-1/03
+!standard 13.1.1(18.3/5)                           17-11-17  AI12-0211-1/04
 !standard 13.1.1(18.4/4)
 !class binding interpretation 16-12-20
+!status Amendment 1-2012 17-11-17
+!status ARG Approved 6-0-2  17-10-13
 !status work item 16-12-20
 !status received 16-10-02
 !priority Low
@@ -9,6 +11,8 @@
 !subject Interface types and inherited nonoverridable aspects
 !summary
 
+A nonoverridable aspect of type T has to inherit the same value from all
+ancestors of type T; otherwise T is illegal.
 
 !question
 
@@ -71,6 +75,37 @@
 
 Obviously, one cannot have a type where a single aspect has two different
 values. We have to craft a rule to make this illegal.
+
+!corrigendum 13.1.1(18.3/4)
+
+@drepl
+If a nonoverridable aspect is directly specified for a type @i<T>, then any
+explicit specification of that aspect for any other descendant of @i<T>
+shall be @i<confirming>; that is, the specified @fa<name> shall @i<match>
+the inherited aspect, meaning that the specified @fa<name> shall denote the
+same declarations as would the inherited @fa<name>.
+@dby
+If a nonoverridable aspect is directly specified for a type @i<T>, then any
+explicit specification of that aspect for any descendant of @i<T>
+(other than @i<T> itself) shall be @i<confirming>. In the case of an aspect
+whose value is a @fa<name>,
+this means that the specified @fa<name> shall @i<match> the inherited aspect
+in the sense that it shall denote the same declarations as would the inherited
+@fa<name>.
+
+!corrigendum 13.1.1(18.4/4)
+
+@dinsa
+If a full type has a partial view, and a given nonoverridable aspect is
+allowed for both the full view and the partial view, then the given aspect for
+the partial view and the full view shall be the same: the aspect shall be
+directly specified only on the partial view; if the full type inherits the
+aspect, then a matching definition shall be specified (directly or by
+inheritance) for the partial view.
+@dinst
+If a type inherits a nonoverridable aspect from multiple ancestors,
+the value of the aspect inherited from any given ancestor shall be
+confirming of the values inherited from all other ancestors.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent