diff options
| author | Yannick Moy <moy@adacore.com> | 2023-10-16 12:24:46 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-07 10:15:04 +0100 |
| commit | 36fcb4b93003d9eb135564d3eb0d07f27a3e2c47 (patch) | |
| tree | f81291ebf4ba597c2ef6919f8e508f899dfed52a /gcc/ada/sem_aux.ads | |
| parent | 76bf4321331b1d453555602407029344e1e1ee4a (diff) | |
| download | gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.zip gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.tar.gz gcc-36fcb4b93003d9eb135564d3eb0d07f27a3e2c47.tar.bz2 | |
ada: Rename Is_Limited_View to reflect actual query
Function Sem_Aux.Is_Limited_View returns whether the type is
"inherently limited" in a slightly different way from the "immutably
limited" definition in Ada 2012. Rename for clarity.
gcc/ada/
* exp_aggr.adb: Apply the renaming.
* exp_ch3.adb: Same.
* exp_ch4.adb: Same.
* exp_ch6.adb: Same.
* exp_ch7.adb: Same.
* exp_util.adb: Same.
* freeze.adb: Same.
* sem_aggr.adb: Same.
* sem_attr.adb: Same.
* sem_aux.adb: Alphabetize Is_Limited_Type. Rename.
* sem_aux.ads: Same.
* sem_ch3.adb: Apply the renaming.
* sem_ch6.adb: Same.
* sem_ch8.adb: Same.
* sem_prag.adb: Same.
* sem_res.adb: Same.
* sem_util.adb: Same.
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index a490fd3..5447fa8 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -311,13 +311,20 @@ package Sem_Aux is -- used to set the visibility of generic formals of a generic package -- declared with a box or with partial parameterization. + function Is_Limited_Type (Ent : Entity_Id) return Boolean; + -- Ent is any entity. Returns true if Ent is a limited type (limited + -- private type, limited interface type, task type, protected type, + -- composite containing a limited component, or a subtype of any of + -- these types). This older routine overlaps with the next ones, this + -- should be cleaned up??? + function Is_Immutably_Limited_Type (Ent : Entity_Id) return Boolean; -- Implements definition in Ada 2012 RM-7.5 (8.1/3). This differs from the -- following predicate in that an untagged record with immutably limited -- components is NOT by itself immutably limited. This matters, e.g. when -- checking the legality of an access to the current instance. - function Is_Limited_View (Ent : Entity_Id) return Boolean; + function Is_Inherently_Limited_Type (Ent : Entity_Id) return Boolean; -- Ent is any entity. True for a type that is "inherently" limited (i.e. -- cannot become nonlimited). From the Ada 2005 RM-7.5(8.1/2), "a type with -- a part that is of a task, protected, or explicitly limited record type". @@ -327,13 +334,6 @@ package Sem_Aux is -- for other types, too. This is also used for identifying pure procedures -- whose calls should not be eliminated (RM 10.2.1(18/2)). - function Is_Limited_Type (Ent : Entity_Id) return Boolean; - -- Ent is any entity. Returns true if Ent is a limited type (limited - -- private type, limited interface type, task type, protected type, - -- composite containing a limited component, or a subtype of any of - -- these types). This older routine overlaps with the previous one, this - -- should be cleaned up??? - function Nearest_Ancestor (Typ : Entity_Id) return Entity_Id; -- Given a subtype Typ, this function finds out the nearest ancestor from -- which constraints and predicates are inherited. There is no simple link |