Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1206] branches/mango/extensions/mango
|
From: <fra...@us...> - 2009-02-20 17:13:22
|
Revision: 1206
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1206&view=rev
Author: frankrimlinger
Date: 2009-02-20 17:13:14 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
clean up of button control for restarting worker well underway now. Some refactoring to make the organization of the worker code more rational.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/MangoModelUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/InitSessionMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/ActiveObjectSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/AliasedRuleVariable.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/LogicalKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleBaseSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleSym.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleVariable.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/sym/DebuggerWindowSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/MemoSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddConjectureTranslateConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddHypothesisTranslateConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/AddStandingHypothesisConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/CloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedConjectureConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedEquivalenceConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedHypothesisConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/trap/RebindTargetConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/StartRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Args.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Number.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Csym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/PointerCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/FileNameMapSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/InstructionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/sym/JclassSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/GateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/EdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/LoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/PathSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BlowUpSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/BranchSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/ConditionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/NotConditionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PredicateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PrimitiveSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/PushOffSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/DeadCodeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/OSreturnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/TrueReturnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/BadPlaceSinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/CallSinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/InfiniteLoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/MissingDestSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/OSsinkSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/ThrowSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCallSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperCpnSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AbstractUconSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconOSTerminatorSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/ConjunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/FreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/InequationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/ReplaceTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/ApplyLinearTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/GarbageCollectTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/StackModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/OpVarSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StackSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/TrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify Destiny icons
branches/mango/extensions/mango/Mango/src/mango/Resources/IconIndex.java
branches/mango/extensions/mango/Mango/src/mango/Resources/editableIcons/
branches/mango/extensions/mango/Mango/src/mango/Resources/icon_names/
branches/mango/extensions/mango/Mango/src/mango/Resources/icons/
branches/mango/extensions/mango/Mango/src/mango/Resources/rbIcons/
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/main/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/How to create or modify Destiny icons
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/editableIcons/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icon_names/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/icons/
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/rbIcons/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
