diff options
| author | Yannick Moy <moy@adacore.com> | 2015-05-26 10:40:39 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-05-26 12:40:39 +0200 |
| commit | ff1bedacc81800f47632971f6474e4e2f9cfb86f (patch) | |
| tree | 9d0ab815b938ed6c388a8cde4df608b031e40d33 /gcc/ada/sem_aux.ads | |
| parent | a7b3792787e6c527360c4c12a3bd01821ff30e0d (diff) | |
| download | gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.zip gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.tar.gz gcc-ff1bedacc81800f47632971f6474e4e2f9cfb86f.tar.bz2 | |
sem_aux.adb, [...] (Get_Low_Bound): Use Type_Low_Bound.
2015-05-26 Yannick Moy <moy@adacore.com>
* sem_aux.adb, sem_aux.ads (Get_Low_Bound): Use Type_Low_Bound.
(Package_Body, Package_Spec): New queries moved
here from GNATprove.
(Package_Specification): Simplify query to remove use of loop.
* sem_util.adb, sem_util.ads (Enclosing_Declaration,
Enclosing_Package_Or_Subprogram, Is_Attribute_Update): New
queries moved here from GNATprove.
From-SVN: r223681
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 0120cc6..a3e5e65 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -390,10 +390,17 @@ package Sem_Aux is -- derived type, and the subtype is not an unconstrained array subtype -- (RM 3.3(23.10/3)). - function Package_Specification (Pack_Id : Entity_Id) return Node_Id; - -- Given an entity for a package or generic package, return corresponding - -- package specification. Simplifies handling of child units, and better - -- than the old idiom: Specification (Unit_Declaration_Node (Pack_Id)). + function Package_Body (E : Entity_Id) return Node_Id; + -- Given an entity for a package (spec or body), return the corresponding + -- package body if any, or else Empty. + + function Package_Spec (E : Entity_Id) return Node_Id; + -- Given an entity for a package spec, return the corresponding package + -- spec if any, or else Empty. + + function Package_Specification (E : Entity_Id) return Node_Id; + -- Given an entity for a package, return the corresponding package + -- specification. function Subprogram_Body (E : Entity_Id) return Node_Id; -- Given an entity for a subprogram (spec or body), return the |