[Javapathfinder-svn] SF.net SVN: javapathfinder:[1289] branches/mango/extensions/mango/Mango/src /mango

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

Revision: 1289
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1289&view=rev
Author:   frankrimlinger
Date:     2009-03-18 03:56:53 +0000 (Wed, 18 Mar 2009)

Log Message:
-----------
Stable rewrite update, to increase level of automation and test the ack/priority threading mechanism.
part 2

Modified Paths:
--------------
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/ConjunctionSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/EquationSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/binder/InequationSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/function/FreeVarsReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/FoundationSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/FreeVariableSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/ruleRequirement/symbols/NotFreeVariableSymReq.java
    branches/mango/extensions/mango/Mango/src/mango/script/model/MangoScriptModel.java
    branches/mango/extensions/mango/Mango/src/mango/tree/TreeViewManager.java
    branches/mango/extensions/mango/Mango/src/mango/worker/Mango.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/Hitem.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeNames.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashRewriter.java
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/InstanceOfAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/mangoModel/agent/ValueHAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/AugmentAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BackchainAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BackflowAssocAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BlockedUconAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ContainsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/GeneralizeAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/HypoAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/InterpretAssocAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/InterpretCompositionAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/LinearArithmeticAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/MatchAssumptionsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/OverAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyAndAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyOrAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/StabilizeArgumentsAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/WithAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/AbstractEquation.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/ConjunctionModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/EquationModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/InequationModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/LAsolver.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/ConjunctionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/EquationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FreeVariableSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/CellUpdateTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/LinearArithmeticTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/ReplaceTrapConnector.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/RewriteTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/BindModuleAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvalConditionalAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/InvertConditionalAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/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/InvariantModel.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/invariant/trap/BuildInvariantNamesTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumptionAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateRequestedTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/translate/trap/TranslateTrap.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/interaction/Actions.java
    branches/mango/extensions/mango/Mango/src/mango/workstation/interaction/PopUpMenuEnabler.java

Added Paths:
-----------
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BinderSymAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/CallBackAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ForceOrderAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/ForceOrderCallBack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/RewriteAgent.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SubordinateRewriteCallBack.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteRequestMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/ApplyLinearTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/GarbageCollectTrap.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/StableRewriteConnector.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/agent/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/form/agent/ConvertCharArrayToStringAgent.java

Removed Paths:
-------------
    branches/mango/extensions/mango/Mango/src/mango/worker/engine/agent/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/agent/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/model/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/msg/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/sym/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/conditionalTechniques/trap/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/agent/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/model/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/coreRewriter/trap/
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteLocatorMsg.java
    branches/mango/extensions/mango/Mango/src/mango/worker/workFlow/msg/RewriteRequestMsg.java


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