CVS difference for ai05s/ai05-0183-1.txt
--- ai05s/ai05-0183-1.txt 2011/04/22 02:26:00 1.26
+++ ai05s/ai05-0183-1.txt 2011/04/30 07:28:36 1.27
@@ -528,7 +528,7 @@
first subtype denotes the current instance of the type (see 8.6). If
the associated declaration is a subtype_declaration, within the
aspect_definition the name of the new subtype denotes the current
- instance of the (sub)type.
+ instance of the subtype.
Legality Rules
@@ -1357,14 +1357,14 @@
end of the immediately enclosing declaration list.
If the associated declaration is for a subprogram or entry, the names of the
-formal parameters are visible within the @fa<aspect_definition>, as are certain
+formal parameters are directly visible within the @fa<aspect_definition>, as are certain
attributes, as specified elsewhere in this International Standard for the
identified aspect. If the associated declaration is a @fa<type_declaration>, within
-the @fa<aspect_definition> the names of any components are visible, and the name of
-the first subtype denotes the current instance of the type (see 8.6). If the
+the @fa<aspect_definition> the names of any components are directly visible, and the
+name of the first subtype denotes the current instance of the type (see 8.6). If the
associated declaration is a @fa<subtype_declaration>, within the
@fa<aspect_definition> the name of the new subtype denotes the current instance
-of the (sub)type.
+of the subtype.
@i<@s8<Legality Rules>>
Questions? Ask the ACAA Technical Agent