|
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.
|