CVS difference for ais/ai-00382.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00382.txt

--- ais/ai-00382.txt	2004/09/04 01:13:46	1.1
+++ ais/ai-00382.txt	2004/10/27 00:05:53	1.2
@@ -1,4 +1,4 @@
-!standard 8.6(17)                                    04-08-27  AI95-00382/01
+!standard 8.6(17)                                    04-10-12  AI95-00382/02
 !class amendment 04-08-27
 !status work item 04-08-27
 !status received 04-08-27
@@ -68,18 +68,25 @@
 
 Replace 8.6(17) by:
 
-If a usage name appears within the declarative region of a type_declaration,
-denotes that same type_declaration, but is not the subtype_mark of an
-access_definition for a general access type, then it denotes the current
-instance of the type (rather than the type itself). The current instance of a
-type is the object or value of the type that is associated with the execution
-that evaluates the usage name.
+If a usage name appears within the declarative region of a type_declaration and
+denotes that same type_declaration, then it denotes the current instance of the
+type (rather than the type itself); the current instance of a type is the object
+or value of the type that is associated with the execution that evaluates the
+usage name. This rule does not apply if the usage name appears within the
+subtype_mark of an access_definition for an access-to-object type, or of a
+parameter of an access-to-subprogram type.
+
+AARM NOTE: The phrase "within the subtype_mark" is intended to cover a case like
+"access T'Class" appearing within the declarative region of T: here T denotes
+the type, not the current instance.
 
 !discussion
 
 See proposal.
 
 !example
+
+--!corrigendum
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent