CVS difference for ais/ai-00423.txt

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

--- ais/ai-00423.txt	2005/04/02 02:09:49	1.2
+++ ais/ai-00423.txt	2005/04/05 00:45:35	1.3
@@ -1,4 +1,4 @@
-!standard 8.5.1(2)                                    05-03-31  AI95-00423/02
+!standard 8.5.1(2)                                    05-04-04  AI95-00423/03
 !standard 8.5.1(4)
 !standard 8.5.4(4)
 !standard 12.4(2)
@@ -71,7 +71,11 @@
 Add after 8.5.1(4):
 
 For an object_renaming_declaration with an access_definition that has a
-null_exclusion, the subtype of the object_name shall exclude null.
+null_exclusion, the subtype of the object_name shall exclude null. Furthermore,
+if the access_definition specifies an access-to-subprogram type, and a
+parameter or result type of its designated profile has a null_exclusion, the
+subtype of the corresponding parameter or result type of the designated profile
+of the object_name shall exclude null.
 
 Add after 8.5.4(4):
 
@@ -88,19 +92,22 @@
 
 Change 12.4(5) to read:
 
-For a generic formal object of mode in out, the type of the actual shall resolve
-to the type determined by the subtype_mark, or for a formal_object_declaration
-with an access_definition, to a specific anonymous access type which in the case
-of an access-to-object type shall have the same designated type as that of the
-access_definition and in the case of an access-to-subprogram type shall have a
-designated profile which is subtype conformant with that of the
-access_definition.
-
-Add at the end of the second sentence of 12.4(7):
-
-...is allowed; furthermore, for a formal_object_declaration with an
-access_definition that has a null_exclusion, the subtype of the actual shall
-exclude null.
+For a generic formal object of mode in out, the type of the actual shall
+resolve to the type determined by the subtype_mark, or for a
+formal_object_declaration with an access_definition, to a specific anonymous
+access type which in the case of an access-to-object type shall have the same
+designated type as that of the access_definition and in the case of an
+access-to-subprogram type shall have a designated profile which is type
+conformant with that of the access_definition.
+
+Add after 12.4(7):
+
+For a formal_object_declaration with an access_definition that has a
+null_exclusion, the subtype of the actual shall exclude null. Furthermore, if
+the access_definition specifies an access-to-subprogram type, and a parameter
+or result type of its designated profile has a null_exclusion, the subtype of
+the corresponding parameter or result type of the designated profile of the
+actual shall exclude null.
 
 Change 12.4(9) to read:
 

Questions? Ask the ACAA Technical Agent