procedure Rewrite_Object_Reference_Image
(Name : Name_Id;
Str_Typ : Entity_Id);
- -- Rewrite an 'Image attribute applied to an object reference for
- -- AI12-0012401 into an attribute applied to a type.
+ -- Rewrite an Image attribute applied to an object reference for
+ -- AI12-00124 into an attribute applied to a type.
procedure Rewrite_Stream_Proc_Call (Pname : Entity_Id);
-- Rewrites a stream attribute for Read, Write or Output with the
-- Check that P is an object reference
procedure Check_Object_Reference_Image (Str_Typ : Entity_Id);
- -- Verify that the prefix of an image attribute....
+ -- Verify that the prefix of an image attribute.... ???
procedure Check_PolyORB_Attribute;
-- Validity checking for PolyORB/DSA attribute
(Prefix : Node_Id;
P_Typ : Entity_Id) return Boolean;
-- Returns true if an 'Image, 'Wide_Image, or 'Wide_Wide_Image attribute
- -- can be applied to a given object-reference prefix (see AI12-00124-1).
+ -- can be applied to a given object-reference prefix (see AI12-00124).
- -- AI12-00124-1 : The ARG has adopted the GNAT semantics of 'Img for
- -- scalar types, so that the prefix can be an object and not a type,
- -- and there is no need for an argument. Given the vote of confidence
- -- from the ARG, simplest is to transform this new usage of 'Image
- -- into a reference to 'Img.
+ -- AI12-00124: The ARG has adopted the GNAT semantics of 'Img for scalar
+ -- types, so that the prefix can be an object and not a type, and there is
+ -- no need for an argument. Given the vote of confidence from the ARG,
+ -- simplest is to transform this new usage of 'Image into a reference to
+ -- 'Img.
function Is_Inherited_Operation (E : Entity_Id) return Boolean;
-- E is a subprogram. Return True is E is an implicit operation inherited