Nondeterminism in JML parser

[wadoon]

This issue was created at git.key-project.org where the discussions are preserved.

---

• Mantis: MT-1224

• Submitted on: 2012-10-08 by (at)grahl

• Updated: 2013-03-18

• Assigned to: (at)scheben

Description

Tried with fdb7fb4cd6060b0673b0c13533988943e9b241e2
Looks as it had been introduced with block contracts.

[creating JML pre parser]
ANTLR Parser Generator Version 2.7.2 1989-2003 jGuru.com
src/de/uka/ilkd/key/speclang/jml/pretranslation/jmlpreparser.g:197: warning:nondeterminism between alts 3 and 7 of block upon
src/de/uka/ilkd/key/speclang/jml/pretranslation/jmlpreparser.g:197: k==1:"assignable","assignable_redundantly","modifiable","modifiable_redundantly","modifies","modifies_redundantly"
[creating JML lexer]
ANTLR Parser Generator Version 2.7.2 1989-2003 jGuru.com
[creating JML parser]
ANTLR Parser Generator Version 2.7.2 1989-2003 jGuru.com
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:536:23: warning:nondeterminism between alts 1 and 2 of block upon
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:536:23: k==1:LPAREN
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:536:23: k==2:IDENT
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:550:29: warning:nondeterminism between alts 1 and 2 of block upon
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:550:29: k==1:LPAREN
src/de/uka/ilkd/key/speclang/jml/translation/jmlparser.g:550:29: k==2:IDENT

Files

Notes

(at)scheben at 2012-10-19

fixed in commit 57c1dece4aa236d1a136723686c3c0f8fb3f4f20

History

• (at)grahl -- (NEW_BUG) 2012-10-08

• (at)scheben -- (NORMAL_TYPE) 2012-10-19

• (at)scheben -- (NORMAL_TYPE) 2012-10-19

• (at)scheben -- (BUGNOTE_ADDED) 2012-10-19

• (at)scheben -- (NORMAL_TYPE) 2012-10-19

• (at)scheben -- (NORMAL_TYPE) 2012-10-19

• (at)grahl -- (NORMAL_TYPE) 2013-03-18

• (at)grahl -- (NORMAL_TYPE) 2013-03-18

• (at)grahl -- (NORMAL_TYPE) 2014-01-03

Attributes

• Category: JML (semantics)
• Status: CLOSED
• Severity: MINOR
• OS:
• Target Version: 2.0
• Resolution: FIXED
• Priority: NORMAL
• Reproducibility: ALWAYS
• Platform:
• Commit:
• Build:
• Tags []
• Labels: ~JML (Semantics) ~Bug ~NORMAL
• Version: 2.0 fixed in 2.0

---

View in Mantis

---

Information:

• created_at: 2017-05-29T02:27:16.402Z
• updated_at: 2017-05-29T02:27:17.241Z
• closed_at: 2017-05-29T02:27:17.168Z (closed_by: )
• milestone:
• user_notes_count: 0