diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-07-31 11:42:14 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-07-31 11:42:14 +0200 |
| commit | 393e63ce0f939555c88554d773f9798f07a2a898 (patch) | |
| tree | 8f1cc2f889404ce6ca9d074bcaef6bb8240d40af /gcc/ada/einfo.ads | |
| parent | 024238a2bf6ed3340ccd940d3298ccfa2e99b939 (diff) | |
| download | gcc-393e63ce0f939555c88554d773f9798f07a2a898.tar.gz | |
einfo.adb (Spec_PPC): Now defined for generic subprograms
2008-07-31 Robert Dewar <dewar@adacore.com>
* einfo.adb (Spec_PPC): Now defined for generic subprograms
* einfo.ads (Spec_PPC): Now defined for generic subprograms
* sem_prag.adb (Check_Precondition_Postcondition): Handle generic
subprogram case
From-SVN: r138370
Diffstat (limited to 'gcc/ada/einfo.ads')
| -rw-r--r-- | gcc/ada/einfo.ads | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads index 8316a68018a..c7182dbe04f 100644 --- a/gcc/ada/einfo.ads +++ b/gcc/ada/einfo.ads @@ -3527,10 +3527,11 @@ package Einfo is -- the corresponding parameter entities in the spec. -- Spec_PPC_List (Node24) --- Present in subprogram entities. Points to a list of Precondition --- and Postcondition N_Pragma nodes for preconditions and postconditions --- declared in the spec. The last pragma encountered is at the head of --- this list, so it is in reverse order of textual appearance. +-- Present in subprogram and generic subprogram entities. Points to a +-- list of Precondition and Postcondition pragma nodes for preconditions +-- and postconditions declared in the spec. The last pragma encountered +-- is at the head of this list, so it is in reverse order of textual +-- appearance. -- Storage_Size_Variable (Node15) [implementation base type only] -- Present in access types and task type entities. This flag is set @@ -5277,7 +5278,7 @@ package Einfo is -- Generic_Renamings (Elist23) (for instance) -- Inner_Instances (Elist23) (for generic proc) -- Protection_Object (Node23) (for concurrent kind) - -- Spec_PPC_List (Node24) (non-generic case only) + -- Spec_PPC_List (Node24) -- Interface_Alias (Node25) -- Static_Initialization (Node26) (init_proc only) -- Overridden_Operation (Node26) |