From: <fra...@us...> - 2009-05-10 16:27:43
|
Revision: 1497 http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1497&view=rev Author: frankrimlinger Date: 2009-05-10 16:27:34 +0000 (Sun, 10 May 2009) Log Message: ----------- More Worker cleanup. The sense of the Worker as the main coordinating entity is now more apparent. I can't believe I just wrote that. Modified Paths: -------------- branches/mango/MangoJPF/Mango/src/mango/control/action/input/RuleBaseAction.java branches/mango/MangoJPF/Mango/src/mango/core/CoreMangoObject.java branches/mango/MangoJPF/Mango/src/mango/core/actions/ActionsManager.java branches/mango/MangoJPF/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java branches/mango/MangoJPF/Mango/src/mango/core/gui/window/CoreRuleBaseWindow.java branches/mango/MangoJPF/Mango/src/mango/core/requirements/RequirementsManager.java branches/mango/MangoJPF/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java branches/mango/MangoJPF/Mango/src/mango/merge/window/FindPatternWindow.java branches/mango/MangoJPF/Mango/src/mango/module/trap/MapToScopeTrap.java branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptRunAction.java branches/mango/MangoJPF/Mango/src/mango/script/gui/action/ScriptSaveAction.java branches/mango/MangoJPF/Mango/src/mango/script/model/MangoScriptModel.java branches/mango/MangoJPF/Mango/src/mango/script/util/MangoScriptUtilities.java branches/mango/MangoJPF/Mango/src/mango/util/LOG.java branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java branches/mango/MangoJPF/Mango/src/mango/worker/WorkerControl.java branches/mango/MangoJPF/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java branches/mango/MangoJPF/Mango/src/mango/worker/engine/sym/Sym.java branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteRequestMsg.java branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/trap/ApplyLinearTrap.java branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/trap/GarbageCollectTrap.java branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/InitSessionMsg.java branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchAdvisor.java branches/mango/MangoJPF/src/mango/views/GenSpecWindow.java branches/mango/MangoJPF/src/mango/views/LogWindow.java branches/mango/MangoJPF/src/mango/views/MangoScriptWindow.java Removed Paths: ------------- branches/mango/MangoJPF/Mango/src/mango/control/action/control/BackupAction.java branches/mango/MangoJPF/Mango/src/mango/control/action/control/StartAction.java branches/mango/MangoJPF/Mango/src/mango/control/msg/BackupRequestMsg.java branches/mango/MangoJPF/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java branches/mango/MangoJPF/Mango/src/mango/control/msg/SetEntryPointRequestMsg.java branches/mango/MangoJPF/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java branches/mango/MangoJPF/Mango/src/mango/control/msg/StartRequestMsg.java This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |