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

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

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.