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-03-03 02:29:57
|
Revision: 1245
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1245&view=rev
Author: frankrimlinger
Date: 2009-03-03 02:29:48 +0000 (Tue, 03 Mar 2009)
Log Message:
-----------
Fixed several E-Z bugs, so that itsAWrap.clear() successfully replays. There is a ConcurrentModificationException in gumbo sometimes when inserting nodes into a graph. Since this is a (benign?) gui issue ignoring for now, but eventually this has to be tracked down.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantManifestModel.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/length of the Array 'x' is greater than or equal to 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-02 19:50:43
|
Revision: 1244
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1244&view=rev
Author: frankrimlinger
Date: 2009-03-02 19:50:38 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Fixed some E-Z bugs, and invariant rules fired correctly for itsAWrap.clear(). Finished the icon binding chore. Next bug: rewriter fails to acknowledge termination conjecture for itsAWrap.clear().
Have started thinking about jpf integration. Since jpf likes to boot off a preferences file, the obvious thing is to generate such a file and use it to wake up jpf in a new thread. As jpf wakes up it will generate the java model. Mango must then observe this model and use it to generate the Mango model. Then new code must be written to convert the mango model into annotations that are usable by jpf. Also, a control mechanism must be written to step jpf from the mango gui. Then this apparatus must be tested against the prototype test set (which incidentally remains to be generated.) With all this in place, the new invariant strategy based on the jpf backtracing mechanism can be layered in. From there, other innovations to enhance automation will be introduced. The mango gui will never entirely wither away, because certain kinds of reason really do require user input. But the long term goal would be for it to blend into the development platform so that programmers could use the tool without actually knowing it was there.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/CallEdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/InvocationEdgeSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/SourceLineSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/VertexSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/ReflectionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperEntrySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/AlphaSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/ucon/UconSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.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/InvariantFactorizationAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-02 05:03:07
|
Revision: 1243
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1243&view=rev
Author: frankrimlinger
Date: 2009-03-02 05:03:04 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Fixed a replay bug involving the status rule and loop instantiation symbol appears twice in the instance window. One fun thing you can do in C++ is statically invoke a virtual method in order to "skip up" the class hierarchy. This doesn't work in Java, so might get burned some more by this. Next need to find out why invariant rules are not firing correctly. They definitely are firing.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/DefinitionWindowManager.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/model/RuleModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/RewriteAgent.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/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
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/a.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-02 01:09:31
|
Revision: 1242
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1242&view=rev
Author: frankrimlinger
Date: 2009-03-02 01:09:29 +0000 (Mon, 02 Mar 2009)
Log Message:
-----------
Reinstated session saving and statistics display code. Now to work on itsAWrap.clear(). Three immediate bugs to fix: a replay bug involving the status rule, loop instantiation symbol appears twice in the instance window, invariant rules are not kicking.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticManager.java
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticUpdate.java
branches/mango/extensions/mango/Mango/src/mango/core/statistic/StatisticUpdateFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.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/engine/rule/ActiveObject.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/Tier.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/baseline/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/
branches/mango/extensions/mango/local/franklocal/sessions/baseline/itsAWrap/clear([I)V/loops/-baseline.itsAWrap.clear([I)V#8:iload_i_Code_01/op0 is less than 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/op0 is less than 10.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-01 05:03:28
|
Revision: 1241
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1241&view=rev
Author: frankrimlinger
Date: 2009-03-01 05:03:18 +0000 (Sun, 01 Mar 2009)
Log Message:
-----------
Fixed numerous E-Z bugs. Working on itsAWrap.clear(), invariant rules not kicking. Loop posts twice in instantiation window. Before investigation, fix session save location and status display. One thing at a time.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/util/CoreUtilities.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/ID.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/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/sym/LoopInstanceSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/sym/MethodInstanceSym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerProxySym.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/sym/InstanceManagerSym.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.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/MergeTrap.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/BindFunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/WorkerCommand.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/functionSpace/sym/FunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/LoopInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/MethodInvocationSym.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/functionSpace/sym/UserInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/sym/TranslationSym.java
branches/mango/extensions/mango/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/op0 is less than 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/a.xml
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
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-03-01 03:12:31
|
Revision: 1240
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1240&view=rev
Author: frankrimlinger
Date: 2009-03-01 03:12:29 +0000 (Sun, 01 Mar 2009)
Log Message:
-----------
consolidation of certain message packages, basic housecleaning.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenDFLasAxiomRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenEncapsulationTemplateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/OpenInterpretationRequestMsg.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLasAxiomRequestMsg.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
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-03-01 03:08:14
|
Revision: 1239
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1239&view=rev
Author: frankrimlinger
Date: 2009-03-01 03:08:01 +0000 (Sun, 01 Mar 2009)
Log Message:
-----------
consolidation of certain message packages, basic housecleaning.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/BackupAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/control/StartAction.java
branches/mango/extensions/mango/Mango/src/mango/control/action/editor/PostAction.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLEditorRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/editor/msg/OpenDFLasAxiomRequestMsg.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/control/msg/BackupRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/SetEntryPointRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/SetSourceDirectoryRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/StartRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/gui/action/ClearStatisticsAction.java
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/gui/tablemodel/MangoModelUtilities.java
branches/mango/extensions/mango/Mango/src/mango/core/sym/LengthViewSym.java
branches/mango/extensions/mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
branches/mango/extensions/mango/Mango/src/mango/debugger/model/SingleStep.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleOnMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
branches/mango/extensions/mango/Mango/src/mango/debugger/msg/StopRewritingMsg.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/DeprecatedMethods.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/EmbeddedJVMFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/MultiGraphModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/factory/TreeModelFactory.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/DFLocator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.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/workerID/WorkerID.java
branches/mango/extensions/mango/Mango/src/mango/graph/agent/GraphViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/Graph2DViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/graph/msg/GraphViewCreateRequestMsg.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/MethodDefinitionManager.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/AddConjectureRequestMsg.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/AddEquivalenceConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.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/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.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/EliminateHypothesisRequestMsg.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/ManualDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ManualInstantiationMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/RestoreContextMsg.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/method/trap/RebindTargetConnector.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/ApplyInvarianceRulesMsg.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/ClearMatchMakerMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/CreateParametersMsg.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/DebugInversionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/DebugLinearArithmeticMsg.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/GeneralizeRequestMsg.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/MatchMakerRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowAssumptionMatchFailureMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowHitsMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchMakerMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowMatchesMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowModuleMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriteErrorMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/ShowRewriterAssumptionsMsg.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/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SORT.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTM.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/PushRefH.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/MangoScriptMessageCellRenderer.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptDownAction.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptRunAction.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptUpAction.java
branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
branches/mango/extensions/mango/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/extensions/mango/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/TreeViewAgent.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/ChangeTreeCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/ChangeTreeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeAddCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeRemoveCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeReplaceCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeRuleViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeTabCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeViewCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeViewCreateRequestMsg.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
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/QueueableEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteCallBack.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/DoubleH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/FloatH.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/IntegerH.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/LongH.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/SymbolHashOpcodeSyms.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.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
branches/mango/extensions/mango/Mango/src/mango/worker/flags/AbstractionDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/ClinitDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/CoreFactoryDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/DebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/ExceptionHandlerDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/GarbageCollectionDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/HashDisplayFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/HeapPointerDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/LoopDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/MissingClassInfoWarning.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/PersistentNamespaceDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/RuleDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/RuleDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/ArithmeticOp.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Getandput.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invocation.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Invoking.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Linker.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Loading.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Newandmisc.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Storing.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/classParser/ConstantPool.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/Field.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/jvmSyntax/attributes/Code_attribute.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/jvmSyntax/attributes/LocalVariableTable_attribute.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/ClassAndInterfaceResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/FieldResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/InterfaceMethodResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/linkingModel/MethodResolution.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/edge/BackupEdge.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/sym/graphic/VertexSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ClearStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/InitSessionMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ModifyCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/SetActiveCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/UpdateStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/CellUpdateTrap.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/sym/binder/revealed/LocalSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/extensions/mango/Mango/src/mango/workstation/PopUpResourceManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/ViewBuilder.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/action/MangoActionManager.java
branches/mango/extensions/mango/Mango/src/mango/workstation/agent/AspectModelAgent.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/Mango/src/mango/workstation/window/ToggleUnblockingStateAction.java
Added Paths:
-----------
branches/mango/extensions/mango/Mango/src/mango/control/msg/
branches/mango/extensions/mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/
branches/mango/extensions/mango/Mango/src/mango/tree/msg/MsgSendAspect.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeCloseRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/UndoFormattingOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/UpdateParityModelsMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/UpdateSourceAspectModelsMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/
branches/mango/extensions/mango/Mango/src/mango/worker/flags/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/TranslationToJavaDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/PopUpMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/PostCoreRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/PostRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/PriorityScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/RedoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/RedoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ReplaceRewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ReplaceRewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/RewriteLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/RewriteRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ShowTypeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/UnblockStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/UndoLocatorMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/UndoRequestMsg.java
Removed Paths:
-------------
branches/mango/extensions/mango/Mango/src/mango/control/msg/LoadClassFileDataRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/control/msg/ReplayedMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/ClearStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/EnforceTierSettingsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/InitSessionMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/ModifyCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/SetActiveCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/TrapCommand.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/UpdateStatisticsRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/WorkerCommand.java
branches/mango/extensions/mango/Mango/src/mango/deprecatedPackage/msg/
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/script/msg/BackupRequestMsg.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/script/msg/SetEntryPointRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/SetSourceDirectoryRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/msg/StartRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/ChangeTreeCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/ChangeTreeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeAddCommandMsg.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/TreeNodeRemoveCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeNodeReplaceCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeRuleViewCreateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeTabCreateCommandMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/agent/msg/TreeViewCreateCommandMsg.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/msg/TreeNodeCloseRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/TreeNodeOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/tree/msg/UndoFormattingOpenRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/AbstractionDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClinitDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/CoreFactoryDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/DebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ExceptionHandlerDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/GarbageCollectionDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/HashDisplayFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/HeapPointerDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/LoopDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/MissingClassInfoWarning.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/PersistentNamespaceDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/RuleDebug.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/RuleDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/TranslationToJavaDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/flags/TranslationToJavaDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/msg/DeleteCoreMangoObjectMsg.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/UnblockStateRequestMsg.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/workstation/msg/PopUpMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PriorityScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/UpdateParityModelsMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/UpdateSourceAspectModelsMsg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-28 04:32:47
|
Revision: 1238
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1238&view=rev
Author: frankrimlinger
Date: 2009-02-28 04:32:45 +0000 (Sat, 28 Feb 2009)
Log Message:
-----------
Reinstated all missing code for hot addition and deletion of rules and tiers. First successful generation of complete session for itsAWrap loop. On replay, hidden value extraction logic has a bug that causes a NullPointerException. Should be E-Z to fix. Fix logic to locate sessions in a folder parallel to the package structure. Fix hot statistics display in the log window. With all this infrastructure in place it should be possible to regenerate all the test sessions while swatting the remaining bugs. Finally, rebuild the System sessions, and phase 2 is complete. With luck, phase 3, integration with jpf, can start in a month or so. Then the real fun begins.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/msg/DeleteCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/op0 is less than 10.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/rules/rulebase1.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-27 18:03:11
|
Revision: 1237
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1237&view=rev
Author: frankrimlinger
Date: 2009-02-27 18:03:02 +0000 (Fri, 27 Feb 2009)
Log Message:
-----------
Rules and tiers are now added correctly-- almost. There is an issue with the WorkerID binding to the ActiveObjectSym, probably a stale binding problem. Also still need code to delete rules. This involves updating the RuleViewSym used by the rewriter, for non-template rules. Template rules and tiers pose a much more challenging problem for hot update, so just punt with a warning that changes will take place after reset.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/CoreMangoActiveObject.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/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/rule/Rule.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-27 04:54:24
|
Revision: 1236
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1236&view=rev
Author: frankrimlinger
Date: 2009-02-27 04:54:14 +0000 (Fri, 27 Feb 2009)
Log Message:
-----------
Added some missing icon bindings. Realized there is no "parametrization bug", rather, the new code for AddCoreMangoObject hasn't been written yet, so the worker rulebase is not updating. You need to write this code, which involves updating the rewriter caches. The comparable C++ code is untranslatable, since it had to solve a much much harder problem of synchronization across different tasks. Since the worker rules are just stuffed inside the CoreRules, this should be a piece of cake.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
branches/mango/extensions/mango/Mango/src/mango/core/msg/AddCoreMangoObjectMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapItemSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/HeapObjectSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalItemSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/OpSym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/StatItemSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <pcm...@us...> - 2009-02-26 23:51:03
|
Revision: 1235
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1235&view=rev
Author: pcmehlitz
Date: 2009-02-26 23:50:48 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
* non-deterministic AtomicFieldUpdater patch from Nathan Reynolds. The spec says that compareAndSwap() is only atomic with respect to the same updater (how useful is that - begs for a tool like JPF), so we turn it into a potential scheduling point if cg.enumerate_cas=true (false by default)
still needs some refactoring to avoid duplication, and should check for shared objects/multiple runnables
Modified Paths:
--------------
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicIntegerFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicLongFieldUpdater.java
trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_concurrent_atomic_AtomicReferenceFieldUpdater.java
trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
trunk/test/gov/nasa/jpf/jvm/TestAtomicIntegerFieldUpdaterJPF.java
trunk/test/gov/nasa/jpf/jvm/TestAtomicLongFieldUpdater.java
trunk/test/gov/nasa/jpf/jvm/TestAtomicLongFieldUpdaterJPF.java
trunk/test/gov/nasa/jpf/jvm/TestAtomicReferenceFieldUpdater.java
trunk/test/gov/nasa/jpf/jvm/TestAtomicReferenceFieldUpdaterJPF.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-26 23:15:41
|
Revision: 1234
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1234&view=rev
Author: frankrimlinger
Date: 2009-02-26 23:15:32 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
Fixed E-Z index encoding bug on session replay. Replay is now working well. Next bug in close case message, parametrization bug? Use session c.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/ModuleLocator.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal/sessions/a.xml
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
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-26 20:08:17
|
Revision: 1233
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1233&view=rev
Author: frankrimlinger
Date: 2009-02-26 20:08:11 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
Fixed slowness problem in Hash class. There was a bug that caused most names to hash to the same place, which caused the radical slow down. I also rewrote the low-level hash function code to use a static char[] instead of creating String objects like there was no tomorrow. With all these improvements, the hash stress tests show the java version about twice as slow as C++. This is not bad, since the C++ has had the benefit of fine tuning over the years. Certainly Hash is fast enough for phase 2 purposes.
Fixed more E-Z bugs. Finally back to the point several days ago with the locator indexing bug on session replay. Now that the replay mechanism is working smoothly, it is time to proceed with this bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/script/gui/action/ScriptSaveAction.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/Worker.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.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/local/franklocal/rules/rulebase.zip
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-26 03:27:14
|
Revision: 1232
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1232&view=rev
Author: frankrimlinger
Date: 2009-02-26 03:27:05 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
removed short-circuit test. The execution slowness has now been positively located in the Hash class mechanism. This will have to be systematically stress tested to locate the problem. I still don't think it is a C++ versus Java issue. The Hash class has significant differences with it C++ counterpart and probably just has a bug.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-26 03:23:21
|
Revision: 1231
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1231&view=rev
Author: frankrimlinger
Date: 2009-02-26 03:23:15 +0000 (Thu, 26 Feb 2009)
Log Message:
-----------
Finally figured out the difference between "Add Jars" and "Add External Jars". Use "Add Jars" if you can for better compatibility. "Add Jars" locates the jars relative to the project root as opposed to an absolute which will almost always break between different users/sites.
Modified Paths:
--------------
branches/mango/.classpath
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 21:23:53
|
Revision: 1230
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1230&view=rev
Author: frankrimlinger
Date: 2009-02-25 21:23:46 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
Fixed a few E-Z bugs. Observed that with the System loaded, StartRequestMsg seemed to take a long time to execute. Confirmed this with some time measurments, about 25 seconds. Traced problem to Sym.makePersistent(HiddenObject). If this routine is short-circuited, measurement is a nominal 1 second approx. Very likely this is a bug, as opposed to a "performance problem." So far I have found no evidence that Java is "slower" than C++, as people sometimes claim, but the jury is still out on this particular issue.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ClassParsingAlg.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
branches/mango/extensions/mango/local/franklocal_input/System/bin/bin.jar
branches/mango/extensions/mango/local/franklocal_input/System/bin/build
branches/mango/extensions/mango/local/franklocal_input/System/build
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/DataInput.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/File.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FileDescriptor.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FileOutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/FilterOutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/IOException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/InputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInput.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInputStream$GetField.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectInputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamClass.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamConstants.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/ObjectStreamField.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/OutputStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/PrintStream.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/io/Serializable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArithmeticException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArrayIndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ArrayStoreException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Boolean.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Byte.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/CharSequence.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Character.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Class.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ClassCastException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/ClassNotFoundException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/CloneNotSupportedException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Cloneable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Comparable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Double.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Exception.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Float.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalAccessException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalArgumentException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalMonitorStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IllegalThreadStateException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/IndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/InstantiationException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Integer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/InterruptedException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Long.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Math.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NegativeArraySizeException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NoSuchFieldException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NoSuchMethodException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NullPointerException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Number.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/NumberFormatException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Object.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/RuntimeException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/SecurityException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Short.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/String.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringBuffer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringBuilder.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/StringIndexOutOfBoundsException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/System.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Throwable.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/UnsupportedOperationException.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/Void.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/reflect/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/lang/reflect/Array.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/math/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/math/BigInteger.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/URI.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/net/URL.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractCollection.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractList.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/AbstractMap.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/ArrayList.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Arrays.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Collection.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Comparator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/HashMap.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Iterator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/List.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/ListIterator.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Locale.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Map.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Random.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/RandomAccess.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/java/util/Set.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Boolean.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Byte.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Class.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Integer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Object.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_Short.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/lang/Mango_StringBuffer.class
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/Mango_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/bin/mango/util/Mango_ArrayList.class
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/DFL notes/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 21:21:55
|
Revision: 1229
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1229&view=rev
Author: frankrimlinger
Date: 2009-02-25 21:21:50 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
new System test session
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal/sessions/b.zip
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal/sessions/<Untitled>
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/c.xml
branches/mango/extensions/mango/local/franklocal/sessions/c.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.
|
|
From: <fra...@us...> - 2009-02-25 00:34:31
|
Revision: 1228
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1228&view=rev
Author: frankrimlinger
Date: 2009-02-25 00:34:25 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
deleting empty package, last try.
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 00:32:52
|
Revision: 1227
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1227&view=rev
Author: frankrimlinger
Date: 2009-02-25 00:32:46 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
deleting empty package
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 00:28:54
|
Revision: 1226
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1226&view=rev
Author: frankrimlinger
Date: 2009-02-25 00:28:48 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
deleting empty package
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-25 00:26:49
|
Revision: 1225
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1225&view=rev
Author: frankrimlinger
Date: 2009-02-25 00:26:42 +0000 (Wed, 25 Feb 2009)
Log Message:
-----------
System code update.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Character.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Class.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Double.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Float.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Long.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Object.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Short.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/Void.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/reflect/Array.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/System/mango/
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_String.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Mango_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/util/Mango_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/util/Mango_ArrayList.java
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/mango/lang/observer pattern.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/util/Destiny_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/mango/util/Destiny_ArrayList.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-24 21:18:49
|
Revision: 1224
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1224&view=rev
Author: frankrimlinger
Date: 2009-02-24 21:18:43 +0000 (Tue, 24 Feb 2009)
Log Message:
-----------
fixed some E-Z bugs. fixed banner stamper to check entire file for existence of the banner, as sometimes package stuff gets put at the top of the file. Stamped banner on some recent files.
Realized the system code still has legacy nomenclature in it and is therefore out of sync with the rulebase. Next thing to fix.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/control/action/control/BackupAction.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitem.java
branches/mango/extensions/mango/Mango/src/mango/core/CoreHitemFactory.java
branches/mango/extensions/mango/Mango/src/mango/data/TestData.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HashItemProxyPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/model/HiddenObjectPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/IDException.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerIDBeanInfo.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/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/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/ApplyCondMapMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/CaptureMapMsg.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/msg/RestoreContextMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ScriptedCloseCaseConnector.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/method/trap/RebindTargetConnector.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/sym/ModuleLevelSym.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/ConditionalEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/ConditionalMethodTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/InvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariant.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/MethodInvariantTest.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/invariant/OpVarAsLocalVar.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Conjecture.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Equivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/FactorizationModel.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Function.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Hypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Parameter.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingEquivalence.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/StandingHypothesis.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/Status.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/definition/HarvestLocalVariableFunction.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/RenderInvariantName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/PathNameExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/naturalLanguage/ParameterName.java
branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
branches/mango/extensions/mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/extensions/mango/Mango/src/mango/tree/model/CellPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/EventLoopCmd.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/TranslationToJavaDebuggingFlags.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/sym/OtherPersistenceDelegate.java
branches/mango/extensions/mango/Mango/src/mango/worker/engine/sym/UserVarSym.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/linkingModel/MethodResolution.java
branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/FortyTwo.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/GeneralizeAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.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/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/InvariantAgent.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/LocalVarConditionalEquivalenceAgent.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantAgent.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/CaptureModel.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/InvariantManifestModel.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/invariant/model/LocalInvariant.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/model/ScoreModel.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/sym/BaseInvariantAgentProxySym.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesConnector.java
branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
branches/mango/extensions/mango/Mango/src/mango/workstation/Workstation.java
branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/PopUpMsg.java
branches/mango/extensions/mango/ThreadSupport/src/impl/ScriptTestCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialChildCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialCommand.java
branches/mango/extensions/mango/ThreadSupport/src/impl/SerialParentCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/AckCommand.java
branches/mango/extensions/mango/ThreadSupport/src/model/Priority.java
branches/mango/extensions/mango/ThreadSupport/src/model/Restart.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractCollection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Collection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Iterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/List.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ListIterator.java
Removed Paths:
-------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/observer pattern.rtf
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-24 06:08:06
|
Revision: 1223
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1223&view=rev
Author: frankrimlinger
Date: 2009-02-24 06:08:01 +0000 (Tue, 24 Feb 2009)
Log Message:
-----------
rebuilt test System binaries. For some reason java.Math does not survive pass1, bad ClassInfo tag. As disconcerting as this may be, everything else is ok, so dropping Math for now. All this code will be replaced by jpf anyway. Bugs in the backup mechanism for the System need to be fixed. Hopefully back in E-Z bug territory.
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/worker/debugging/ClassParserDebuggingFlags.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Getandput.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Loading.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/byteCodeModel/Newandmisc.java
branches/mango/extensions/mango/Mango/src/mango/worker/javaModel/classParser/ConstantPool.java
branches/mango/extensions/mango/local/franklocal/sessions/a.zip
branches/mango/extensions/mango/local/franklocal_input/System/bin/bin.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-23 20:13:49
|
Revision: 1222
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1222&view=rev
Author: frankrimlinger
Date: 2009-02-23 20:13:44 +0000 (Mon, 23 Feb 2009)
Log Message:
-----------
added revised java system testing code.
Modified Paths:
--------------
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Boolean.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Byte.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Class.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Integer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Object.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_Short.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/String.java
branches/mango/extensions/mango/local/franklocal_input/System/java/lang/StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractCollection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/AbstractList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ArrayList.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Collection.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/Iterator.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/List.java
branches/mango/extensions/mango/local/franklocal_input/System/java/util/ListIterator.java
Added Paths:
-----------
branches/mango/extensions/mango/local/franklocal_input/System/bin/
branches/mango/extensions/mango/local/franklocal_input/System/bin/bin.jar
branches/mango/extensions/mango/local/franklocal_input/System/bin/build
branches/mango/extensions/mango/local/franklocal_input/System/build
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.charAt worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.length worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_String.setValueFromStringBuffer worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.append worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/Destiny_StringBuffer.java
branches/mango/extensions/mango/local/franklocal_input/System/destiny/lang/observer pattern.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.add worksheet.rtf
branches/mango/extensions/mango/local/franklocal_input/System/destiny/util/Destiny_ArrayList.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <fra...@us...> - 2009-02-23 20:06:57
|
Revision: 1221
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1221&view=rev
Author: frankrimlinger
Date: 2009-02-23 20:06:51 +0000 (Mon, 23 Feb 2009)
Log Message:
-----------
Added code to reflect on a message and reset its WorkerID and Locator fields. Unfortunately, because of access permission issues, a stub has to be place in each scripted message class, but this is still less error prone than direct coding.
Modified Paths:
--------------
branches/mango/.classpath
branches/mango/extensions/mango/Mango/src/mango/core/msg/ActivationStateRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/Locator.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/msg/ReplaceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/workerID/WorkerID.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/MethodDefinitionRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.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/CloseDefinitionMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.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/msg/ApplyInvarianceRulesMsg.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/GarbageCollectRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.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/ReplaceRewriteRequestMsg.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/UndoRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/workstation/msg/ScheduleRequestMsg.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
