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

Differences between 1.3 and version 1.4
Log of other versions for file 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