CVS difference for ais/ai-00235.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00235.txt

--- ais/ai-00235.txt	2001/09/08 01:42:48	1.9
+++ ais/ai-00235.txt	2001/09/13 01:16:21	1.10
@@ -1,4 +1,4 @@
-!standard 03.10.02  (02)                               01-09-07  AI95-00235/05
+!standard 03.10.02  (02)                               01-09-11  AI95-00235/05
 !class binding interpretation 00-05-31
 !status ARG Approved 8-0-2  00-11-19
 !status work item 00-05-09
@@ -47,9 +47,9 @@
     For an attribute_reference with attribute_designator Access (or
     Unchecked_Access -- see 13.10), the expected type shall be a single access
     type A such that:
-        A is an access to object type with designated type D and the type of
+        A is an access-to-object type with designated type D and the type of
          the prefix is D'Class or is covered by D, or
-        A is an access to subprogram type whose designated profile is type
+        A is an access-to-subprogram type whose designated profile is type
          conformant with that of the prefix.
     [The prefix of such an attribute_reference is never interpreted as an
     implicit_dereference or parameterless function_call (see 4.1.4).] The
@@ -76,8 +76,8 @@
      if Do_It (Value'Access) then ... -- Illegal by original RM rule.
 
 Code like this is common in interfacing packages, where an anonymous access
-type used to implement *p parameters in functions (because In Out parameters
-are not allowed there).
+type is used to implement *p parameters of C in functions (because in out
+parameters are not allowed there).
 
 To work around the problem caused by the original RM rule, a named access type
 has to be introduced, so that it can be used in a qualified expression:
@@ -115,9 +115,9 @@
 For an @fa<attribute_reference> with @fa<attribute_designator> Access (or
 Unchecked_Access -- see 13.10), the expected type shall be
 a single access type A such that:
-@xbullet<A is an access to object type with designated type D and the type of
+@xbullet<A is an access-to-object type with designated type D and the type of
 the @fa<prefix> is D'Class or is covered by D, or>
-@xbullet<A is an access to subprogram type whose designated profile is type
+@xbullet<A is an access-to-subprogram type whose designated profile is type
 conformant with that of the prefix.>
 The @fa<prefix> of such an @fa<attribute_reference> is never interpreted as an
 @fa<implicit_dereference> or parameterless @fa<function_call> (see 4.1.4).

Questions? Ask the ACAA Technical Agent