CVS difference for ais/ai-00317.txt

Differences between 1.16 and version 1.17
Log of other versions for file ais/ai-00317.txt

--- ais/ai-00317.txt	2005/06/16 23:47:28	1.16
+++ ais/ai-00317.txt	2005/08/21 06:00:28	1.17
@@ -1,5 +1,6 @@
-!standard  12.07 (03)                                  04-11-09  AI95-00317/10
+!standard  12.07 (03)                                  05-08-09  AI95-00317/11
 !standard  12.07 (05)
+!standard  12.07 (06)
 !standard  12.07 (10)
 !class amendment
 !status Amendment 200Y 04-06-29
@@ -97,18 +98,20 @@
   formal_package_actual_part is (<>) or (OTHERS => <>), then the actual
   may be any instance of the template; otherwise, certain of the actual
   parameters of the actual instance shall match the corresponding actual
-  parameter of the formal package, determined as follows:
+  parameters of the formal package, determined as follows:
 
      * If the formal_package_actual_part includes generic_associations
        as well as associations with <>, then only the actual parameters
        specified explicitly with generic_associations are required to match;
 
-     * Otherwise, all actual parameters shall match, whether the actual
+     * Otherwise, all actual parameters shall match, whether any actual
        parameter is given explicitly or by default.
 
   The rules for matching of actual parameters between the actual instance
   and the formal package are as follows:
 
+Add a comma in 12.7(6) after "mode in".
+
 Replace 12.7(10) with the following:
 
   The visible part of a formal package includes the first list of
@@ -350,18 +353,30 @@
 @fa<formal_package_actual_part> is (<@>) or (@b<others> =@> <@>), then the
 actual may be any instance of the template; otherwise, certain of the actual
 parameters of the actual instance shall match the corresponding actual
-parameter of the formal package, determined as follows:
+parameters of the formal package, determined as follows:
 
 @xbullet<If the @fa<formal_package_actual_part> includes
 @fa<generic_association>s as well as associations with <@>, then only the
 actual parameters specified explicitly with @fa<generic_association>s are
 required to match;>
 
-@xbullet<Otherwise, all actual parameters shall match, whether the actual
+@xbullet<Otherwise, all actual parameters shall match, whether any actual
 parameter is given explicitly or by default.>
 
 The rules for matching of actual parameters between the actual instance
 and the formal package are as follows:
+
+!corrigendum 12.7(6)
+
+@drepl
+@xbullet<For a formal object of mode @b<in> the actuals match if they are
+static expressions with the same value, or if they statically denote the same
+constant, or if they are both the literal @b<null>.>
+@dby
+@xbullet<For a formal object of mode @b<in>, the actuals match if they are
+static expressions with the same value, or if they statically denote the same
+constant, or if they are both the literal @b<null>.>
+
 
 !corrigendum 12.7(10)
 

Questions? Ask the ACAA Technical Agent