CVS difference for ai12s/ai12-0195-1.txt
--- ai12s/ai12-0195-1.txt 2016/08/05 07:02:15 1.3
+++ ai12s/ai12-0195-1.txt 2016/10/03 03:57:29 1.4
@@ -1,4 +1,4 @@
-!standard 6.1.1(38/4) 16-07-21 AI12-0195-1/02
+!standard 6.1.1(38/4) 16-10-02 AI12-0195-1/03
!class binding interpretation 16-06-07
!status Amendment 1-2012 16-07-21
!status ARG Approved 6-0-5 16-06-11
@@ -53,9 +53,9 @@
!wording
-Add after 6.1.1(38/4)
+Add after 6.1.1(38/4):
- {For the purposes of the above rules, a call on an inherited
+ For the purposes of the above rules, a call on an inherited
subprogram is considered to involve a call on a subprogram S' whose
body consists only of a call (with appropriate conversions) on the
non-inherited subprogram S from which the inherited subprogram was
@@ -63,7 +63,7 @@
postcondition expressions that are equivalent (with respect to which
non-inherited function bodies are executed) for S and S' are
evaluated once or twice. If evaluated only once, the value returned
- is used for both associated checks.}
+ is used for both associated checks.
AARM Implementation note: If the class-wide pre- and postcondition
expressions are equivalent for S and S' because none of the
@@ -92,7 +92,7 @@
conflict unless the original postcondition implies the overriding
interpretation. By checking both again we can detect the bug.
-Normally we would not expect an operation to be inherited, while some
+Normally we would not expect an operation to be inherited while some
part of its pre- or postcondition expression is overridden. If no such
overriding takes place, then no wrapper is necessary. But if any pre-
or postcondition expression is effectively overridden, then a wrapper is
Questions? Ask the ACAA Technical Agent