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

Differences between 1.2 and version 1.3
Log of other versions for file 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 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject Pre is not allowed on any subprogram completion
+!subject Pre and Post are not allowed on any subprogram completion
 !summary
 
-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
 completion.
 
 !question
@@ -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