diff options
| author | Javier Miranda <miranda@adacore.com> | 2018-07-16 14:10:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:10:03 +0000 |
| commit | 4bde5d8c904df3ab4541e1df47c3916c97135124 (patch) | |
| tree | 8336898f82c97596b08d0028c61429de2075d114 | |
| parent | ffafd2ab077af58be0b66636c0db18f70d412f8a (diff) | |
| download | gcc-4bde5d8c904df3ab4541e1df47c3916c97135124.zip gcc-4bde5d8c904df3ab4541e1df47c3916c97135124.tar.gz gcc-4bde5d8c904df3ab4541e1df47c3916c97135124.tar.bz2 | |
[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
| -rw-r--r-- | gcc/ada/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/ada/sem_util.adb | 37 | ||||
| -rw-r--r-- | gcc/ada/sem_util.ads | 3 |
3 files changed, 25 insertions, 20 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 9b66735..bcf2262 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +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 diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 70c02da..59687f5 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -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 -- --------------------------- diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index a0b95fa..9bff3ba 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -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. |