CVS difference for ais/ai-00199.txt
--- ais/ai-00199.txt 1999/03/30 00:33:14 1.2
+++ ais/ai-00199.txt 1999/04/15 16:54:19 1.3
@@ -1,5 +1,6 @@
-!standard 13.09 (03) 99-03-23 AI95-00199/02
+!standard 13.09 (03) 99-04-15 AI95-00199/03
!class binding interpretation 98-03-27
+!status ARG approved (with editorial changes) 8-0-2 99-03-25
!status work item 98-04-02
!status received 98-03-27
@@ -9,13 +10,19 @@
-Program unit pragmas that are not library-unit pragmas, when
-applied to a generic unit, apply to its instances. This represents
-a partial reversal of AI-00041.
+The following Implementation Advice is added:
+ Program unit pragmas that are not library-unit pragmas, when
+ supported for a generic unit, should apply to all instances of the
+ generic for which there is not an overriding pragma applied directly
+ to the instance.
+This represents a partial reversal of AI-00041.
-Does pragma convention for a generic unit apply to instances? (Yes.)
+Does pragma convention for a generic unit apply to
+instances? (Yes, if supported.)
@@ -52,9 +59,9 @@
pragmas (subject to the usual recommendations about "good taste"
-Although a program unit pragma on a generic is "inherited"
-by its instances, it may be overridden by a pragma applied
-directly to the generic. This is analogous to the rule
+Although a program unit pragma on a generic should generally be
+"inherited" by its instances, it might be overridden by a pragma applied
+directly to the instance. This is analogous to the rule
for inheriting representation items by a derived type from
its parent type. The inherited specification may be overridden
by a direct specification on the derived type itself.
@@ -80,7 +87,7 @@
on generics, it seems that the natural interpretation is for
the pragmas to be inherited by all instances.
-Even though we propose that non-library unit program unit pragmas be
+Even though we propose that non-library unit program unit pragmas should be
inherited by instances, we still want to allow overriding of
such a pragma with one applied directly to the instance.
Hence, even if a convention is specified on a generic,
Questions? Ask the ACAA Technical Agent