trunk-framework-refactoring : Code : Workcraft

Get this branch:: bzr branch lp:~danilovesky/workcraft/trunk-framework-refactoring

Only Danil Sokolov can upload to this branch. If you are Danil Sokolov please log in for upload directions.

Branch merges

No branches dependent on this one.

Merged into lp:workcraft at revision 575

Danil Sokolov: Approve on 2014-12-13

Diff: 5236 lines (+948/-1264)

120 files modified

CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitModule.java (+24/-22)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+3/-5)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CheckCircuitTool.java (+2/-7)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGeneratorTool.java (+1/-5)
CpogsPlugin/src/org/workcraft/plugins/cpog/CpogModule.java (+20/-19)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ProgrammerChainTask.java (+2/-7)
CpogsPlugin/src/org/workcraft/plugins/cpog/tools/EncoderPreferencesTool.java (+5/-7)
CpogsPlugin/src/org/workcraft/plugins/cpog/tools/GraphStatisticsTool.java (+0/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/DfsModule.java (+11/-10)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowDeadlockTask.java (+3/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowHazardTask.java (+3/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/tasks/CheckDataflowTask.java (+3/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java (+2/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java (+2/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java (+2/-6)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/StgGeneratorTool.java (+1/-5)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/WaggingGeneratorTool.java (+2/-5)
FsmPlugin/src/org/workcraft/plugins/fsm/FsmModule.java (+4/-3)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/PetriNetGeneratorTool.java (+1/-5)
GraphPlugin/src/org/workcraft/plugins/graph/GraphModule.java (+3/-2)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatCscResolutionResultHandler.java (+5/-3)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatDeadlockResultHandler.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatModule.java (+22/-21)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatStgReachabilityResultHandler.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java (+3/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java (+2/-7)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatConformationTask.java (+3/-4)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java (+2/-8)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CscResolutionTool.java (+2/-8)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java (+2/-6)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConsistencyChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCscChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCustomPropertyChecker.java (+6/-9)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatDeadlockChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatNormalcyChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatPersistencyChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java (+2/-7)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisComplexGate.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisGeneralisedCelement.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisStandardCelement.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesisTechnologyMapping.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatUscChecker.java (+0/-5)
MpsatPlugin/src/org/workcraft/plugins/pcomp/gui/PcompDialog.java (+3/-4)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tasks/PcompResultHandler.java (+32/-35)
MpsatPlugin/src/org/workcraft/plugins/pcomp/tools/PcompTool.java (+7/-10)
PetriNetPlugin/src/org/workcraft/plugins/petri/PetriNetModule.java (+3/-2)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/TransitionContractorTool.java (+0/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PSExporter.java (+1/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/PetrifyModule.java (+15/-14)
PetrifyPlugin/src/org/workcraft/plugins/petrify/SynthesisResultHandler.java (+1/-5)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/DrawSgTask.java (+4/-8)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationResultHandler.java (+10/-5)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/TransformationTask.java (+5/-10)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyCscConflictResolution.java (+2/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyDummyContraction.java (+2/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesis.java (+5/-8)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesisComplexGate.java (+0/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesisGeneralisedCelement.java (+0/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesisTechnologyMapping.java (+0/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyUntoggle.java (+2/-6)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/ShowSg.java (+2/-7)
PolicyNetPlugin/src/org/workcraft/plugins/policy/PolicyNetModule.java (+17/-16)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tasks/CheckDeadlockTask.java (+3/-4)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java (+2/-6)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/PetriNetGeneratorTool.java (+1/-5)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/TransitionBundlerTool.java (+1/-5)
SONPlugin/src/org/workcraft/plugins/son/SONModule.java (+10/-8)
SONPlugin/src/org/workcraft/plugins/son/tasks/ReachabilityTask.java (+2/-3)
SONPlugin/src/org/workcraft/plugins/son/tools/ReachabilityTool.java (+2/-9)
SONPlugin/src/org/workcraft/plugins/son/tools/SONSimulationTool.java (+12/-22)
SONPlugin/src/org/workcraft/plugins/son/tools/StructurePropertyChecker.java (+7/-11)
SONPlugin/src/org/workcraft/plugins/son/tools/TestTool.java (+0/-14)
STGPlugin/src/org/workcraft/plugins/stg/DotGProvider.java (+2/-7)
STGPlugin/src/org/workcraft/plugins/stg/STGModule.java (+38/-37)
STGPlugin/src/org/workcraft/plugins/stg/STGWorkspaceFilter.java (+1/-5)
STGPlugin/src/org/workcraft/plugins/stg/tools/DummyToSignalTransitionConverterTool.java (+0/-6)
STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesExplicitTool.java (+0/-11)
STGPlugin/src/org/workcraft/plugins/stg/tools/MakePlacesImplicitTool.java (+0/-10)
STGPlugin/src/org/workcraft/plugins/stg/tools/SignalMirrorTool.java (+0/-6)
STGPlugin/src/org/workcraft/plugins/stg/tools/SignalToDummyTransitionConverterTool.java (+0/-6)
STGPlugin/src/org/workcraft/plugins/stg/tools/TransitionContractorTool.java (+0/-6)
Tests/src/org/workcraft/testing/plugins/petri/SaveLoadTests.java (+5/-5)
WorkcraftCore/src/org/workcraft/Console.java (+1/-1)
WorkcraftCore/src/org/workcraft/Framework.java (+17/-14)
WorkcraftCore/src/org/workcraft/Module.java (+1/-1)
WorkcraftCore/src/org/workcraft/PluginManager.java (+11/-28)
WorkcraftCore/src/org/workcraft/gui/CreateWorkDialog.java (+1/-2)
WorkcraftCore/src/org/workcraft/gui/DockableWindowContentPanel.java (+8/-2)
WorkcraftCore/src/org/workcraft/gui/ErrorWindow.java (+1/-3)
WorkcraftCore/src/org/workcraft/gui/JavaScriptWindow.java (+2/-4)
WorkcraftCore/src/org/workcraft/gui/MainMenu.java (+12/-7)
WorkcraftCore/src/org/workcraft/gui/MainWindow.java (+23/-16)
WorkcraftCore/src/org/workcraft/gui/MainWindowActions.java (+70/-36)
WorkcraftCore/src/org/workcraft/gui/OutputWindow.java (+1/-3)
WorkcraftCore/src/org/workcraft/gui/PropertyEditorWindow.java (+2/-3)
WorkcraftCore/src/org/workcraft/gui/actions/Action.java (+1/-3)
WorkcraftCore/src/org/workcraft/gui/actions/ScriptedAction.java (+4/-2)
WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanel.java (+0/-6)
WorkcraftCore/src/org/workcraft/gui/graph/tools/AbstractContractorTool.java (+0/-6)
WorkcraftCore/src/org/workcraft/gui/graph/tools/DummyMouseListener.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/graph/tools/GraphEditor.java (+0/-2)
WorkcraftCore/src/org/workcraft/gui/history/HistoryView.java (+17/-20)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/PropertyEditorTable.java (+2/-1)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java (+4/-5)
WorkcraftCore/src/org/workcraft/gui/tasks/TaskManagerWindow.java (+2/-1)
WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java (+2/-3)
WorkcraftCore/src/org/workcraft/gui/workspace/WorkspaceWindow.java (+316/-352)
WorkcraftCore/src/org/workcraft/plugins/BuiltinExporters.java (+5/-4)
WorkcraftCore/src/org/workcraft/plugins/BuiltinFileHandlers.java (+12/-4)
WorkcraftCore/src/org/workcraft/plugins/BuiltinSerialisers.java (+29/-28)
WorkcraftCore/src/org/workcraft/plugins/BuiltinTools.java (+17/-16)
WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java (+2/-6)
WorkcraftCore/src/org/workcraft/plugins/workspace/handlers/WorkcraftOpen.java (+9/-9)
WorkcraftCore/src/org/workcraft/util/Tools.java (+2/-1)
WorkcraftCore/src/org/workcraft/workspace/Workspace.java (+5/-7)
WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java (+11/-6)
XmasPlugin/src/org/workcraft/plugins/xmas/XmasModule.java (+4/-3)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/JsonExport.java (+3/-19)
XmasPlugin/src/org/workcraft/plugins/xmas/tools/PNetGen.java (+2/-15)

Low

Fix Committed

Link a bug report

Related blueprints

Refactor the usage of Framework as a singleton class (Medium)

Branch information

Owner:: Danil Sokolov

Project:: Workcraft

Status:: Merged

Recent revisions

576. By Danil Sokolov on 2014-12-13: Update of SON plugin for singleton Framework. Fix for reverse simulation.
575. By Danil Sokolov on 2014-12-12: Refactor the usage of Framework as a singleton class.
574. By Danil Sokolov on 2014-12-11: Merge proposal for blueprint son-reachability approved.
573. By Danil Sokolov on 2014-12-11: Merge proposal for bug# 1395747 approved.
572. By Danil Sokolov on 2014-12-11: Merge proposal for blueprint stg-usability (checking conformation property for STGs) approved.
571. By Danil Sokolov on 2014-11-24: Merge proposal for bugs #1395797, #1379453, 1395678 and #1395102 approved.
570. By Danil Sokolov on 2014-11-14: Use native browse/open/edit commands before falling back for Desktop API.
569. By Danil Sokolov on 2014-11-14: Help and tutorials are updated.
568. By Danil Sokolov on 2014-11-14: Merge proposal for bugs #1392026, 1392020 and 1392019 approved.
567. By Danil Sokolov on 2014-11-12: Merge proposal for bugs 1391985, 1391824, 1391831, 1391883, 1391952 approved.

»

Branch metadata

Branch format:: Branch format 6

Repository format:: Bazaar pack repository format 1 with rich root (needs bzr 1.0)

Workcraft

lp:~danilovesky/workcraft/trunk-framework-refactoring

Branch merges

Related bugs

Related blueprints

Branch information

Recent revisions

Branch metadata

Subscribers

Workcraft

lp:~danilovesky/workcraft/trunk-framework-refactoring

Branch merges

Related source package recipes

Related snap packages

Related bugs

Related blueprints

Branch information

Recent revisions

Branch metadata

Nearby

Subscribers