CVS difference for ais/ai-00225.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00225.txt

--- ais/ai-00225.txt	2002/05/25 03:42:18	1.5
+++ ais/ai-00225.txt	2002/06/11 05:15:45	1.6
@@ -1,4 +1,4 @@
-!standard 3.10     (09)                              02-05-14  AI95-00225/03
+!standard 3.10     (09)                              02-06-07  AI95-00225/04
 !class binding interpretation 99-12-09
 !status Amendment 200Y 02-05-14
 !status ARG Approved 8-0-0  01-10-07
@@ -11,7 +11,7 @@
 
 !summary
 
-The current instance of a type is aliased if and only:
+The current instance of a type is aliased if and only if:
    The type is tagged and limited; or
    The type has the reserved word limited in its full definition.
 
@@ -101,16 +101,17 @@
 @fa<object_declaration> or @fa<component_definition> with the reserved word
 @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
-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>
-is aliased, and the type of the object has discriminants, then the object is
-constrained; if its nominal subtype is unconstrained, then the object is
-constrained by its initial value. Similarly, if the object created by an
-@fa<allocator> has discriminants, the object is constrained, either by the
-designated subtype, or by its initial value.
+(see 4.6) of an aliased view. A current instance of a limited tagged type, a
+protected type, a task type, or 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> is aliased, and the type of the
+object has discriminants, then the object is constrained; if its nominal
+subtype is unconstrained, then the object is constrained by its initial value.
+Similarly, if the object created by an @fa<allocator> has discriminants, the
+object is constrained, either by the designated subtype, or by its initial
+value.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent