CVS difference for ais/ai-00326.txt
--- ais/ai-00326.txt 2004/06/25 01:30:45 1.12
+++ ais/ai-00326.txt 2004/11/14 06:37:13 1.13
@@ -1,4 +1,4 @@
-!standard 03.02 (04) 04-05-25 AI95-00326/07
+!standard 03.02 (04) 04-11-12 AI95-00326/08
!standard 03.02 (05)
!standard 03.07 (01)
!standard 03.10.01 (02)
@@ -194,10 +194,10 @@
with P.C;
package body P is
- -- Ptr.all is not legal here, but it is in the scope of a nonlimited
- -- with_clause for P.
+ -- Ptr.all'Size is not legal here, but it is in the scope of a
+ -- nonlimited_with_clause for P.
type T is ...
- -- Ptr.all is legal here.
+ -- Ptr.all'Size is legal here.
end P;
AI-217 Note: The above rules come from AI-217-6. Note that here we say that
@@ -575,13 +575,13 @@
includes the reserved word @b<tagged>, it declares a @i<tagged incomplete view>.
An incomplete view of a type is a limited view of the type (see 7.5).
-Given an access type A whose designated type T is an incomplete view,
-a dereference of a value of type A also has this incomplete view
+Given an access type @i<A> whose designated type @i<T> is an incomplete view,
+a dereference of a value of type @i<A> also has this incomplete view
except when:
-@xbullet<it occurs in the immediate scope of the completion of T, or>
+@xbullet<it occurs in the immediate scope of the completion of @i<T>, or>
@xbullet<it occurs in the scope of a @fa<nonlimited_with_clause> that mentions
-a library package in whose visible part the completion of T is declared.>
-In these cases, the dereference has the full view of T.
+a library package in whose visible part the completion of @i<T> is declared.>
+In these cases, the dereference has the full view of @i<T>.
!corrigendum 10.1.1(12)
Questions? Ask the ACAA Technical Agent