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

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1198
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1198&view=rev
Author:   frankrimlinger
Date:     2009-02-18 04:34:46 +0000 (Wed, 18 Feb 2009)

Log Message:
-----------
Fixed some WorkerID bugs, and introduced IDException.  Wired IDException through the entire message system so that response to ID binding failures can be differentiated between the harmless, recoverable, and fatal cases.  This long standing issue has finally been resolved.

Next bug: the ModuleLocator encoder is not setting indexEncoding properly (?), causing replay failure.

Modified Paths:
--------------
    branches/mango/.classpath
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLEditorRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenEncapsulationTemplateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenInterpretationRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
    branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostCoreRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/PostRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientObjectID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/TransientParityID.java
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph3DViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/graph/msg/MultiGraph3DViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.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/DeleteUnusedParametersMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/IncrementalUpdateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/msg/TranslateMsg.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
    branches/mango/extensions/mango/Mango/src/mango/module/trap/MapToScopeTrap.java
    branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeOpenRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeRuleViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeViewCreateRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/UndoFormattingOpenRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/Cell.java
    branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hitem.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Instruction.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Method.java
    branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Package.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RedoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ReplaceRewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/ShowTypeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/UndoRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.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/model/WorkFlowUtil.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
    branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/IDException.java
    branches/mango/extensions/mango/local/franklocal/sessions/c.xml
    branches/mango/extensions/mango/local/franklocal/sessions/c.zip

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