CVS difference for ais/ai-00161.txt

Differences between 1.17 and version 1.18
Log of other versions for file ais/ai-00161.txt

--- ais/ai-00161.txt	2005/06/16 23:47:08	1.17
+++ ais/ai-00161.txt	2005/08/05 04:31:29	1.18
@@ -1,4 +1,4 @@
-!standard 10.02.01 (04)                               05-06-08  AI95-00161/10
+!standard 10.02.01 (04)                               05-07-07  AI95-00161/11
 !standard 10.02.01 (09)
 !standard 10.02.01 (11)
 !standard  7.06 (05)
@@ -62,7 +62,7 @@
 
 Change the 10.2.1(9) to read:  "The creation of an object (including a
 component) of a type which does not have preelaborable initialization.
-Similarly the evaluation of an extension_aggregate with an ancestor
+Similarly, the evaluation of an extension_aggregate with an ancestor
 subtype_mark denoting a subtype of such a type."
 
 Add a new bullet after C.4(4): "No subtype_mark denotes a controlled type, a
@@ -76,8 +76,8 @@
 - The partial view of a private type or private extension, a protected type
 without entry_declarations, a generic formal private type, or a generic
 formal derived type, have preelaborable initialization if and only if the pragma
-Preelaborable_Initialization has been applied to them. A task type or
-protected type with entry_declarations never have preelaborable initialization.
+Preelaborable_Initialization has been applied to them. A protected type with
+entry_declarations or a task type never has preelaborable initialization.
 
 - A component (including a discriminant) of a record or protected type has
 preelaborable initialization if its declaration includes a default_expression
@@ -219,7 +219,7 @@
 of such a type.>
 @dby
 @xbullet<The creation of an object (including a component) of a type which does
-not have preelaborable initialization. Similarly the evaluation of an
+not have preelaborable initialization. Similarly, the evaluation of an
 @fa<extension_aggregate> with an ancestor @fa<subtype_mark> denoting a subtype
 of such a type.>
 
@@ -242,8 +242,8 @@
 @xbullet<The partial view of a private type or private extension, a protected
 type without @fa<entry_declaration>s, a generic formal private type, or a
 generic formal derived type, have preelaborable initialization if and only if
-the @fa<pragma> Preelaborable_Initialization has been applied to them. A
-task type or protected type with @fa<entry_declaration>s never have
+the @fa<pragma> Preelaborable_Initialization has been applied to them.
+A protected type with @fa<entry_declaration>s or a task type never has
 preelaborable initialization.>
 
 @xbullet<A component (including a discriminant) of a record or protected type

Questions? Ask the ACAA Technical Agent