diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-07-22 15:33:16 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:47 +0000 |
| commit | 920e43ee2143c2dbe71d0117243ef53363396ee1 (patch) | |
| tree | 121191ea7281051ca8e3c336af9167a456e3ca51 /gcc/ada/sem_aux.ads | |
| parent | f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa (diff) | |
| download | gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.zip gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.tar.gz gcc-920e43ee2143c2dbe71d0117243ef53363396ee1.tar.bz2 | |
[Ada] Add Package_Body helper routine to be used in GNATprove
gcc/ada/
* sem_aux.adb, sem_aux.ads (Package_Body): Moved from GNATprove.
* sem_elab.adb (Spec_And_Body_From_Entity): Refine type of parameter.
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 810e2d8..3adaee4 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -377,6 +377,10 @@ package Sem_Aux is -- derived type, and the subtype is not an unconstrained array subtype -- (RM 3.3(23.10/3)). + function Package_Body (E : Entity_Id) return Node_Id; + -- Given an entity for a package, 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. |