OSDN Git Service

(root) / pf3gnuchains / gcc-fork.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb7f2fc) | patch
2011-08-01 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Aug 2011 10:44:02 +0000 (10:44 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Aug 2011 10:44:02 +0000 (10:44 +0000)
commit77ae6789425a74651b121baa5516521ea785608e
tree106672282b2d1ec78b292aad6110667ebe817201tree | snapshot
parentfb7f2fc4bda9aac8a1e23734b21a5e5bec9fc53dcommit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177011 138bc75d-0d04-0410-961f-82ee72b054a4
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
About OSDN
Find Software
Develop Software
Help