CVS difference for ais/ai-00311.txt

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

--- ais/ai-00311.txt	2003/12/07 05:00:32	1.4
+++ ais/ai-00311.txt	2004/12/09 19:55:29	1.5
@@ -1,12 +1,14 @@
-!standard  4.9   (31)                                  03-09-10  AI95-00311/02
+!standard  4.9   (31)                                  04-12-02  AI95-00311/03
 !standard  4.9.1 (01)
 !class binding interpretation 02-09-26
+!status Amendment 200Y 04-12-02
+!status ARG Approved 9-0-1  04-11-21
 !status work item 02-09-26
 !status received 02-08-28
 !qualifier Omission
 !priority Low
 !difficulty Easy
-!subject Static matching of formal scalar subtypes
+!subject Static matching of scalar formal subtypes
 
 !summary
 
@@ -42,22 +44,22 @@
 
 Add after 4.9(31):
 
-In any case, the constraint of a generic formal type is neither static nor
-null.
+In any case, the constraint of the first subtype of a scalar formal type is
+neither static nor null.
 
 
 Replace 4.9.1(1) by:
 
 A constraint *statically matches* another constraint if:
 
-o  both are null constraints; or
+o  both are null constraints;
 o  both are static and have equal corresponding bounds or discriminant values;
-   or
-o  both are nonstatic and result from the same elaboration of a constraint of a
-   subtype_indication, the same evaluation of a range of a
-   discrete_subtype_definition, or the same declaration of a generic formal
-   subtype.
+o  both are nonstatic and result from the same elaboration of a constraint of
+   a subtype_indication or the same evaluation of a range of a
+   discrete_subtype_definition; or
+o  both are nonstatic and both come from the same formal_type_declaration.
 
+
 !discussion
 
 Intuitively, T1's constraint should be nonstatic by definition, since it is not
@@ -80,8 +82,8 @@
         end P1;
     end Pak1;
 
-That's because the constraints on S1 and T1 "result from the same declaration
-of a generic formal subtype".
+That's because the constraints on S1 and T1 "come from the same
+formal_type_declaration".
 
 !corrigendum 4.9(31)
 
@@ -89,8 +91,8 @@
 @xbullet<A discriminant constraint is static if each @fa<expression> of the
 constraint is static, and the subtype of each discriminant is static.>
 @dinst
-In any case, the constraint of a generic formal type is neither static nor
-null.
+In any case, the constraint of the first subtype of a scalar formal type is
+neither static nor null.
 
 !corrigendum 4.9.1(1)
 
@@ -102,13 +104,14 @@
 @fa<range> of a @fa<discrete_subtype_definition>.
 @dby
 A constraint @i<statically matches> another constraint if:
-@xbullet<both are null constraints; or>
+@xbullet<both are null constraints;>
 @xbullet<both are static and have equal corresponding bounds or discriminant
-values; or>
+values;>
 @xbullet<both are nonstatic and result from the same elaboration
-of a @fa<constraint> of a @fa<subtype_indication>, the same evaluation of a
-@fa<range> of a @fa<discrete_subtype_definition>, or the same declaration of
-a generic formal subtype.>
+of a @fa<constraint> of a @fa<subtype_indication> or the same evaluation of a
+@fa<range> of a @fa<discrete_subtype_definition>; or>
+@xbullet<both are nonstatic and both come from the same
+@fa<formal_type_declaration>.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent