Commit 4bde5d8c by Javier Miranda Committed by Pierre-Marie de Rodat

[Ada] Sem_Utils: make Has_Prefix public

2018-07-16  Javier Miranda  <miranda@adacore.com>

gcc/ada/

	* sem_util.ads, sem_util.adb (Has_Prefix): Move this function to the
	public part of this package.

From-SVN: r262702
parent ffafd2ab
2018-07-16 Javier Miranda <miranda@adacore.com>
* sem_util.ads, sem_util.adb (Has_Prefix): Move this function to the
public part of this package.
2018-07-16 Yannick Moy <moy@adacore.com>
* sem_res.adb (Resolve_Call): Do not inline calls inside
......
......@@ -5989,9 +5989,6 @@ package body Sem_Util is
Obj1 : Node_Id := A1;
Obj2 : Node_Id := A2;
function Has_Prefix (N : Node_Id) return Boolean;
-- Return True if N has attribute Prefix
function Is_Renaming (N : Node_Id) return Boolean;
-- Return true if N names a renaming entity
......@@ -6001,23 +5998,6 @@ package body Sem_Util is
-- renamed object_name contains references to variables or calls on
-- nonstatic functions; otherwise return True (RM 6.4.1(6.10/3))
----------------
-- Has_Prefix --
----------------
function Has_Prefix (N : Node_Id) return Boolean is
begin
return
Nkind_In (N,
N_Attribute_Reference,
N_Expanded_Name,
N_Explicit_Dereference,
N_Indexed_Component,
N_Reference,
N_Selected_Component,
N_Slice);
end Has_Prefix;
-----------------
-- Is_Renaming --
-----------------
......@@ -11548,6 +11528,23 @@ package body Sem_Util is
return Has_PE;
end Has_Preelaborable_Initialization;
----------------
-- Has_Prefix --
----------------
function Has_Prefix (N : Node_Id) return Boolean is
begin
return
Nkind_In (N,
N_Attribute_Reference,
N_Expanded_Name,
N_Explicit_Dereference,
N_Indexed_Component,
N_Reference,
N_Selected_Component,
N_Slice);
end Has_Prefix;
---------------------------
-- Has_Private_Component --
---------------------------
......
......@@ -1313,6 +1313,9 @@ package Sem_Util is
-- Return True iff type E has preelaborable initialization as defined in
-- Ada 2005 (see AI-161 for details of the definition of this attribute).
function Has_Prefix (N : Node_Id) return Boolean;
-- Return True if N has attribute Prefix
function Has_Private_Component (Type_Id : Entity_Id) return Boolean;
-- Check if a type has a (sub)component of a private type that has not
-- yet received a full declaration.
......
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