Paranthesis with - does not work
Bug #1714815 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Critical
|
Mads Johannsen |
Bug Description
In the current trunk, try to make a query like
EF N.P1 - (N.P2 - N.P3)
using the manual edit and parse it. As a result the paranthesis
gets forgotten and the query parses as
EF N.P1 - N.P2 - N.P3
which could have a different semantics (left associative).
Related branches
lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815
- Jiri Srba: Approve
-
Diff: 1901 lines (+497/-609)7 files modifiedsrc/dk/aau/cs/TCTL/CTLParsing/ParseException.java (+16/-22)
src/dk/aau/cs/TCTL/CTLParsing/SimpleCharStream.java (+7/-10)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParser.java (+303/-365)
src/dk/aau/cs/TCTL/CTLParsing/TAPAALCTLQueryParserTokenManager.java (+155/-197)
src/dk/aau/cs/TCTL/CTLParsing/Token.java (+3/-3)
src/dk/aau/cs/TCTL/CTLParsing/TokenMgrError.java (+12/-11)
src/resources/TCTLParser/TAPAALCTLQueryParser.jj (+1/-1)
Changed in tapaal: | |
status: | New → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Also, the editor should allow e.g. this N.P0 - N.P1 = - 3
but the constant -3 is not possible to enter otherwise than 0 - 3.