diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 12:13:00 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-13 12:13:00 +0100 |
| commit | 82e5c2434e6709118bdf4499cdcbd5dc2c535368 (patch) | |
| tree | 2030dec0cbddd3c69d278b9de8fe974ade1856d2 /gcc/ada/scil_ll.ads | |
| parent | f8981f1984a0e66f165440ecbc72fd3a58075193 (diff) | |
| download | gcc-82e5c2434e6709118bdf4499cdcbd5dc2c535368.zip gcc-82e5c2434e6709118bdf4499cdcbd5dc2c535368.tar.gz gcc-82e5c2434e6709118bdf4499cdcbd5dc2c535368.tar.bz2 | |
[multiple changes]
2017-01-13 Gary Dismukes <dismukes@adacore.com>
* checks.adb: Minor typo fix and reformatting.
2017-01-13 Javier Miranda <miranda@adacore.com>
* contracts.adb (Contract_Only_Subprograms): Remove formal.
(Copy_Original_Specification): Removed.
(Skip_Contract_Only_Subprogram): Move here checks previously
located in the caller of this routine (to leave the code more clean).
(Build_Contract_Only_Subprogram): Code cleanup.
* scil_ll.ads, scil_ll.adb (Get_Contract_Only_Body_Name): Removed.
(Get_Contract_Only_Missing_Body_Name): Removed.
From-SVN: r244424
Diffstat (limited to 'gcc/ada/scil_ll.ads')
| -rw-r--r-- | gcc/ada/scil_ll.ads | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gcc/ada/scil_ll.ads b/gcc/ada/scil_ll.ads index bfac1a0..bebe0e7 100644 --- a/gcc/ada/scil_ll.ads +++ b/gcc/ada/scil_ll.ads @@ -32,17 +32,10 @@ -- This package extends the tree nodes with fields that are used to reference -- the SCIL node and the Contract_Only_Body of a subprogram with aspects. -with Namet; use Namet; with Types; use Types; package SCIL_LL is - function Get_Contract_Only_Body_Name (E : Entity_Id) return Name_Id; - -- Return the name of the Contract_Only_Body subprogram of E - - function Get_Contract_Only_Missing_Body_Name (E : Entity_Id) return Name_Id; - -- Return the name of the Contract_Only_Missing_Body subprogram of E - function Get_Contract_Only_Body (N : Node_Id) return Node_Id; -- Read the value of attribute Contract_Only_Body |