Enabled event color does not update in reverse simulation
Bug #1402249 reported by
Bowen Li
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Bowen Li |
Bug Description
Problem:
- Create a new SON model.
- Simulate and generate a trace.
- Select a step in the trace.
- Click on reverse simulation.
The color of enabled events doesn't update.
Related branches
lp:~danilovesky/workcraft/trunk-framework-refactoring
- Danil Sokolov: Approve
-
Diff: 5236 lines (+948/-1264)120 files modifiedCircuitPlugin/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)
Changed in workcraft: | |
status: | New → Fix Committed |
milestone: | none → 3.0.3 |
Changed in workcraft: | |
status: | Fix Committed → Confirmed |
Changed in workcraft: | |
milestone: | 3.0.3 → 3.0.4 |
status: | Confirmed → Fix Committed |
milestone: | 3.0.4 → none |
To post a comment you must log in.