CVS difference for ais/ai-00225.txt
--- ais/ai-00225.txt 2000/12/07 04:35:35 1.3
+++ ais/ai-00225.txt 2001/10/19 01:36:44 1.4
@@ -1,5 +1,6 @@
-!standard 3.10 (09) 99-12-09 AI95-00225/01
+!standard 3.10 (09) 01-10-17 AI95-00225/02
!class binding interpretation 99-12-09
+!status ARG approved 8-0-0 01-10-07
!status work item 99-12-09
!status received 99-12-09
@@ -11,13 +12,13 @@
The current instance of a type is aliased if:
The type is tagged and limited; or
- The type has the reserved word limited in its (full) definition.
+ The type has the reserved word limited in its full definition.
The attributes Access and Unchecked_Access are allowed only on aliased
objects, "including possibly the current instance of a limited type within
-it's definition", in the words of the standard.
+its definition", in the words of the standard.
But the standard never says where the type is limited. There are types that
can become nonlimited later in their immediate scope, because the full type
@@ -100,7 +101,7 @@
@b<aliased>, or by a renaming of an aliased view. In addition, the dereference
of an access-to-object value denotes an aliased view, as does a view conversion
(see 4.6) of an aliased view. A current instance of a limited tagged type, or
-a type that has the reserved word @b<limited> in its (full) definition is also
+a type that has the reserved word @b<limited> in its full definition is also
defined to be aliased. Finally, a formal parameter or generic formal object of
a tagged type is defined to be aliased. Aliased views are the ones that can be
designated by an access value. If the view defined by an @fa<object_declaration>
Questions? Ask the ACAA Technical Agent