cpn manual parser

Bug #1940817 reported by Lena Ernstsen
6
This bug affects 1 person
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.

Jiri Srba (srba)
Changed in tapaal:
milestone: none → cpn
Lena Ernstsen (lsaid)
Changed in tapaal:
assignee: nobody → Lena Ernstsen (lsaid)
Lena Ernstsen (lsaid)
Changed in tapaal:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.