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

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0265-1.txt

--- ai12s/ai12-0265-1.txt	2018/04/07 06:19:15	1.3
+++ ai12s/ai12-0265-1.txt	2018/04/27 03:33:42	1.4
@@ -1,4 +1,4 @@
-!standard 7.3.3(0)                                  18-04-04  AI12-0265-1/02
+!standard 7.3.3(0)                                  18-04-26  AI12-0265-1/03
 !standard 1.1.3(17.1/5)
 !standard 11.4.2(23.2/5)
 !standard 11.4.2(23.3/5)
@@ -35,6 +35,8 @@
 
 !wording
 
+Add a new subclause:
+
 7.3.3 Default Initial Conditions
 
 For a private type or private extension, the following language-defined aspect
@@ -60,7 +62,7 @@
 
 Static Semantics
 
-    If the Default_Initial_Value aspect is specified for a type T, then
+    If the Default_Initial_Condition aspect is specified for a type T, then
     the default initial condition expression applies to T and to all
     descendants of T.
 
@@ -95,9 +97,6 @@
    conditions,} and type invariants specified for the unit by this
    International Standard (see 11.4.2).
 
-In 11.4.2, find everywhere that type invariants are mentioned and update to
-also mention default initial conditions:
-
 Modify 11.4.2(1.1/3):
 
    Assert pragmas, subtype predicates (see 3.2.4), preconditions and
@@ -127,7 +126,7 @@
 
 If one imagines that the default initialization of the object is described
 by a function D_I, this contract describes the postcondition of that
-(imaginary) function.
+(hypothetical) function.
 
 In this postcondition, the current instance of the type takes the place of
 D_I'Result, and the only parameters could be the bounds or discriminants
@@ -202,7 +201,7 @@
 
 @s8<@i<Static Semantics>>
 
-If the Default_Initial_Value aspect is specified for a type T, then
+If the Default_Initial_Condition aspect is specified for a type T, then
 the default initial condition expression applies to T and to all
 descendants of T.
 

Questions? Ask the ACAA Technical Agent