diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:42:27 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-11-18 11:42:27 +0100 |
| commit | c0dd5b3822bf4a714220f90b2dd78e9dc45a2b9d (patch) | |
| tree | c2decae2b7e44ca976315b45989af0ed50a245b0 /gcc/ada/contracts.ads | |
| parent | a25e72b5e59ccdd5351b89dbb5c8b823fb82846d (diff) | |
| download | gcc-c0dd5b3822bf4a714220f90b2dd78e9dc45a2b9d.zip gcc-c0dd5b3822bf4a714220f90b2dd78e9dc45a2b9d.tar.gz gcc-c0dd5b3822bf4a714220f90b2dd78e9dc45a2b9d.tar.bz2 | |
[multiple changes]
2015-11-18 Hristian Kirtchev <kirtchev@adacore.com>
* contracts.adb (Add_Contract_Item): Chain pragmas Attach_Handler
and Interrupt_Handler on the classifications list of a [generic]
procedure N_Contract node.
* contracts.ads (Add_Contract_Item): Update the comment on usage.
* einfo.adb (Get_Pragma): Pragmas Attach_Handler and
Interrupt_Handler are found on the classifications list of
N_Contract nodes.
* einfo.ads (Get_Pragma): Update the comment on usage.
* sem_prag.adb (Process_Interrupt_Or_Attach_Handler): Code
reformatting. Store the pragma as a contract item.
2015-11-18 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Available_Subtype): Use only in GNATprove
mode. When generating code it may be necessary to create itypes
at the point of use of a selected component, for example in the
expansion of a record equality operation.
2015-11-18 Vincent Celier <celier@adacore.com>
* s-os_lib.adb (Normalize_Pathname.Get_Directory): When
invoking Normalize_Pathname, use the same values for parameters
Resolve_Links and Case_Sensitive as the parent Normalize_Pathname.
2015-11-18 Vincent Celier <celier@adacore.com>
* a-direct.adb (Containing_Directory): Return "." when the result
is the current directory, not specified as an absolute path name.
From-SVN: r230536
Diffstat (limited to 'gcc/ada/contracts.ads')
| -rw-r--r-- | gcc/ada/contracts.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/contracts.ads b/gcc/ada/contracts.ads index 21c609d..ee231fc 100644 --- a/gcc/ada/contracts.ads +++ b/gcc/ada/contracts.ads @@ -38,6 +38,7 @@ package Contracts is -- Abstract_State -- Async_Readers -- Async_Writers + -- Attach_Handler -- Constant_After_Elaboration -- Contract_Cases -- Depends @@ -47,6 +48,7 @@ package Contracts is -- Global -- Initial_Condition -- Initializes + -- Interrupt_Handler -- Part_Of -- Postcondition -- Precondition |