Menu
▾
▴
javapathfinder-svn — source repository related messages (SVN)
You can subscribe to this list here.
| 2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
(16) |
Jun
(42) |
Jul
(46) |
Aug
(48) |
Sep
(33) |
Oct
(26) |
Nov
(28) |
Dec
(38) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2009 |
Jan
(35) |
Feb
(80) |
Mar
(112) |
Apr
(108) |
May
(102) |
Jun
(126) |
Jul
(89) |
Aug
(82) |
Sep
(36) |
Oct
(7) |
Nov
(1) |
Dec
(4) |
| 2010 |
Jan
(87) |
Feb
|
Mar
(2) |
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <fra...@us...> - 2009-02-23 04:48:00
|
Revision: 1220
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1220&view=rev
Author: frankrimlinger
Date: 2009-02-23 04:47:56 +0000 (Mon, 23 Feb 2009)
Log Message:
-----------
Fixed several staticReset bugs, and cleanup initialization of the SymbolHash extensions. But the stubborn bug was hidden deeper. The point was that commands in the script may persist across worker lifetimes. The ID's in these commands bind with the first worker. Alas, the next time the script runs, the new worker attempts to use these stale bindings, and the results are most unsatisfactory. Cleaning the stale bindings out of these messages means overriding each message class reset() method to call its super and then call reset on each of its ID fields. This has been done for LoopDefinitionRequestMsg, but there are probably dozens of messages which need the treatment. There was previously a hack in place to allow the extraction mechanism to reject stale bindings from a newly connected worker, but rather than rely on something inherently fragile, I am just going to bite the bullet and reset all the messages properly.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/sym/LogicalKey.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/RuleKey.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalParityID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRecent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/ExpressionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 20:44:09
|
Revision: 1219
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1219&view=rev
Author: frankrimlinger
Date: 2009-02-22 20:44:02 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
stubborn staticReset bug still in progress. Weirdness occurs after LoopDefinition target is set up (or so it seems), but definitely before any rewriting takes place (I think). It is computed identically the second time, but then occurs as something different when the target window is opened???
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 19:22:21
|
Revision: 1218
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1218&view=rev
Author: frankrimlinger
Date: 2009-02-22 19:22:13 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
fixed a few easy staticReset bugs. Hunt for stubborn staticReset bug in progress.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/util/LOG.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Event.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 16:59:36
|
Revision: 1217
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1217&view=rev
Author: frankrimlinger
Date: 2009-02-22 16:59:31 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
staticReset for worker.workFlow packages functionSpace, invariant, and translate. This concludes the staticReset code rehabilitation. Obviously there are an enormous number of static fields in the worker code, and not all of them are unnecessary. The important thing is that static fields should be introduced in the future with care. The established pattern should be maintained to implement the life-cycle requirements of each static field.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/BaseInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantStatus.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslationManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 16:14:05
|
Revision: 1216
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1216&view=rev
Author: frankrimlinger
Date: 2009-02-22 16:14:01 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
staticReset for workFlow subpackages conditionalTechniques, coreRewriter, and form. Changed name of HiFormer class to the more explanatory name HitemUtil.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/sym/ActiveObjectSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/RestoreContextMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.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/ruleAction/conditionalTechniques/conditional/Generalize.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Match.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithChange.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Instanceof.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindBoot.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/FrameTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/StatTransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/TransitionToFunctionalContext.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/DoesNotThrow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/ContainsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/HypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/LinearArithmeticAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyAndAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/SimplifyOrAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/StabilizeArgumentsAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/WithAgent.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/FoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/RewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/ConvertCharArrayToStringAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapPointer.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/HeapTracer.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/LocalItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapCounterModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/HeapModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/LocalVarModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/OpVarModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StackModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StatModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/csym/StateModelCsym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/BaseInvariantAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantTestAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HitemUtil.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer notes.rtf
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 14:16:13
|
Revision: 1215
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1215&view=rev
Author: frankrimlinger
Date: 2009-02-22 14:16:06 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
staticReset for packages ruleAction,javaModel,mangoModel
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Generalize.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SHOW.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/PushRefH.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildLoopInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildMethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/EntryPointManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/edge/BackupEdge.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/LoopGraph.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/GateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/BackchainAgent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/script/listener/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-22 01:19:33
|
Revision: 1214
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1214&view=rev
Author: frankrimlinger
Date: 2009-02-22 01:19:23 +0000 (Sun, 22 Feb 2009)
Log Message:
-----------
static data reset logic for module and enterprise packages. general cleanup of engine package code.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreKons.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRule.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreVariableFactory.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/CloneCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreRuleAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/NewCoreTierAction.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/EmbeddedJVMFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/GraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/ListModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/MultiGraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/SourceModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/msg/MsgSendAspect.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatorManager.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/EncapsulateNameMapping.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/GetPredicateTransformer.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObject.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/InitializationID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/PersistentObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/SourceAspectID.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/action/AddMatchAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/IncrementalUpdateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/MethodInstanceWindow.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ApplyInvarianceRulesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationDetailsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugGeneralizationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugInvariantsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriteErrorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/LoadClassFileDataRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeCloseRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/UndoFormattingOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/data/TreeNodeClientData.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/util/LOG.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/CallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.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/csym/Csym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Req.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/VariableBinding.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/graph/Graph.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/ProxyVariable.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/msg/
branches/mango/extensions/mango/local/frank
branches/mango/extensions/mango/local/frank_input
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/EmbeddedJVM.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/ProxyNull.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/ProxyVariable.java
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/factory/
branches/mango/extensions/mango/Mango/src/mango/embeddedJVM/msg/
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/NullWorkerID.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/csym/Meaningful.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-21 14:45:39
|
Revision: 1213
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1213&view=rev
Author: frankrimlinger
Date: 2009-02-21 14:45:35 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
A sweep of mango.worker.engine package yielded fourteen classes with static data. Introduced static reset method in each class called from Workstation.resetProcessing method. Clearly the entire worker set of packages must be reviewed. I will never use static data again.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/CallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/Event.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.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/csym/Csym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Req.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/TemplateRuleManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/VariableBinding.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/AgentSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/hitem/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-21 03:21:25
|
Revision: 1212
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1212&view=rev
Author: frankrimlinger
Date: 2009-02-21 03:21:22 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
Most known control issues with session restart have been resolved. However, there still is weirdness in the model, probably due to legacy static data in the worker mechanism. These bugs have to hunted down as they appear.
Fixed a fascinating error in the hashing mechanism. It turns out that the virtual redirection method Hash.f(Hitem) does not depend on the Hash object, so it might as well be static. On the other hand, f(Hitem) is often unintentially called with the distinguished singleton SymbolHash obect, even when the Hitem to be redirected is owned by a different Hash object. Generally speaking, it is really bad for a Hash object to mess with Hitems owned by a different Hash object, so the situation at hand was just working by dumb luck. To fix this situation, I made Hash.f(Hitem) static. As I find them, I will replace the virtual calls to f(Hitem) with static calls. (There are probably hundreds of such calls).
For the record, the Hash class is a home-brewed affair specially optimized for storing Cons data. I wanted very much to replace it with standard J2SE stuff, but this looked like a non-starter.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Cons.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HiFormer.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-21 02:22:26
|
Revision: 1208
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1208&view=rev
Author: frankrimlinger
Date: 2009-02-21 01:40:32 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
eliminating empty package
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/workstation/Resources/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-02-21 02:18:01
|
Revision: 1210
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1210&view=rev
Author: pcorina
Date: 2009-02-21 01:59:51 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETFIELD.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-02-21 02:18:01
|
Revision: 1211
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1211&view=rev
Author: pcorina
Date: 2009-02-21 02:00:49 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
initializeStaticFields is in-correct (do not use!)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/heap/Helper.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pc...@us...> - 2009-02-21 02:18:01
|
Revision: 1209
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1209&view=rev
Author: pcorina
Date: 2009-02-21 01:59:33 +0000 (Sat, 21 Feb 2009)
Log Message:
-----------
cleaned GETSTATIC that implements lazy initialization (still need to account for aliasing)
Modified Paths:
--------------
trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/GETSTATIC.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-20 20:02:07
|
Revision: 1207
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1207&view=rev
Author: frankrimlinger
Date: 2009-02-20 20:01:57 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
Numerous chicken-and-egg issues resolved caused by tightening up workflow button activation logic. Also dealt with legacy static data issues in SymbolHash. Worker restart appears to be working correctly, both at the gui level and model level, except for a few remaining control issues.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/BackupAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/extensions/mango/Mango/src/mango/control/input/ClassListSelectionListener.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoActiveObject.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRule.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreRuleBase.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreTier.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/LogicalKey.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptWindow.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptRunAction.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/StartRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/Mango.java
branches/mango/extensions/mango/Mango/src/mango/worker/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify icons
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/Resources/How to create or modify Destiny icons
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerManager.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
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.
|
|
From: <fra...@us...> - 2009-02-20 05:44:22
|
Revision: 1205
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1205&view=rev
Author: frankrimlinger
Date: 2009-02-20 05:44:16 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
Fixed stubborn reset processing bug involving tab pane refresh. Next on to the much more substantial issue of properly destroying and rebuilding the Rulebase and Mango objects. This will enable workflow across sessions, and debugging should become E-Z again with this foundational stuff in place.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/GlobalViewWindow.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-20 03:23:09
|
Revision: 1204
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1204&view=rev
Author: pcmehlitz
Date: 2009-02-20 03:23:04 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
* added a check for file- instead of class name spec of the main class. Without it, the Types.getCanonicalTypeName() tries to be too smart and replaces '/' with '.', which turned a "./jpfDebug" into "..jpfDebug", which in turn was actually loaded by bcel, but stored under the wrong name. Subsequent refs from within that class didn't find their own entry, and caused an NPE during main() execution. Don't want to change Types.getCanonicalTypeName() to reject '/' because there might be cases where it is used on internalized typenames.
Pretty weird combination of robustness features turning bad - thanks Hank/Dimitra for the test case
* JVM.createStartupClassObjects() was processing the queue in reverse order, not sure why
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/JVM.java
trunk/src/gov/nasa/jpf/jvm/Types.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-20 03:18:45
|
Revision: 1203
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1203&view=rev
Author: frankrimlinger
Date: 2009-02-20 03:18:40 +0000 (Fri, 20 Feb 2009)
Log Message:
-----------
The gui is now observing the SystemBuilder and updating the "New Worker" and "Reset" buttons accordingly. Also, the new Workstation methods fireUpProcessing() and resetProcessing() are being called at the appropriate times. However, punching in the old socketConnect() and socketDisconnect() functionality into these two methods, respectively, has generated a lot of weirdness to be cleaned up.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/window/GlobalViewAction.java
branches/mango/extensions/mango/Mango/src/mango/control/window/WorkstationWindow.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-19 20:27:34
|
Revision: 1202
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1202&view=rev
Author: frankrimlinger
Date: 2009-02-19 20:27:28 +0000 (Thu, 19 Feb 2009)
Log Message:
-----------
implementation of observer pattern for worker start/stop buttons in progress.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTest.java
branches/mango/extensions/mango/ThreadSupport/src/model/Restart.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-19 19:40:55
|
Revision: 1201
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1201&view=rev
Author: pcmehlitz
Date: 2009-02-19 19:40:49 +0000 (Thu, 19 Feb 2009)
Log Message:
-----------
Modified Paths:
--------------
trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-19 14:51:08
|
Revision: 1200
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1200&view=rev
Author: frankrimlinger
Date: 2009-02-19 14:51:01 +0000 (Thu, 19 Feb 2009)
Log Message:
-----------
more message cleanup, also work in progress to handle worker restart with the new SystemBuilder. All the SystemBuilder thread does now is to periodically test for liveness and notify when all the old worker threads have died. It is now up to an observer thread (in this case the gui thread) to fire up the new threads. So the gui will observe when all threads are dead and activate the "New Worker" button. Piece of cake.
Modified Paths:
--------------
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/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ApplyInvarianceRulesAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ClearMatchMakerAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceConjectureAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CloseDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/IncrementalUpdateAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/action/CloseLoopInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/CloseMethodInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/MergeRequestAction.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/WorkerControl.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/ScriptableCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/DebugAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StopRewriterAction.java
branches/mango/extensions/mango/Mango/src/mango/core/util/ScriptAndPostAction.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-18 23:27:46
|
Revision: 1199
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1199&view=rev
Author: frankrimlinger
Date: 2009-02-18 23:27:41 +0000 (Wed, 18 Feb 2009)
Log Message:
-----------
Messaging system cleanup in progress. The distinction between the "posted" message and "scripted" message has disappeared. Indeed, they are now required be one and the same, because hiliting of the active command is now triggered at the Commander level and everything flows from that. Any nonpersistent data in the messages now must be cleaned up with a persistence delegate, but this is as it should be. Much better than the maze of hacks that has grown up in this area.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/EnforceTierSettingsAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedActivateAction.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ScriptedDeactivateAction.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/module/action/AddMatchAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ApplyInvarianceRulesAction.java
branches/mango/extensions/mango/Mango/src/mango/module/action/ClearMatchMakerAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/AddEquivalenceConjectureAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ApplyCondMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CaptureMapAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/CloseDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/IncrementalUpdateAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualDefinitionAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/ManualInstantiationAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/action/RestoreContextAction.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.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/CoalesceStandingHypothesesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/DeleteUnusedParametersMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/action/CloseLoopInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/CloseMethodInstanceAction.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/action/MergeRequestAction.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
branches/mango/extensions/mango/ThreadSupport/src/model/Command.java
branches/mango/extensions/mango/ThreadSupport/src/model/ScriptableCommand.java
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/core/util/ScriptAndPostAction.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/script/listener/MangoScriptMessageListener.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-18 04:34:53
|
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.
|
|
From: <fra...@us...> - 2009-02-17 19:47:46
|
Revision: 1197
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1197&view=rev
Author: frankrimlinger
Date: 2009-02-17 19:47:41 +0000 (Tue, 17 Feb 2009)
Log Message:
-----------
WorkerID binding has been debugged. The binding scheme is far more complex than necessary, and should really be revamped someday. First successful session replay opening a loop definition window.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalObjectID.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/GlobalParityID.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/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateLoopManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/model/TranslateReturnManager.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-17 03:50:47
|
Revision: 1196
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1196&view=rev
Author: frankrimlinger
Date: 2009-02-17 03:50:43 +0000 (Tue, 17 Feb 2009)
Log Message:
-----------
WorkerID fix in progress. The concept of ID's was originally necessary because in the task based world, data abstraction was essential for efficiency. Now with shared memory between threads, you might think ID's could be discarded. But they are as essential as ever. The point is that access to underlying data must be serial, that is, it must be via commands posted to the queues and executed serially. Otherwise there will be corruption. On the other hand, the gui world must always be live, so it can't have access to underlying data. Fortunately, the gui world historically only used ID's since it was in an entirely separate task. It is critical that the gui stick with this policy, but there is now no way to enforce it. It is strictly programming on the "honor system." Oh well, the benefits of shared memory still vastly outweigh the risk.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/Commander.java
branches/mango/extensions/mango/ThreadSupport/src/model/SystemBuilder.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
branches/mango/extensions/mango/local/franklocal/sessions/<Untitled>
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
branches/mango/extensions/mango/local/franklocal/sessions/bother.xml
branches/mango/extensions/mango/local/franklocal/sessions/bother.zip
branches/mango/extensions/mango/local/franklocal/sessions/test.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
