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

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0412-1.txt

--- ai12s/ai12-0412-1.txt	2021/01/23 07:38:32	1.8
+++ ai12s/ai12-0412-1.txt	2021/01/30 06:48:33	1.9
@@ -132,6 +132,22 @@
 "recheck" for each subprogram with an applicable Pre'Class or Post'Class
 should be simpler for implementations and easier for users to understand.
 
+!corrigendum 6.1.1(18.2/4)
+
+@drepl
+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.
+@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 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>.
+
 !ASIS
 
 No ASIS effect.
@@ -140,6 +156,11 @@
 
 ACATS B & C-Tests are needed to check the newly allowed cases, and to check
 that a non-dispatching call of such a routine is illegal.
+
+Note: Existing ACATS test B611006 tested the previous rule, which is being
+eliminated. It has been modified to eliminate that subtest. One could use
+the form of the deleted parts of that test to form a basis for a B-Test
+as described above.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent