CVS difference for ai22s/ai22-0012-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai22s/ai22-0012-1.txt

--- ai22s/ai22-0012-1.txt	2021/11/20 07:49:18	1.4
+++ ai22s/ai22-0012-1.txt	2022/01/28 07:06:50	1.5
@@ -1,6 +1,8 @@
-!standard 6.1.1(18.2/5)                               21-11-18  AI22-0012-1/02
+!standard 6.1.1(18.2/5)                               22-01-14  AI22-0012-1/03
 !class binding interpretation 21-11-12
-!status ARG Approved 10-0-2  21-11-18!status work item 21-11-12
+!status Corrigendum 1-2022 22-01-14
+!status ARG Approved 10-0-2  21-11-18
+!status work item 21-11-12
 !status received 21-07-07
 !priority Medium
 !difficulty Hard
@@ -119,6 +121,28 @@
   adjusted rules. 
 
 This note is deleted by this AI, as we've fixed the rule.
+
+!corrigendum 6.1.1(18.2/5)
+
+@drepl
+If the primitive subprogram @i<S> is not abstract, but the given
+descendant of @i<T> is abstract, then a nondispatching call on @i<S> is
+illegal if any Pre'Class or Post'Class aspect that applies to @i<S> is
+other than a static boolean expression. Similarly, a primitive
+subprogram of an abstract type @i<T>, to which a non-static Pre'Class or
+Post'Class aspect applies, shall neither be the prefix of an Access
+attribute_reference, nor shall it be a generic actual subprogram for a
+formal subprogram declared by a @fa<formal_concrete_subprogram_declaration>.
+@dby
+If the primitive subprogram @i<S> is not abstract, but the given
+descendant of @i<T> is abstract, then a nondispatching call on @i<S> is
+illegal if the corresponding expression for any Pre'Class or Post'Class 
+aspect that applies to @i<S> includes a nondispatching invocation of an
+abstract function. Similarly, a primitive
+subprogram of an abstract type @i<T>, to which such a Pre'Class or
+Post'Class aspect applies, shall neither be the prefix of an Access
+attribute_reference, nor shall it be a generic actual subprogram for a
+formal subprogram declared by a @fa<formal_concrete_subprogram_declaration>.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent