CVS difference for ai12s/cor15con.txt

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2014/11/15 03:31:04	1.5
+++ ai12s/cor15con.txt	2014/11/19 20:58:28	1.6
@@ -212,6 +212,31 @@
 of the type of the @i<iterable_>@fa<name> is a limited type at the point of the
 container element iterator.
 
+!corrigendum 6.1.1(18/3)
+!AI-0113-1
+!AI-0131-1
+
+@drepl
+If a Pre'Class or Post'Class aspect is specified for a primitive subprogram
+of a tagged type @i<T>, then the associated expression also applies to the
+corresponding primitive subprogram of each descendant of @i<T>.
+@dby
+If a Pre'Class or Post'Class aspect is specified for a primitive
+subprogram @i<S> of a tagged type @i<T>, or such an aspect defaults to
+True, then a corresponding expression also applies to the corresponding
+primitive subprogram @i<S> of each descendant of @i<T>. The @i<corresponding
+expression> is constructed from the associated expression as follows:
+
+@xbullet<References to formal parameters of @i<S> (or to @i<S> itself) are
+replaced with references to the corresponding formal parameters of the
+corresponding inherited or overriding subprogram @i<S> (or to the
+corresponding subprogram @i<S> itself).>
+
+The primitive subprogram @i<S> is illegal if it is not abstract and the
+corresponding expression for a Pre'Class or Post'Class aspect would be
+illegal.
+
+
 !corrigendum 7.3.2(10/3)
 !AI-0049-1
 !AI-0133-1

Questions? Ask the ACAA Technical Agent