Variable names in enumeration types
Bug #1953355 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
High
|
Kenneth Yrke Jørgensen |
Bug Description
The GUI should disable that a variable called e.g. x appears inside of some enumeration type as its element, e.g. A is {x,y,z}. The check should be added both when a new variable is created and when a new color is added to an enumeration colortype.
Also, two different enumeration types should be disjoing, so e.g. the following should be disallowed:
A is { c, d, e}
B is { e, f, g}
Related branches
lp:~tapaal-contributor/tapaal/fix1953355
- Jiri Srba: Approve
-
Diff: 276 lines (+131/-21)4 files modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java (+21/-10)
src/pipe/gui/widgets/ColoredWidgets/ColorTypeDialogPanel.java (+64/-8)
src/pipe/gui/widgets/ColoredWidgets/VariablesDialogPanel.java (+33/-1)
src/pipe/gui/widgets/ConstantsDialogPanel.java (+13/-2)
description: | updated |
Changed in tapaal: | |
assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
importance: | Undecided → High |
status: | New → Confirmed |
Changed in tapaal: | |
status: | Confirmed → In Progress |
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
Here is a model to test with for name-clash on variables