CVS difference for ais/ai-00225.txt

Differences between 1.3 and version 1.4
Log of other versions for file 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
 !qualifier Clarification
@@ -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.
 
 !question
 
 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