CVS difference for ai12s/ai12-0280-2.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai12s/ai12-0280-2.txt

--- ai12s/ai12-0280-2.txt	2019/09/08 07:59:03	1.7
+++ ai12s/ai12-0280-2.txt	2019/10/30 03:59:05	1.8
@@ -1,4 +1,4 @@
-!standard 6.1.1(20/3)                                  19-07-25  AI12-0280-2/05
+!standard 6.1.1(20/3)                                  19-10-29 AI12-0280-2/06
 !standard 6.1.1(21/3)
 !standard 6.1.1(22/3)
 !standard 6.1.1(22.1/4)
@@ -68,7 +68,7 @@
   AARM Reason: We mention literals explicitly in case they are not static (as
   when their subtype is not static, they are the literal null, etc.). We exclude
   literals of types with the aspects that are not Global => null those cause a
-  user-written subprogram with possible side-effects to be called.
+  user-written subprogram with possible side effects to be called.
 
   * a name statically denoting a full constant declaration of a type for which
     all views are constant (see 3.3);
@@ -84,7 +84,7 @@
   parameter), but having a subprogram declaration where those could be used
   (like inside of a loop) seems unusual enough to not be worth defining.
 
-  * a name statically denoting a non-aliased /in/ parameter of an elementary
+  * a name statically denoting a nonaliased /in/ parameter of an elementary
     type;
 
       AARM Ramification: All such parameters are by-copy, so the value
@@ -126,7 +126,7 @@
 
     * A subexpression of the expression of an array_component_association;
 
-    * A subexpression of the expression of an container_element_association.
+    * A subexpression of the expression of a container_element_association.
 
    If a subexpression is not repeatedly evaluated, and not evaluated
    unconditionally, then it is /conditionally evaluated/, and there is a
@@ -226,7 +226,7 @@
   'Old constant. We allow them to be evaluated later as well, or for the
   results to be saved somehow. This permission shouldn't matter, as the
   results ought to be same wherever they are evaluated and there should
-  not be any side-effects. The main effect of the permission is to
+  not be any side effects. The main effect of the permission is to
   determine when any exceptions caused by such subexpressions may be
   raised. We never require waiting to determine the value of such
   subexpressions, even if they aren't used to determine the creation of
@@ -265,7 +265,7 @@
 there is no restriction on the use of 'Old, and if A = null, then the 'Old
 reference is not evaluated at all. This allows the author to write the
 postcondition they want with less likelihood of tripping over these rules (and
-as a side-effect, requires less evaluation of 'Old prefixes that are never
+as a side effect, requires less evaluation of 'Old prefixes that are never
 going to be used).
 
 

Questions? Ask the ACAA Technical Agent