diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 12:39:11 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-14 12:39:11 +0000 |
| commit | 5ee51eeac7255b7b873f577c78e02898fa04fffb (patch) | |
| tree | da081ec5a38918f14c64cc38c982a32170e93c1d /libjava/classpath/gnu/java/beans/decoder/AbstractObjectContext.java | |
| parent | 44624b501b35f87e0b7cdf3ff5bfa2b5ca164106 (diff) | |
| download | ppe42-gcc-5ee51eeac7255b7b873f577c78e02898fa04fffb.tar.gz ppe42-gcc-5ee51eeac7255b7b873f577c78e02898fa04fffb.zip | |
2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_In_Decl_Part): Remove local
variable Contract_Seen. Add local variable Proof_Seen.
(Analyze_Global_List): Remove the processing for mode
Contract_In. Add support for mode Proof_In.
(Analyze_Pragma): Update the grammar of pragmas Global and
Refined_Global.
* snames.ads-tmpl: Remove predefined name Contract_In. Add
predefined name Proof_In.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203525 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/gnu/java/beans/decoder/AbstractObjectContext.java')
0 files changed, 0 insertions, 0 deletions
