CVS difference for ai12s/ai12-0105-1.txt
--- ai12s/ai12-0105-1.txt 2014/07/24 02:23:17 1.2
+++ ai12s/ai12-0105-1.txt 2014/10/02 23:31:39 1.3
@@ -1,4 +1,4 @@
-!standard 13.1.1(18/3) 14-07-23 AI05-0105-1/02
+!standard 13.1.1(18/3) 14-10-02 AI05-0105-1/03
!class binding interpretation 14-05-13
!status Corrigendum 2015 14-07-23
!status ARG Approved 78-0-0 14-06-28
@@ -7,10 +7,10 @@
-!subject Pre is not allowed on any subprogram completion
+!subject Pre and Post are not allowed on any subprogram completion
-A language-defined aspect (like Pre) is not allowed on any subprogram
+No language-defined aspect (such as Pre or Post) is allowed on any subprogram
@@ -19,8 +19,8 @@
aspect_specification given on a subprogram_body or subprogram_body_stub
that is a completion of another declaration."
-This is intended to prevent hiding aspects like Pre on a body, as they are
-intended to be known to callers.
+This is intended to prevent hiding aspects like Pre and Post on a body, as
+they are intended to be known to callers.
However, an expression_function that is a completion is not a subprogram_body,
so the above doesn't apply to it. Similarly for a null_procedure that is a
Questions? Ask the ACAA Technical Agent