diff options
| author | Robert Dewar <dewar@adacore.com> | 2011-08-01 10:44:02 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-01 12:44:02 +0200 |
| commit | 857ade1b5ac9928145759c763059b7eda3d6739a (patch) | |
| tree | 106672282b2d1ec78b292aad6110667ebe817201 /gcc/final.c | |
| parent | bd949ee2a3d34419fd1ec4389a7c02174b21ed1d (diff) | |
| download | gcc-857ade1b5ac9928145759c763059b7eda3d6739a.zip gcc-857ade1b5ac9928145759c763059b7eda3d6739a.tar.gz gcc-857ade1b5ac9928145759c763059b7eda3d6739a.tar.bz2 | |
aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition.
2011-08-01 Robert Dewar <dewar@adacore.com>
* aspects.ads, aspects.adb: Add aspect Type_Invariant, Precondition,
Postcondition.
(Same_Aspect): New function.
* sem_ch13.adb (Analyze_Aspect_Specifications): Add aspect
Type_Invariant, Precondition, Postcondition.
* snames.ads-tmpl: Add Name_Type_Invariant.
From-SVN: r177011
Diffstat (limited to 'gcc/final.c')
0 files changed, 0 insertions, 0 deletions