diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-23 09:56:06 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-23 09:56:06 +0000 |
| commit | 056158b3d53458eb9161aa6e0125df0e83ef8f60 (patch) | |
| tree | 52f36a03473183940fba9d55f750c77e3fe696b1 /libjava/classpath/lib/gnu/java/beans/decoder/IndexContext.class | |
| parent | 99237f96a2568e01072ea89a2eb44dd6d5e67744 (diff) | |
| download | ppe42-gcc-056158b3d53458eb9161aa6e0125df0e83ef8f60.tar.gz ppe42-gcc-056158b3d53458eb9161aa6e0125df0e83ef8f60.zip | |
2013-04-23 Robert Dewar <dewar@adacore.com>
* exp_prag.adb (Expand_Pragma_Check): Check for Assert rather
than Assertion.
* sem_prag.adb (Is_Valid_Assertion_Kind): Moved to spec
(Effective_Name): New function (Analyze_Pragma, case Check):
Disallow [Statement_]Assertions (Check_Kind): Implement
Statement_Assertions (Check_Applicable_Policy): Use Effective_Name
(Is_Valid_Assertion_Kind): Allow Statement_Assertions.
* sem_prag.ads (Is_Valid_Assertion_Kind): Moved here from body
(Effective_Name): New function.
* sem_res.adb: Minor reformatting.
* snames.ads-tmpl (Name_Statement_Assertions): New entry.
* gnat_rm.texi: Add documentation of new assertion kind
Statement_Assertions.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@198187 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/lib/gnu/java/beans/decoder/IndexContext.class')
0 files changed, 0 insertions, 0 deletions
