Deleting a shared transition
Bug #891944 reported by
Jakob Taankvist
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
High
|
Kenneth Yrke Jørgensen | ||
| 2.0 |
Won't Fix
|
High
|
Unassigned | ||
Bug Description
When you delete a shared transition and afterwards undo the deletion (using ctrl + z) the action is not undone correctly. A hidden exception is thrown and the arcs connected to the transition does not appear again - however they are still present somewhere in the system as they cannot be redrawn, but they do not work in the simulator.
The transition is also not shared anymore, but it can't be re-shared as it apparently is already shared somewhere in the system. (But it does not work in the simulator)
It seems like there is a conflict between the model and the UI.
To reproduce:
Create a shared transition - delete it - undo
Related branches
lp:~tapaal-developers/tapaal/fix-891944-delshared
- Jiri Srba: Approve
-
Diff: 99 lines (+20/-8)5 files modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+4/-2)
src/pipe/gui/graphicElements/PetriNetObject.java (+5/-2)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+2/-1)
src/pipe/gui/undo/DeleteTimedPlaceCommand.java (+5/-2)
src/pipe/gui/undo/DeleteTimedTransitionCommand.java (+4/-1)
| Changed in tapaal: | |
| milestone: | none → 2.1 |
| importance: | Undecided → High |
| Changed in tapaal: | |
| status: | New → Triaged |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
| Changed in tapaal: | |
| status: | Triaged → 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.
confirmed, this is still a problem in the trunk version; should be definitely fixed before the next release