Petrify transform task is inconsistent with other external tasks
Bug #1534665 reported by
Danil Sokolov
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Workcraft |
Fix Committed
|
Low
|
Danil Sokolov | ||
Bug Description
PetrifyTask uses ExternalProcess calls while other external tools are called via ExternalProcessTask interface.
The PetrifyTask class should be refactored and merged with the TransformTask class.
Related branches
lp:~danilovesky/workcraft/trunk-ui-tools-output
- Workcraft core developers: Pending requested
-
Diff: 2100 lines (+625/-402)39 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java (+2/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+5/-5)
CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/ProcessIO.java (+1/-2)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java (+1/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java (+2/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+3/-3)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+3/-3)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+4/-4)
FstPlugin/src/org/workcraft/plugins/fst/task/WriteSgConversionTask.java (+2/-2)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisUtilitySettings.java (+47/-0)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisChainTask.java (+3/-3)
MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatSynthesisTask.java (+4/-2)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+1/-1)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java (+47/-1)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+3/-3)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatCombinedChainTask.java (+3/-3)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+4/-4)
MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java (+4/-2)
PcompPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompTask.java (+2/-1)
PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java (+2/-2)
PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java (+2/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyUtilitySettings.java (+47/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/PetrifyTask.java (+0/-135)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/SynthesisTask.java (+38/-32)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java (+113/-54)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+3/-3)
PunfPlugin/src/org/workcraft/plugins/punf/PunfUtilitySettings.java (+47/-1)
PunfPlugin/src/org/workcraft/plugins/punf/tasks/PunfTask.java (+5/-2)
WorkcraftCore/src/org/workcraft/Config.java (+43/-43)
WorkcraftCore/src/org/workcraft/Framework.java (+7/-2)
WorkcraftCore/src/org/workcraft/gui/AboutDialog.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/CreateWorkDialog.java (+5/-5)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/Settings.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java (+85/-7)
WorkcraftCore/src/org/workcraft/interop/ExternalProcess.java (+26/-30)
WorkcraftCore/src/org/workcraft/interop/SynchronousExternalProcess.java (+14/-12)
WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java (+1/-1)
WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java (+36/-17)
WorkcraftCore/src/org/workcraft/tasks/DummyProgressMonitor.java (+7/-5)
To post a comment you must log in.
