CVS difference for 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"
!examples
Questions? Ask the ACAA Technical Agent