CVS difference for ais/ai-00326.txt

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

--- ais/ai-00326.txt	2005/06/16 23:47:29	1.18
+++ ais/ai-00326.txt	2005/10/31 05:18:30	1.19
@@ -1,4 +1,4 @@
-!standard 03.02      (04)                            05-05-24  AI95-00326/10
+!standard 03.02      (04)                            05-09-20  AI95-00326/11
 !standard 03.02      (05)
 !standard 03.02.01   (08)
 !standard 03.07      (01)
@@ -184,7 +184,7 @@
       Class; such an attribute_reference is restricted to the uses allowed
       here; it denotes a tagged incomplete view.
 
-  If such a name occurs within the list of declarative_items containing
+  If such a name occurs within the declaration list containing
   the completion of the incomplete view, it may also be used:
 
     * as the subtype_mark defining the subtype of a parameter or result of
@@ -503,9 +503,9 @@
 !corrigendum 3.10.1(2)
 
 @drepl
-@xcode<@fa<incomplete_type_declaration ::= >@ft<@b<type>>@fa< defining_identifier [discriminant_part];>>
+@xcode<@fa<incomplete_type_declaration ::= >@ft<@b<type>> @fa<defining_identifier [discriminant_part];>>
 @dby
-@xcode<@fa<incomplete_type_declaration ::= >@ft<@b<type>>@fa< defining_identifier [discriminant_part] [>@ft<@b<is tagged>>@fa<];>>
+@xcode<@fa<incomplete_type_declaration ::= >@ft<@b<type>> @fa<defining_identifier [discriminant_part] [>@ft<@b<is tagged>>@fa<];>>
 
 @i<@s8<Static Semantics>>
 
@@ -585,7 +585,7 @@
 @fa<attribute_designator> is Class; such an @fa<attribute_reference> is
 restricted to the uses allowed here; it denotes a tagged incomplete view.>
 
-If such a @fa<name> occurs within the list of @fa<declarative_item>s containing
+If such a @fa<name> occurs within the declaration list containing
 the completion of the incomplete view, it may also be used:
 
 @xbullet<as the @fa<subtype_mark> defining the subtype of a parameter or result
@@ -654,12 +654,12 @@
 !corrigendum J.11(1)
 
 @dinsc
-For the first subtype S of a type T declared by an
+For the first subtype S of a type @i<T> declared by an
 @fa<incomplete_type_declaration> that is not tagged, the following attribute is
 defined:
 
 @xhang<@xterm<S'Class>Denotes the first subtype of the incomplete class-wide
-type rooted at T. The completion of T shall declare a tagged type. Such an
+type rooted at @i<T>. The completion of @i<T> shall declare a tagged type. Such an
 attribute reference shall occur in the same library unit as the
 @fa<incomplete_type_declaration>.
 

Questions? Ask the ACAA Technical Agent