Net statistics should display orphan places/transitions
Bug #1879127 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Wishlist
|
Lena Ernstsen |
Bug Description
The Tools/Net Statistics, add the counting of orphan places/transitions
(those that are not connected by any arcs to anything else in the net).
The Statistics dialog could show the buttons "Remove orphan places"
and "Remove orphan transitions" should such be discovered. By clicking
them, the dialog should close and the orphan transitions/places should be
removed.
Related branches
lp:~tapaal-contributor/tapaal/Net-statistics-should-display-orphan-places-1879127
- Jiri Srba: Approve
- Lena Ernstsen (community): Needs Resubmitting
- Kenneth Yrke Jørgensen: Approve
-
Diff: 619 lines (+260/-104)8 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+1/-1)
src/dk/aau/cs/gui/components/StatisticsPanel.java (+147/-78)
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java (+9/-4)
src/dk/aau/cs/model/tapn/SharedPlace.java (+7/-2)
src/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+37/-13)
src/dk/aau/cs/model/tapn/TimedPlace.java (+56/-3)
src/dk/aau/cs/model/tapn/TimedTransition.java (+2/-2)
src/pipe/gui/GuiFrame.java (+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.
Fix the behaviour for orphan transitions that is already implemented.