CVS difference for ai05s/ai05-0228-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0228-1.txt

--- ai05s/ai05-0228-1.txt	2010/11/20 02:45:34	1.3
+++ ai05s/ai05-0228-1.txt	2010/11/20 05:22:32	1.4
@@ -3,7 +3,7 @@
 !standard 3.3.1(21)
 !standard 3.5(56/2)
 !standard 3.6(22/2)
-!standard 6.4(13)
+!standard 6.4.1(13)
 !class Amendment 10-10-22
 !status work item 10-10-22
 !status received 10-10-22
@@ -57,7 +57,7 @@
   a constrained subtype (the previous case), or is in an excluded variant (see 3.8.1).
   For each component that does not have a default_expression, {if the composite
   subtype has the Default_Component_Value aspect specified, the implicit initial value
-  is the value of that aspect is converted to the component's nominal subtype;
+  is the value of that aspect converted to the component's nominal subtype;
   otherwise, } any implicit initial values are those determined by the component's
   nominal subtype.
@@ -102,7 +102,7 @@
 The expected type for the expression specified for the Default_Component_Value aspect
 is the component type of the array type defined by the full_type_declaration.
-Add a new bullet after 6.4(13): [Note that 6.4(13) was modified by AI05-0196-1 --
+Add a new bullet after 6.4.1(13): [Note that 6.4.1(13) was modified by AI05-0196-1 --
 we echo that wording here, not the original wording.]
 * For a scalar type that has the Default_Value aspect specified, the formal parameter
@@ -118,7 +118,7 @@
 of "implicit initial values" effectively changes this rule to include arrays with
 a specified Default_Component_Value.]
-Modify AARM 6.4(15.a):
+Modify AARM 6.4.1(15.a):
 This case covers scalar types {that do not have Default_Value specified}, and composite
 types whose subcomponent's subtypes do not have any implicit initial values. The
@@ -161,8 +161,6 @@
 However, if a type has a value specifically that means "Unknown" or "Undefined",
 it makes perfect sense to initialize all objects to that value. That would
 greatly reduce the chances of invalid objects of the type existing.
-Note that the change to the definition of "implicit initial values"

Questions? Ask the ACAA Technical Agent