cpn manual parser
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
There are multiple problems with the manual parser:
If we say that we have the product color type consisting of a cyclic enumeration (p, s) and a range (1-5)
1.
In transport arc dialog, when manually parsing "4'(s, 1) + 1'(p, 2)" the expression is parsed, but the everything after the + operators is removed. No warning message is given.
2.
In normal arc dialog, when manually parsing "1's++ * 1's", the the expression is parsed, but the everything after the * operators is removed. No warning message is given.
3.
In the transition dialog, it is possible to construct the following guard "!(1 = s)", but when manually parsing it, it fails because s is not comparable with 1.
This is a problem with the dialog, as it is allowed to compare two different types.
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |