Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1288] branches/mango/extensions/mango/Mango/src /mango
|
From: <fra...@us...> - 2009-03-18 03:54:25
|
Revision: 1288
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1288&view=rev
Author: frankrimlinger
Date: 2009-03-18 03:54:14 +0000 (Wed, 18 Mar 2009)
Log Message:
-----------
Stable rewrite update, to increase level of automation and test the ack/priority threading mechanism.
part 1
Modified Paths:
--------------
branches/mango/extensions/mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
branches/mango/extensions/mango/Mango/src/mango/enterprise/locator/LocatableFolderViewer.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/agent/ParameterExpAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/msg/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/EliminateHypothesisRequestMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/ConsistentHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/definition/trap/HarvestParametersTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/loop/msg/CloseLoopInstanceMsg.java
branches/mango/extensions/mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.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/model/InstanceManager.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/model/RuleModel.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/MatchMakerRequestMsg.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/ContainsTestTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/GeneralizeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/MergeTrap.java
branches/mango/extensions/mango/Mango/src/mango/module/trap/ReadOnlyCacheTrap.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/Backflow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/BackflowLeft.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/backflow/BackflowRight.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/AssumptionMatch.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/CompareToExtract.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Contains.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/FireBackchain.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Free.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/FreeVars.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Generalize.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/GetFreeVariableName.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/HYPO.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/ImmutableEquals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/IsPastRefNormalizeBinder.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/IsPresentRefNormalizeBinder.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Match.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/MatchAssumptionList.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/MatchAssumptions.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SimplifyAnd.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SimplifyOr.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/StabilizeArguments.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SubType.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/Union.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/With.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithChange.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutes.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutesForceRewrite.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithEval.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithTruth.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretAssoc.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretBlockedUcon.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/interpretation/InterpretComposition.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/ApplyLinearArithmetic.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/EliminateDuplication.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/Equals.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/coreRewriter/string/ConvertCharArrayToString.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindConjunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindEquationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindFoundationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/BindInequationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/form/binder/PushRefH.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/CommuteFunctionExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/ComposeFunctionSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/ConditionalCommuteFunctionExp.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/EvalConditional.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/EvaluatePredicate.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/GenericListCommute.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/function/engine/InvertConditional.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/definition/HarvestParameters.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildLoopInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/module/instance/BuildMethodInstanceManager.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/DoesNotThrow.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadable.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableArrayClass.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/IsLoadableClass.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/MethodCallAssumption.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateArguments.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateArraySubaddress.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateFreeVariableSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateHeapObject.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateNotModuleInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateNotUserInvocationSym.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateOver.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateSubaddress.java
branches/mango/extensions/mango/Mango/src/mango/ruleAction/translate/engine/TranslateUserInvocationSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
