projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd949ee) | patch
aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition.
authorRobert Dewar <dewar@adacore.com>
Mon, 1 Aug 2011 10:44:02 +0000 (10:44 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 1 Aug 2011 10:44:02 +0000 (12:44 +0200)
commit857ade1b5ac9928145759c763059b7eda3d6739a
tree106672282b2d1ec78b292aad6110667ebe817201tree
parentbd949ee2a3d34419fd1ec4389a7c02174b21ed1dcommit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/aspects.adb diff | blob | history
gcc/ada/aspects.ads diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history