Commit 95edbf5e by Arnaud Charlet

Minor reformatting.

From-SVN: r251769
parent e9238cc1
...@@ -1597,8 +1597,8 @@ package body Exp_Attr is ...@@ -1597,8 +1597,8 @@ package body Exp_Attr is
procedure Rewrite_Object_Reference_Image procedure Rewrite_Object_Reference_Image
(Name : Name_Id; (Name : Name_Id;
Str_Typ : Entity_Id); Str_Typ : Entity_Id);
-- Rewrite an 'Image attribute applied to an object reference for -- Rewrite an Image attribute applied to an object reference for
-- AI12-0012401 into an attribute applied to a type. -- AI12-00124 into an attribute applied to a type.
procedure Rewrite_Stream_Proc_Call (Pname : Entity_Id); procedure Rewrite_Stream_Proc_Call (Pname : Entity_Id);
-- Rewrites a stream attribute for Read, Write or Output with the -- Rewrites a stream attribute for Read, Write or Output with the
......
...@@ -364,7 +364,7 @@ package body Sem_Attr is ...@@ -364,7 +364,7 @@ package body Sem_Attr is
-- Check that P is an object reference -- Check that P is an object reference
procedure Check_Object_Reference_Image (Str_Typ : Entity_Id); 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; procedure Check_PolyORB_Attribute;
-- Validity checking for PolyORB/DSA attribute -- Validity checking for PolyORB/DSA attribute
......
...@@ -1602,13 +1602,13 @@ package Sem_Util is ...@@ -1602,13 +1602,13 @@ package Sem_Util is
(Prefix : Node_Id; (Prefix : Node_Id;
P_Typ : Entity_Id) return Boolean; P_Typ : Entity_Id) return Boolean;
-- Returns true if an 'Image, 'Wide_Image, or 'Wide_Wide_Image attribute -- 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 -- AI12-00124: The ARG has adopted the GNAT semantics of 'Img for scalar
-- scalar types, so that the prefix can be an object and not a type, -- types, so that the prefix can be an object and not a type, and there is
-- and there is no need for an argument. Given the vote of confidence -- no need for an argument. Given the vote of confidence from the ARG,
-- from the ARG, simplest is to transform this new usage of 'Image -- simplest is to transform this new usage of 'Image into a reference to
-- into a reference to 'Img. -- 'Img.
function Is_Inherited_Operation (E : Entity_Id) return Boolean; function Is_Inherited_Operation (E : Entity_Id) return Boolean;
-- E is a subprogram. Return True is E is an implicit operation inherited -- E is a subprogram. Return True is E is an implicit operation inherited
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment