diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:33:04 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:33:04 +0000 |
| commit | d513339a86a3b6b024976aa181939ea0a68f98fe (patch) | |
| tree | eb66d1758b9bbc36266454b1f67f25c8318cf12d /libjava/classpath/java/sql/Savepoint.java | |
| parent | a1c925e512e2cd97d77c8704cc12cfbc4b70a253 (diff) | |
| download | ppe42-gcc-d513339a86a3b6b024976aa181939ea0a68f98fe.tar.gz ppe42-gcc-d513339a86a3b6b024976aa181939ea0a68f98fe.zip | |
2012-10-01 Yannick Moy <moy@adacore.com>
* sem_ch13.adb (Add_Invariants): Analyze the invariant expression
as an assertion expression.
* sem_ch3.adb / sem_ch3.ads (Preanalyze_Assert_Expression):
New procedure that wraps a call to Preanalyze_Spec_Expression
for assertion expressions, so that In_Assertion_Expr can be
properly adjusted.
* sem_prag.adb (Analyze_PPC_In_Decl_Part
Check_Precondition_Postcondition Preanalyze_CTC_Args): Call the
new Preanalyze_Assert_Expression.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191898 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java/sql/Savepoint.java')
0 files changed, 0 insertions, 0 deletions
