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

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0220-1.txt

--- ai12s/ai12-0220-1.txt	2018/04/07 06:19:15	1.6
+++ ai12s/ai12-0220-1.txt	2018/04/14 05:01:06	1.7
@@ -1562,3 +1562,34 @@
 and "return subtype" with "result subtype" to be consistent.
+From: Tullio Vardanega
+Sent: Saturday, April 7, 2018  12:12 PM
+In the opening sentence of:
+> Within a postcondition expression for F, denotes the return object of 
+> the function call for which the postcondition expression is evaluated.
+> The type of this attribute is that of the result subtype of the 
+> function or access-to-function type except within a Post'Class 
+> postcondition expression for a function with a controlling result or 
+> with a controlling access result; in those cases the type of the 
+> attribute was described previously.
+I am missing the subject that denotes.
+From: Randy Brukardt
+Sent: Sunday, April 8, 2018 12:53 AM
+You need to look at this in context -- this is an attribute definition and
+they are all written like this.
+For a prefix F that denotes a function declaration or an access-to-function
+type, the following attribute is defined: 
+F'Result    Within a postcondition expression for F, denotes the return
+object ...
+I was only concerned about the non-boilerplate part of the text.

Questions? Ask the ACAA Technical Agent