CVS difference for ais/ai-00363.txt
--- ais/ai-00363.txt 2004/11/25 00:03:43 1.8
+++ ais/ai-00363.txt 2004/12/09 19:55:36 1.9
@@ -1,4 +1,4 @@
-!standard 03.03.1(9) 04-11-07 AI95-00363/05
+!standard 03.03.1(9) 04-12-05 AI95-00363/06
!standard 03.06(11)
!standard 03.07.01(7/1)
!standard 03.10(9)
@@ -132,10 +132,10 @@
[part 2] Replace last part of 3.10.2(27) with:
... if D is untagged, then the type of the view shall be D, and either:
- - A's designated subtype shall statically match the nominal subtype
+ - the designated subtype of A shall statically match the nominal subtype
of the view; or
- D shall be discriminated in its full view and unconstrained in any
- partial view, and A's designated subtype shall be unconstrained.
+ partial view, and the designated subtype of A shall be unconstrained.
[part 1, relaxing AI-168] Replace 4.6(12.1/1) with:
@@ -403,10 +403,10 @@
tagged, then the type of the view shall be either @i<D>'Class or a type
covered by @i<D>; if @i<D> is untagged, then the type of the view shall be
@i<D>, and either:>
-@xi2bull<@i<A>'s designated subtype shall statically match the nominal subtype
-of the view; or>
+@xi2bull<the designated subtype of @i<A> shall statically match the nominal
+subtype of the view; or>
@xi2bull<@i<D> shall be discriminated in its full view and unconstrained in any
-partial view, and A's designated subtype shall be unconstrained.>
+partial view, and the designated subtype of @i<A> shall be unconstrained.>
!corrigendum 4.06(12.1/1)
Questions? Ask the ACAA Technical Agent