sem_util.ads, [...] (Full_Qualified_Name): Now provides decoded names.

2005-12-05  Robert Dewar  <dewar@adacore.com>

	* sem_util.ads, sem_util.adb (Full_Qualified_Name): Now provides
	decoded names.

From-SVN: r108306
This commit is contained in:
Robert Dewar 2005-12-09 18:21:59 +01:00 committed by Arnaud Charlet
parent 509a321954
commit 195b0505b2
2 changed files with 22 additions and 22 deletions

View file

@ -2201,8 +2201,7 @@ package body Sem_Util is
Ent := Defining_Identifier (Ent);
end if;
-- Compute recursively the qualification. Only "Standard" has no
-- scope.
-- Compute qualification recursively (only "Standard" has no scope)
if Present (Scope (Scope (Ent))) then
Parent_Name := Internal_Full_Qualified_Name (Scope (Ent));
@ -2227,7 +2226,7 @@ package body Sem_Util is
-- Generates the entity name in upper case
Get_Name_String (Chars (Ent));
Get_Decoded_Name_String (Chars (Ent));
Set_All_Upper_Case;
Store_String_Chars (Name_Buffer (1 .. Name_Len));
return End_String;
@ -5235,26 +5234,26 @@ package body Sem_Util is
-- Normalize_Actuals --
-----------------------
-- Chain actuals according to formals of subprogram. If there are
-- no named associations, the chain is simply the list of Parameter
-- Associations, since the order is the same as the declaration order.
-- If there are named associations, then the First_Named_Actual field
-- in the N_Procedure_Call_Statement node or N_Function_Call node
-- points to the Parameter_Association node for the parameter that
-- comes first in declaration order. The remaining named parameters
-- are then chained in declaration order using Next_Named_Actual.
-- Chain actuals according to formals of subprogram. If there are no named
-- associations, the chain is simply the list of Parameter Associations,
-- since the order is the same as the declaration order. If there are named
-- associations, then the First_Named_Actual field in the N_Function_Call
-- or N_Procedure_Call_Statement node points to the Parameter_Association
-- node for the parameter that comes first in declaration order. The
-- remaining named parameters are then chained in declaration order using
-- Next_Named_Actual.
-- This routine also verifies that the number of actuals is compatible
-- with the number and default values of formals, but performs no type
-- checking (type checking is done by the caller).
-- This routine also verifies that the number of actuals is compatible with
-- the number and default values of formals, but performs no type checking
-- (type checking is done by the caller).
-- If the matching succeeds, Success is set to True, and the caller
-- proceeds with type-checking. If the match is unsuccessful, then
-- Success is set to False, and the caller attempts a different
-- interpretation, if there is one.
-- If the matching succeeds, Success is set to True and the caller proceeds
-- with type-checking. If the match is unsuccessful, then Success is set to
-- False, and the caller attempts a different interpretation, if there is
-- one.
-- If the flag Report is on, the call is not overloaded, and a failure
-- to match can be reported here, rather than in the caller.
-- If the flag Report is on, the call is not overloaded, and a failure to
-- match can be reported here, rather than in the caller.
procedure Normalize_Actuals
(N : Node_Id;
@ -5488,7 +5487,7 @@ package body Sem_Util is
Next_Formal (Formal);
end loop;
if Formals_To_Match = 0 and then Actuals_To_Match = 0 then
if Formals_To_Match = 0 and then Actuals_To_Match = 0 then
Success := True;
return;

View file

@ -251,7 +251,8 @@ package Sem_Util is
function Full_Qualified_Name (E : Entity_Id) return String_Id;
-- Generates the string literal corresponding to the E's full qualified
-- name in upper case. An ASCII.NUL is appended as the last character
-- name in upper case. An ASCII.NUL is appended as the last character.
-- The names in the string are generated by Namet.Get_Decoded_Name_String.
function Find_Static_Alternative (N : Node_Id) return Node_Id;
-- N is a case statement whose expression is a compile-time value.