Viewing all changes in revision 479.
- Committer: Arseniy Alekseyev
- Date: 2010-10-18 11:14:57 UTC
- mfrom: (471.1.17 Workcraft)
- Revision ID: rotsor@gmail.com-20101018111457-0o4t6lj1oh7upfx1
merge
- CircuitPlugin
- CircuitPlugin/src
- CircuitPlugin/src/org
- CircuitPlugin/src/org/workcraft
- CircuitPlugin/src/org/workcraft/plugins
- DesiJPlugin
- DesiJPlugin/src
- DesiJPlugin/src/org
- DesiJPlugin/src/org/workcraft
- DesiJPlugin/src/org/workcraft/plugins
- DesiJPlugin/src/org/workcraft/plugins/desij
- GatesPlugin
- GatesPlugin/src
- GatesPlugin/src/org
- GatesPlugin/src/org/workcraft
- GatesPlugin/src/org/workcraft/plugins
- Graph
- Graph/src
- Graph/src/org
- Graph/src/org/workcraft
- Graph/src/org/workcraft/plugins
- MpsatPlugin
- MpsatPlugin/src
- MpsatPlugin/src/org
- MpsatPlugin/src/org/workcraft
- MpsatPlugin/src/org/workcraft/plugins
- MpsatPlugin/src/org/workcraft/plugins/mpsat/gui
- MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks
- MpsatPlugin/src/org/workcraft/plugins/mpsat/tools
- MpsatPlugin/src/org/workcraft/plugins/pcomp/tools
- PetriNetPlugin
- PetriNetPlugin/src
- PetriNetPlugin/src/org
- PetriNetPlugin/src/org/workcraft
- PetriNetPlugin/src/org/workcraft/plugins
- PetriNetPlugin/src/org/workcraft/plugins/petri/tools
- PetrifyPlugin
- PetrifyPlugin/src
- PetrifyPlugin/src/org
- PetrifyPlugin/src/org/workcraft
- PetrifyPlugin/src/org/workcraft/plugins
- PetrifyPlugin/src/org/workcraft/plugins/petrify
- SDFSPlugin
- SDFSPlugin/src
- SDFSPlugin/src/org
- SDFSPlugin/src/org/workcraft
- SDFSPlugin/src/org/workcraft/plugins
- STGPlugin
- STGPlugin/src
- STGPlugin/src/org
- STGPlugin/src/org/workcraft
- STGPlugin/src/org/workcraft/plugins
- STGPlugin/src/org/workcraft/plugins/interop
- STGPlugin/src/org/workcraft/plugins/stg
- STGPlugin/src/org/workcraft/plugins/stg/javacc
- Tests
- Tests/src
- Tests/src/org
- Tests/src/org/workcraft
- Tests/src/org/workcraft/testing
- Tests/src/org/workcraft/testing/dom
- Tests/src/org/workcraft/testing/plugins
- Tests/src/org/workcraft/testing/serialisation
- Workcraft/src/org/workcraft/plugins/shared/gui
- Workflow
- Workflow/src
- Workflow/src/org
- Workflow/src/org/workcraft
- Workflow/src/org/workcraft/plugins
- Workflow/src/org/workcraft/plugins/workflow
- files removed:
- Workcraft/src/org/workcraft/plugins/Models.java
- Workcraft/src/org/workcraft/plugins/desij
- Workcraft/src/org/workcraft/plugins/modelchecking
- Workcraft/src/org/workcraft/plugins/petrify
- Workcraft/src/org/workcraft/plugins/serialisation/dotg
- Workcraft/src/org/workcraft/plugins/shared/util
- Workcraft/src/org/workcraft/plugins/stg
- Workcraft/src/org/workcraft/plugins/stg/javacc
- Workcraft/src/org/workcraft/plugins/verification
- Workcraft/src/org/workcraft/plugins/verification/gui
- Workcraft/src/org/workcraft/plugins/verification/tasks
- Workcraft/src/org/workcraft/plugins/verification/tools
- Workcraft/src/org/workcraft/testing
- Workcraft/src/org/workcraft/testing/dom
- Workcraft/src/org/workcraft/testing/plugins
- Workcraft/src/org/workcraft/testing/serialisation
- files renamed:
- Workcraft/src/org/workcraft/plugins/circuit/ => CircuitPlugin/src/org/workcraft/plugins/circuit/
- Workcraft/src/org/workcraft/plugins/desij/DecompositionResultHandler.java => DesiJPlugin/src/org/workcraft/plugins/desij/DecompositionResultHandler.java
- Workcraft/src/org/workcraft/plugins/desij/DesiJOperation.java => DesiJPlugin/src/org/workcraft/plugins/desij/DesiJOperation.java
- Workcraft/src/org/workcraft/plugins/desij/DesiJPreset.java => DesiJPlugin/src/org/workcraft/plugins/desij/DesiJPreset.java
- Workcraft/src/org/workcraft/plugins/desij/DesiJPresetManager.java => DesiJPlugin/src/org/workcraft/plugins/desij/DesiJPresetManager.java
- Workcraft/src/org/workcraft/plugins/desij/DesiJSettings.java => DesiJPlugin/src/org/workcraft/plugins/desij/DesiJSettings.java
- Workcraft/src/org/workcraft/plugins/desij/gui/ => DesiJPlugin/src/org/workcraft/plugins/desij/gui/
- Workcraft/src/org/workcraft/plugins/desij/tasks/ => DesiJPlugin/src/org/workcraft/plugins/desij/tasks/
- Workcraft/src/org/workcraft/plugins/desij/tools/ => DesiJPlugin/src/org/workcraft/plugins/desij/tools/
- Workcraft/src/org/workcraft/plugins/gates/ => GatesPlugin/src/org/workcraft/plugins/gates/
- Workcraft/src/org/workcraft/plugins/graph/ => Graph/src/org/workcraft/plugins/graph/
- Workcraft/src/org/workcraft/plugins/mpsat/ => MpsatPlugin/src/org/workcraft/plugins/mpsat/
- Workcraft/src/org/workcraft/plugins/shared/MpsatChainResultHandler.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatCscResolutionResultHandler.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatCscResolutionResultHandler.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatDeadlockResultHandler.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatDeadlockResultHandler.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatEqnParser.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatEqnParser.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatMode.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatMode.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatResultParser.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatResultParser.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatSettings.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatSettingsSerialiser.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettingsSerialiser.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatSynthesisResultHandler.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisResultHandler.java
- Workcraft/src/org/workcraft/plugins/shared/MpsatUtilitySettings.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatUtilitySettings.java
- Workcraft/src/org/workcraft/plugins/shared/PunfUtilitySettings.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/PunfUtilitySettings.java
- Workcraft/src/org/workcraft/plugins/verification/gui/MpsatConfigurationDialog.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/MpsatConfigurationDialog.java
- Workcraft/src/org/workcraft/plugins/verification/gui/SolutionPanel.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionPanel.java
- Workcraft/src/org/workcraft/plugins/verification/gui/SolutionsDialog.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/gui/SolutionsDialog.java
- Workcraft/src/org/workcraft/plugins/shared/tasks/MpsatChainResult.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainResult.java
- Workcraft/src/org/workcraft/plugins/shared/tasks/MpsatChainTask.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatChainTask.java
- Workcraft/src/org/workcraft/plugins/shared/tasks/MpsatTask.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/MpsatTask.java
- Workcraft/src/org/workcraft/plugins/shared/tasks/PunfTask.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tasks/PunfTask.java
- Workcraft/src/org/workcraft/plugins/verification/tools/AbstractMpsatChecker.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java
- Workcraft/src/org/workcraft/plugins/interop/CscResolutionTool.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CscResolutionTool.java
- Workcraft/src/org/workcraft/plugins/verification/tools/CustomPropertyMpsatChecker.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CustomPropertyMpsatChecker.java
- Workcraft/src/org/workcraft/plugins/verification/tools/MpsatDeadlockChecker.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatDeadlockChecker.java
- Workcraft/src/org/workcraft/plugins/mpsat/MpsatSynthesis.java => MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java
- Workcraft/src/org/workcraft/plugins/pcomp/ => MpsatPlugin/src/org/workcraft/plugins/pcomp/
- Workcraft/src/org/workcraft/plugins/pcomp/gui/PCompOutputMode.java => MpsatPlugin/src/org/workcraft/plugins/pcomp/PCompOutputMode.java
- Workcraft/src/org/workcraft/plugins/shared/PcompUtilitySettings.java => MpsatPlugin/src/org/workcraft/plugins/pcomp/PcompUtilitySettings.java
- Workcraft/src/org/workcraft/plugins/pcomp/gui/PcompTool.java => MpsatPlugin/src/org/workcraft/plugins/pcomp/tools/PcompTool.java
- Workcraft/src/org/workcraft/plugins/petri/ => PetriNetPlugin/src/org/workcraft/plugins/petri/
- Workcraft/src/org/workcraft/plugins/petri/SimulationTool.java => PetriNetPlugin/src/org/workcraft/plugins/petri/tools/SimulationTool.java
- Workcraft/src/org/workcraft/plugins/petrify/PSExporter.java => PetrifyPlugin/src/org/workcraft/plugins/petrify/PSExporter.java
- Workcraft/src/org/workcraft/plugins/petrify/SynthesisResultHandler.java => PetrifyPlugin/src/org/workcraft/plugins/petrify/SynthesisResultHandler.java
- Workcraft/src/org/workcraft/plugins/petrify/tasks/ => PetrifyPlugin/src/org/workcraft/plugins/petrify/tasks/
- Workcraft/src/org/workcraft/plugins/petrify/tools/ => PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/
- Workcraft/src/org/workcraft/plugins/sdfs/ => SDFSPlugin/src/org/workcraft/plugins/sdfs/
- Workcraft/src/org/workcraft/plugins/interop/DotGExporter.java => STGPlugin/src/org/workcraft/plugins/interop/DotGExporter.java
- Workcraft/src/org/workcraft/plugins/interop/DotGImporter.java => STGPlugin/src/org/workcraft/plugins/interop/DotGImporter.java
- Workcraft/src/org/workcraft/plugins/stg/ComplexResult.java => STGPlugin/src/org/workcraft/plugins/stg/ComplexResult.java
- Workcraft/src/org/workcraft/plugins/stg/ConnectionResult.java => STGPlugin/src/org/workcraft/plugins/stg/ConnectionResult.java
- Workcraft/src/org/workcraft/plugins/stg/DotGProvider.java => STGPlugin/src/org/workcraft/plugins/stg/DotGProvider.java
- Workcraft/src/org/workcraft/plugins/stg/DummyTransition.java => STGPlugin/src/org/workcraft/plugins/stg/DummyTransition.java
- Workcraft/src/org/workcraft/plugins/stg/InstanceManager.java => STGPlugin/src/org/workcraft/plugins/stg/InstanceManager.java
- Workcraft/src/org/workcraft/plugins/stg/Label.java => STGPlugin/src/org/workcraft/plugins/stg/Label.java
- Workcraft/src/org/workcraft/plugins/stg/LabelParser.java => STGPlugin/src/org/workcraft/plugins/stg/LabelParser.java
- Workcraft/src/org/workcraft/plugins/stg/STG.java => STGPlugin/src/org/workcraft/plugins/stg/STG.java
- Workcraft/src/org/workcraft/plugins/stg/STGModel.java => STGPlugin/src/org/workcraft/plugins/stg/STGModel.java
- Workcraft/src/org/workcraft/plugins/stg/STGPlace.java => STGPlugin/src/org/workcraft/plugins/stg/STGPlace.java
- Workcraft/src/org/workcraft/plugins/stg/STGReferenceManager.java => STGPlugin/src/org/workcraft/plugins/stg/STGReferenceManager.java
- Workcraft/src/org/workcraft/plugins/stg/STGSelectionTool.java => STGPlugin/src/org/workcraft/plugins/stg/STGSelectionTool.java
- Workcraft/src/org/workcraft/plugins/stg/STGToolsProvider.java => STGPlugin/src/org/workcraft/plugins/stg/STGToolsProvider.java
- Workcraft/src/org/workcraft/plugins/shared/util/STGWorkspaceFilter.java => STGPlugin/src/org/workcraft/plugins/stg/STGWorkspaceFilter.java
- Workcraft/src/org/workcraft/plugins/stg/SignalTransition.java => STGPlugin/src/org/workcraft/plugins/stg/SignalTransition.java
- Workcraft/src/org/workcraft/plugins/stg/SignalTypeConsistencySupervisor.java => STGPlugin/src/org/workcraft/plugins/stg/SignalTypeConsistencySupervisor.java
- Workcraft/src/org/workcraft/plugins/stg/SimpleResult.java => STGPlugin/src/org/workcraft/plugins/stg/SimpleResult.java
- Workcraft/src/org/workcraft/plugins/stg/StgTransition.java => STGPlugin/src/org/workcraft/plugins/stg/StgTransition.java
- Workcraft/src/org/workcraft/plugins/stg/VisualDummyTransition.java => STGPlugin/src/org/workcraft/plugins/stg/VisualDummyTransition.java
- Workcraft/src/org/workcraft/plugins/stg/VisualImplicitPlaceArc.java => STGPlugin/src/org/workcraft/plugins/stg/VisualImplicitPlaceArc.java
- Workcraft/src/org/workcraft/plugins/stg/VisualSTG.java => STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java
- Workcraft/src/org/workcraft/plugins/stg/VisualSignalTransition.java => STGPlugin/src/org/workcraft/plugins/stg/VisualSignalTransition.java
- Workcraft/src/org/workcraft/plugins/stg/javacc/DotGParser.jj => STGPlugin/src/org/workcraft/plugins/stg/javacc/DotGParser.jj
- Workcraft/src/org/workcraft/plugins/stg/propertydescriptors/ => STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/
- Workcraft/src/org/workcraft/plugins/stg/serialisation/ => STGPlugin/src/org/workcraft/plugins/stg/serialisation/
- Workcraft/src/org/workcraft/plugins/serialisation/dotg/DotGSerialiser.java => STGPlugin/src/org/workcraft/plugins/stg/serialisation/DotGSerialiser.java
- Workcraft/src/org/workcraft/testing/dom/ConnectionRemoverTest.java => Tests/src/org/workcraft/testing/dom/ConnectionRemoverTest.java
- Workcraft/src/org/workcraft/testing/dom/DOMTests.java => Tests/src/org/workcraft/testing/dom/DOMTests.java
- Workcraft/src/org/workcraft/testing/dom/NodeContextTrackerTests.java => Tests/src/org/workcraft/testing/dom/NodeContextTrackerTests.java
- Workcraft/src/org/workcraft/testing/dom/math/ => Tests/src/org/workcraft/testing/dom/math/
- Workcraft/src/org/workcraft/testing/dom/visual/ => Tests/src/org/workcraft/testing/dom/visual/
- Workcraft/src/org/workcraft/testing/framework/ => Tests/src/org/workcraft/testing/framework/
- Workcraft/src/org/workcraft/testing/parsers/ => Tests/src/org/workcraft/testing/parsers/
- Workcraft/src/org/workcraft/testing/plugins/interop/ => Tests/src/org/workcraft/testing/plugins/interop/
- Workcraft/src/org/workcraft/testing/plugins/petri/ => Tests/src/org/workcraft/testing/plugins/petri/
- Workcraft/src/org/workcraft/testing/plugins/stg/ => Tests/src/org/workcraft/testing/plugins/stg/
- Workcraft/src/org/workcraft/testing/serialisation/DotGSerialiserTests.java => Tests/src/org/workcraft/testing/serialisation/DotGSerialiserTests.java
- Workcraft/src/org/workcraft/testing/serialisation/SerialisationTestingUtils.java => Tests/src/org/workcraft/testing/serialisation/SerialisationTestingUtils.java
- Workcraft/src/org/workcraft/testing/serialisation/xml/ => Tests/src/org/workcraft/testing/serialisation/xml/
- Workcraft/src/org/workcraft/testing/util/ => Tests/src/org/workcraft/testing/util/
- Workcraft/src/org/workcraft/gui/propertyeditor/PersistentPropertyEditorDialog.java => Workcraft/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java
- Workcraft/src/org/workcraft/gui/propertyeditor/PersistentPropertyEditable.java => Workcraft/src/org/workcraft/gui/propertyeditor/SettingsPage.java
- Workcraft/src/org/workcraft/plugins/Exporters.java => Workcraft/src/org/workcraft/plugins/BuiltinExporters.java
- Workcraft/src/org/workcraft/plugins/FileHandlers.java => Workcraft/src/org/workcraft/plugins/BuiltinFileHandlers.java
- Workcraft/src/org/workcraft/plugins/Serialisers.java => Workcraft/src/org/workcraft/plugins/BuiltinSerialisers.java
- Workcraft/src/org/workcraft/plugins/Tools.java => Workcraft/src/org/workcraft/plugins/BuiltinTools.java
- Workcraft/src/org/workcraft/plugins/serialisation/XMLDeserialiser.java => Workcraft/src/org/workcraft/plugins/serialisation/XMLModelDeserialiser.java
- Workcraft/src/org/workcraft/plugins/serialisation/XMLSerialiser.java => Workcraft/src/org/workcraft/plugins/serialisation/XMLModelSerialiser.java
- Workcraft/src/org/workcraft/plugins/verification/gui/PresetManagerDialog.java => Workcraft/src/org/workcraft/plugins/shared/gui/PresetManagerDialog.java
- Workcraft/src/org/workcraft/plugins/verification/gui/PresetManagerPanel.java => Workcraft/src/org/workcraft/plugins/shared/gui/PresetManagerPanel.java
- Workcraft/src/org/workcraft/plugins/verification/tasks/ExternalProcessTask.java => Workcraft/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java
- files modified:
- BalsaPlugin/.classpath
expand all
collapse all
added
removed
