TAPNComposerWithGUI
Bug #1324234 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
High
|
Thomas Stig Jacobsen |
Bug Description
We now use both TAPNComposer and TAPNComposerWithGUI (earlier called TAPNComposerExt
The older TAPNComposer should be replaced by the newer one (and the calls to the old one should be
updated with the GUI data layer in order to match the new constructor).
Related branches
lp:~tapaal-approx/tapaal/TAPNComposerWithGUI
- Jakob Taankvist (community): Approve
- Jiri Srba: Approve
- Mathias Grund Sørensen (community): Approve (code)
-
Diff: 1652 lines (+7/-859)8 files modifiedsrc/dk/aau/cs/approximation/ApproximationWorker.java (+2/-47)
src/dk/aau/cs/approximation/ITAPNApproximation.java (+0/-1)
src/dk/aau/cs/approximation/OverApproximation.java (+0/-4)
src/dk/aau/cs/approximation/UnderApproximation.java (+0/-7)
src/dk/aau/cs/io/PNMLWriter.java (+2/-2)
src/dk/aau/cs/verification/TAPNComposer.java (+0/-195)
src/dk/aau/cs/verification/TAPNComposerWithGUI.java (+0/-599)
src/pipe/gui/widgets/QueryDialog.java (+3/-4)
Changed in tapaal: | |
status: | New → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
There are some problems with fixing this bug.
As pointed out in the merge of tapaal-approx into tapaal:
Essentially the new composer takes a HashMap< TimedArcPetriNe t, DataLayer> guiModel in it's constructor so it cannot be used everywhere either since not everywhere a guiModel is available.
I will propose a solution to this later today.