diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:42:26 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:42:26 +0200 |
| commit | b68cf874f69d47c08479f4b0e7bcd1d55d65d06b (patch) | |
| tree | 1f417d3b2712348bd8f2b06a57f72d67dd16d7d5 /gcc/ada/sem_aux.ads | |
| parent | ff1bedacc81800f47632971f6474e4e2f9cfb86f (diff) | |
| download | gcc-b68cf874f69d47c08479f4b0e7bcd1d55d65d06b.zip gcc-b68cf874f69d47c08479f4b0e7bcd1d55d65d06b.tar.gz gcc-b68cf874f69d47c08479f4b0e7bcd1d55d65d06b.tar.bz2 | |
[multiple changes]
2015-05-26 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, sem_aux.adb, sem_aux.ads, exp_ch6.adb, sprint.adb:
Minor reformatting.
2015-05-26 Gary Dismukes <dismukes@adacore.com>
* gnat1drv.adb, targparm.adb, targparm.ads, restrict.adb: Minor
reformatting and typo fixes in comments.
2015-05-26 Ed Schonberg <schonberg@adacore.com>
* sem_ch7.adb (Swap_Private_Dependets): Set visibility of
the two views of a private dependent in two separate steps,
to ensure proper visibility in parent units analyzed for inlining.
From-SVN: r223682
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 a3e5e65..e5e8145 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -306,6 +306,14 @@ package Sem_Aux is -- Ent is any entity. Returns True if Ent is a type entity where the type -- is required to be passed by reference, as defined in (RM 6.2(4-9)). + function Is_Definite_Subtype (T : Entity_Id) return Boolean; + -- T is a type entity. Returns True if T is a definite subtype. + -- Indefinite subtypes are unconstrained arrays, unconstrained + -- discriminated types without defaulted discriminants, class-wide types, + -- and types with unknown discriminants. Definite subtypes are all others + -- (elementary, constrained composites (including the case of records + -- without discriminants), and types with defaulted discriminants). + function Is_Derived_Type (Ent : Entity_Id) return Boolean; -- Determines if the given entity Ent is a derived type. Result is always -- false if argument is not a type. @@ -315,14 +323,6 @@ 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_Definite_Subtype (T : Entity_Id) return Boolean; - -- T is a type entity. Returns True if T is a definite subtype. - -- Indefinite subtypes are unconstrained arrays, unconstrained - -- discriminated types without defaulted discriminants, class-wide types, - -- and types with unknown discriminants. Definite subtypes are all others - -- (elementary, constrained composites (including the case of records - -- without discriminants), and types with defaulted discriminants). - 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 |