[Javapathfinder-svn] SF.net SVN: javapathfinder:[1496] branches/mango/MangoJPF

[<fra...@us...>]

Revision: 1496
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1496&view=rev
Author:   frankrimlinger
Date:     2009-05-10 01:34:24 +0000 (Sun, 10 May 2009)

Log Message:
-----------
Package level cleanup.  The functionality of the Workstation package has been parceled out, as the Workstation no longer exists.  The Worker class now becomes a more or less central hub for Mango, Gumbo, ThreadSupport, JPF and RCP integration.  The code base has evolved through so many different operating systems, development systems, and design architectures that it is not very tidy, but oh well...

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/BackupAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/DebugRewriterAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/StopWorkerAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/control/WorkerAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/editor/PostAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/input/RuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/action/window/ResetPopupAction.java
    branches/mango/MangoJPF/Mango/src/mango/control/menu/WindowMenu.java
    branches/mango/MangoJPF/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
    branches/mango/MangoJPF/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
    branches/mango/MangoJPF/Mango/src/mango/control/msg/StartRequestMsg.java
    branches/mango/MangoJPF/Mango/src/mango/control/window/HelpWindow.java
    branches/mango/MangoJPF/Mango/src/mango/core/CoreMangoObject.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/StaticFields.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/ClearStatisticsAction.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/CreateParametersAction.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/PrintAbstractionsAction.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.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/gui/window/CoreRuleEditorWindow.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/window/CoreSuperWindow.java
    branches/mango/MangoJPF/Mango/src/mango/core/gui/window/CoreTierWindow.java
    branches/mango/MangoJPF/Mango/src/mango/core/util/CoreUtilities.java
    branches/mango/MangoJPF/Mango/src/mango/data/FontData.java
    branches/mango/MangoJPF/Mango/src/mango/data/MangoDataResolver.java
    branches/mango/MangoJPF/Mango/src/mango/debugger/BreakPointWindow.java
    branches/mango/MangoJPF/Mango/src/mango/debugger/DebuggerViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/debugger/DebuggerWindow.java
    branches/mango/MangoJPF/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
    branches/mango/MangoJPF/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
    branches/mango/MangoJPF/Mango/src/mango/enterprise/locator/LocatorManager.java
    branches/mango/MangoJPF/Mango/src/mango/enterprise/workerID/PersistentParityID.java
    branches/mango/MangoJPF/Mango/src/mango/enterprise/workerID/SourceAspectID.java
    branches/mango/MangoJPF/Mango/src/mango/enterprise/workerID/TransientParityID.java
    branches/mango/MangoJPF/Mango/src/mango/graph/Graph2DViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/graph/Graph2DViewWindow.java
    branches/mango/MangoJPF/Mango/src/mango/graph/Graph3DViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/graph/Graph3DViewWindow.java
    branches/mango/MangoJPF/Mango/src/mango/graph/SuperGraph3DViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/graph/SuperGraph3DViewWindow.java
    branches/mango/MangoJPF/Mango/src/mango/graph/agent/CoarseGraphViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/graph/agent/GraphViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/graph/msg/GraphViewCreateCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/graph/msg/MultiGraph3DViewCreateCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/list/ListNodeData.java
    branches/mango/MangoJPF/Mango/src/mango/list/ListViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/list/dnd/JListDragSource.java
    branches/mango/MangoJPF/Mango/src/mango/list/dnd/JTextPaneDropHandler.java
    branches/mango/MangoJPF/Mango/src/mango/list/impl/LabelViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/merge/action/SelectCoreRuleBaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/merge/tree/MangoMergeTreeCellRenderer.java
    branches/mango/MangoJPF/Mango/src/mango/merge/window/FindPatternWindow.java
    branches/mango/MangoJPF/Mango/src/mango/module/ModuleWindowManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/DebugGeneralizationAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/DebugGeneralizationDetailsAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/DebugInvariantsAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/DebugInversionAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/DebugLinearArithmeticAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowAssumptionMatchFailureAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowHitsAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowMatchMakerAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowMatchesAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowRewriteErrorAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/action/ShowRewriterAssumptionsAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/AbstractAutoEquivalenceWindow.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/AbstractEquivalenceWindow.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/DefinitionWindowManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/action/CloseCaseAction.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/instance/method/MethodInstanceWindowManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/instance/model/InstanceManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/model/ModuleManager.java
    branches/mango/MangoJPF/Mango/src/mango/rmi/file/MangoFilePacket.java
    branches/mango/MangoJPF/Mango/src/mango/script/MangoScriptSourceDirectory.java
    branches/mango/MangoJPF/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.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/script/util/ScriptAndPostAction.java
    branches/mango/MangoJPF/Mango/src/mango/source/SourceViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/source/SourceViewWindow.java
    branches/mango/MangoJPF/Mango/src/mango/source/agent/SourceViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/source/agent/msg/SourceViewCreateCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/tree/TreeViewWindow.java
    branches/mango/MangoJPF/Mango/src/mango/tree/agent/FolderViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/tree/agent/TreeViewAgent.java
    branches/mango/MangoJPF/Mango/src/mango/tree/data/TreeNodeClientData.java
    branches/mango/MangoJPF/Mango/src/mango/tree/msg/ChangeTreeCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/tree/msg/MsgSendAspect.java
    branches/mango/MangoJPF/Mango/src/mango/tree/msg/TreeTabCreateCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/tree/msg/TreeViewCreateCommandMsg.java
    branches/mango/MangoJPF/Mango/src/mango/tree/msg/UpdateParityModelsMsg.java
    branches/mango/MangoJPF/Mango/src/mango/util/FileSystem.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/WorkerControl.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/rule/Rule.java
    branches/mango/MangoJPF/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteLocatorMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/model/EventLoopTrap.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/msg/InitSessionMsg.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/SCANNER.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.java
    branches/mango/MangoJPF/src/mango/intro/Application.java
    branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchAdvisor.java
    branches/mango/MangoJPF/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
    branches/mango/MangoJPF/src/mango/intro/LoginDialog.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

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/core/RuleResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/ColorDataBinding.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/ContextManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/PopUpResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/ViewBuilder.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/ActionCategory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/ActionCategoryMenu.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/ActionCategoryTree.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/ActionManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/InternallyEnabledAction.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/MangoAction.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/MangoActionManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/MangoActionMenuItem.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/action/SingleSelectAction.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/agent/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/agent/ActionAgent.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/agent/AspectModelAgent.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/AspectTableListener.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/AspectTableModel.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/ColorPool.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/MangoTextStyle.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/data/Primo.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/EmbeddedJVMFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/GraphModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/ListModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/MultiGraphModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/SourceModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/factory/TreeModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/impl/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/impl/Swing/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/impl/Swing/MangoSwingGraphVertex.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/impl/Swing/MangoSwingGraphViewFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/Actions.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/BaseInput.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/CenterViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/GroupOverManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/MangoViewManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/PopUpMenuEnabler.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/PopupMenuManager.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/StandardInput.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/WorkstationCheckBoxMenuItem.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/interaction/WorkstationMenuItem.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/GumboCommand.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/PopupMenuCommand.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/SetAllActionsEnabledMsg.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/msg/SetEnabledActionsMsg.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/AspectWindow.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/ChildWindow.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/CoarseGraphWindow.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/DebugFlagsDialog.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/FeatureWindow.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/WindowMonitor.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/window/Windows.java
    branches/mango/MangoJPF/Mango/src/mango/worker/TreeViewPopUpBinding.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/EmbeddedJVMFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/GraphModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/ListModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/MultiGraphModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/SourceModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/gumboModel/TreeModelFactory.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/ContextManager.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/PopUpResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/QueueReader.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/RuleResourceManager.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/ViewBuilder.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
    branches/mango/MangoJPF/Mango/src/mango/workstation/action/
    branches/mango/MangoJPF/Mango/src/mango/workstation/agent/
    branches/mango/MangoJPF/Mango/src/mango/workstation/data/
    branches/mango/MangoJPF/Mango/src/mango/workstation/impl/swing/
    branches/mango/MangoJPF/Mango/src/mango/workstation/interaction/
    branches/mango/MangoJPF/Mango/src/mango/workstation/msg/
    branches/mango/MangoJPF/Mango/src/mango/workstation/preferences/
    branches/mango/MangoJPF/Mango/src/mango/workstation/window/


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.