Menu
▾
▴
[Javapathfinder-svn] SF.net SVN: javapathfinder:[1849] branches/mango/Mango
|
From: <fra...@us...> - 2009-08-24 00:17:53
|
Revision: 1849
http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1849&view=rev
Author: frankrimlinger
Date: 2009-08-24 00:16:33 +0000 (Mon, 24 Aug 2009)
Log Message:
-----------
Deleted all obsolete mango.util.Util code and dispersed the rest of the methods. Deleted all the "J" classes, originally introduced to deal with the trickier questions of JVM interpretation. Specifically, JclassSym, JnonclassSym, JmethodSym, and JfieldSym are gone, resulting in a significant simplification of the javapathfinder-mango-bridge. The pipeline from .class files to mango level is now strictly bcel->jpf-> formal peer.
Restricted the meaning ClassNameSym and the formal type <classNameSymbol>. To avoid unsoundness, introduced ClassObjectSym and <classObject>. A ClassObjectSym simultaneously represents the name of a Class and the Class object representing that class, so we have the rule
(valueH (loc classObjectSym ^className) heap) --> classObjectSym
(We suppress the implicit "_MangoFormal" suffix throughout this discussion.) A ClassNameSym simply represents the name of a Class, so
(valueH (loc obj ^className) heap)
is evaluated by examining heap for a heap item of the form
[obj,^className]= classNameSym.
Since there is never an item on the heap of the form
[classObjectSym, ^className]=...
there is no conflict between these rules. To appreciate the distinction, consider
(getVirtualRunTimeMethod classNameSym uniqueName)
which evaluates by forming the ClassInfo with the same name as classNameSym and performing the lookup on uniqueName.
However,
(getVirtualRunTimeMethod classObjectSym uniqueName)
evaluates by forming the ClassInfo for Class and looking up uniqueName. Now consider the real world example
ClassTests.class.getName(); which generates
First LDC will produce a String "ClassTests" of type CLASS, which is interpreted as a ClassObjectSym. Then INVOKEVIRTUAL, formally interpreted, leads to
(getVirtualRunTimeMethod "ClassTests" getName()Ljava.lang.String; )
Here is the punch line: since "ClassTests" is a ClassObjectSym, we use Class.getName(), which native implementation returns
(valueH (loc "ClassTests" ^className) heap) --> "ClassTests"
as desired. To support, native implementation for Object.getClass() must create a ClassObjectSym.
Replayed all sessions.
Modified Paths:
--------------
branches/mango/Mango/Mango/src/mango/control/action/control/StopWorkerAction.java
branches/mango/Mango/Mango/src/mango/control/action/control/WorkerAction.java
branches/mango/Mango/Mango/src/mango/control/action/editor/NameAction.java
branches/mango/Mango/Mango/src/mango/control/action/editor/PostAction.java
branches/mango/Mango/Mango/src/mango/control/action/input/RuleBaseAction.java
branches/mango/Mango/Mango/src/mango/control/action/window/ResetPopupAction.java
branches/mango/Mango/Mango/src/mango/control/editor/MFLEditorWindow.java
branches/mango/Mango/Mango/src/mango/control/msg/OpenMFLEditorRequestMsg.java
branches/mango/Mango/Mango/src/mango/control/msg/OpenMFLasAxiomRequestMsg.java
branches/mango/Mango/Mango/src/mango/control/msg/ReplayedMsg.java
branches/mango/Mango/Mango/src/mango/core/CoreKons.java
branches/mango/Mango/Mango/src/mango/core/CoreKonsFactory.java
branches/mango/Mango/Mango/src/mango/core/CoreMangoObject.java
branches/mango/Mango/Mango/src/mango/core/CoreRule.java
branches/mango/Mango/Mango/src/mango/core/CoreTier.java
branches/mango/Mango/Mango/src/mango/core/ProxyActiveObject.java
branches/mango/Mango/Mango/src/mango/core/RuleResourceManager.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ApplyCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/CloneCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/CoreCutAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/CorePasteAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/DownloadCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/EnforceTierSettingsAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ImportCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ImportCoreTierAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/NewCoreRuleAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/NewCoreTierAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/SaveCoreRuleBaseOutlineAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ScriptedActivateAction.java
branches/mango/Mango/Mango/src/mango/core/gui/action/ScriptedDeactivateAction.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreRuleBaseTableModel.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreTierTableModel.java
branches/mango/Mango/Mango/src/mango/core/gui/tablemodel/CoreVariableTableModel.java
branches/mango/Mango/Mango/src/mango/core/gui/window/CoreRuleEditorWindow.java
branches/mango/Mango/Mango/src/mango/core/io/MangoEncoder.java
branches/mango/Mango/Mango/src/mango/core/mfl/CoreMFLBuilder.java
branches/mango/Mango/Mango/src/mango/core/mfl/CoreMFLTokenizer.java
branches/mango/Mango/Mango/src/mango/core/sym/RuleBaseSym.java
branches/mango/Mango/Mango/src/mango/coreserver/file/FileManager.java
branches/mango/Mango/Mango/src/mango/debugger/BreakPointWindow.java
branches/mango/Mango/Mango/src/mango/debugger/DebuggerViewManager.java
branches/mango/Mango/Mango/src/mango/debugger/DebuggerWindow.java
branches/mango/Mango/Mango/src/mango/debugger/action/BreakPointTypeAction.java
branches/mango/Mango/Mango/src/mango/debugger/action/ClearAllBreakPointsAction.java
branches/mango/Mango/Mango/src/mango/debugger/action/RuleKeyBreakPointAction.java
branches/mango/Mango/Mango/src/mango/debugger/action/StepAction.java
branches/mango/Mango/Mango/src/mango/debugger/action/StopRewritingAction.java
branches/mango/Mango/Mango/src/mango/debugger/model/SingleStep.java
branches/mango/Mango/Mango/src/mango/debugger/model/SingleStepTracker.java
branches/mango/Mango/Mango/src/mango/debugger/model/StepAll.java
branches/mango/Mango/Mango/src/mango/debugger/msg/ClearBreakPointMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/ContinueRewritingMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SetBreakPointMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SetBreakPointTypeMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SetRuleKeyBreakPointMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SingleOffMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SingleOnMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/SingleStepMsg.java
branches/mango/Mango/Mango/src/mango/debugger/msg/StopRewritingMsg.java
branches/mango/Mango/Mango/src/mango/enterprise/locator/LocatorManager.java
branches/mango/Mango/Mango/src/mango/enterprise/model/GetPredicateTransformer.java
branches/mango/Mango/Mango/src/mango/enterprise/model/HiddenObject.java
branches/mango/Mango/Mango/src/mango/enterprise/model/MethodProxy.java
branches/mango/Mango/Mango/src/mango/enterprise/sym/ExpLevelSym.java
branches/mango/Mango/Mango/src/mango/enterprise/workerID/PersistentParityID.java
branches/mango/Mango/Mango/src/mango/enterprise/workerID/SourceAspectID.java
branches/mango/Mango/Mango/src/mango/enterprise/workerID/TransientParityID.java
branches/mango/Mango/Mango/src/mango/enterprise/workerID/WorkerID.java
branches/mango/Mango/Mango/src/mango/graph/Graph2DViewWindow.java
branches/mango/Mango/Mango/src/mango/graph/agent/CoarseGraphViewAgent.java
branches/mango/Mango/Mango/src/mango/graph/agent/GraphViewAgent.java
branches/mango/Mango/Mango/src/mango/graph/msg/Graph3DViewCreateCommandMsg.java
branches/mango/Mango/Mango/src/mango/gumboModel/ColorDataBinding.java
branches/mango/Mango/Mango/src/mango/gumboModel/ViewBuilder.java
branches/mango/Mango/Mango/src/mango/gumboModel/action/ActionManager.java
branches/mango/Mango/Mango/src/mango/gumboModel/action/MangoActionMenuItem.java
branches/mango/Mango/Mango/src/mango/gumboModel/action/SingleSelectAction.java
branches/mango/Mango/Mango/src/mango/gumboModel/agent/ActionAgent.java
branches/mango/Mango/Mango/src/mango/gumboModel/agent/AspectModelAgent.java
branches/mango/Mango/Mango/src/mango/gumboModel/factory/TreeModelFactory.java
branches/mango/Mango/Mango/src/mango/gumboModel/interaction/MangoViewManager.java
branches/mango/Mango/Mango/src/mango/gumboModel/interaction/PopupMenuManager.java
branches/mango/Mango/Mango/src/mango/gumboModel/msg/GumboCommand.java
branches/mango/Mango/Mango/src/mango/gumboModel/msg/PopupMenuCommand.java
branches/mango/Mango/Mango/src/mango/gumboModel/window/ChildWindow.java
branches/mango/Mango/Mango/src/mango/merge/action/SelectCoreRuleBaseAction.java
branches/mango/Mango/Mango/src/mango/module/ModuleWindowManager.java
branches/mango/Mango/Mango/src/mango/module/definition/AbstractEquivalenceWindow.java
branches/mango/Mango/Mango/src/mango/module/definition/action/AddEquivalenceAction.java
branches/mango/Mango/Mango/src/mango/module/definition/action/GenericPopupAction.java
branches/mango/Mango/Mango/src/mango/module/definition/action/ShowCaseAction.java
branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/loop/msg/LoopDefinitionRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/method/msg/MethodDefinitionRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/model/DefinitionManager.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddConjectureLocatorMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddConjectureRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddConjectureTranslateMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceAutoRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureLocatorMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceConjectureRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddEquivalenceRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddHypothesisAutoRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddHypothesisLocatorMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddHypothesisRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/AddHypothesisTranslateMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseCaseMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseCaseTranslateMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/CloseDefinitionMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/EliminateHypothesisRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/msg/FinalizeStatusMsg.java
branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
branches/mango/Mango/Mango/src/mango/module/definition/trap/ConsistentHypoConnector.java
branches/mango/Mango/Mango/src/mango/module/definition/trap/EliminateHypoTrap.java
branches/mango/Mango/Mango/src/mango/module/instance/loop/agent/LoopInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
branches/mango/Mango/Mango/src/mango/module/instance/method/agent/MethodInstanceAgent.java
branches/mango/Mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
branches/mango/Mango/Mango/src/mango/module/instance/method/msg/CloseMethodInstanceMsg.java
branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
branches/mango/Mango/Mango/src/mango/module/instance/msg/MergeRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/instance/msg/SubmitStandingHypothesisMsg.java
branches/mango/Mango/Mango/src/mango/module/instance/sym/InstanceManagerProxySym.java
branches/mango/Mango/Mango/src/mango/module/instance/sym/InstanceManagerSym.java
branches/mango/Mango/Mango/src/mango/module/model/ModuleManager.java
branches/mango/Mango/Mango/src/mango/module/model/RuleModel.java
branches/mango/Mango/Mango/src/mango/module/msg/ApplyInvarianceRulesMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/ApplyLinearRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/ContainsTestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/GarbageCollectRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/GeneralizeRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/MapToScopeRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/MatchMakerRequestMsg.java
branches/mango/Mango/Mango/src/mango/module/msg/TranslateMsg.java
branches/mango/Mango/Mango/src/mango/module/sym/ModuleReadOnlySym.java
branches/mango/Mango/Mango/src/mango/module/trap/GeneralizeCaseRewriteTrap.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/OverDisambiguation.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SHOW.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/StabilizeArguments.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/SyntacticEquals.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/conditional/WithDiveCommutes.java
branches/mango/Mango/Mango/src/mango/ruleAction/conditionalTechniques/linear/BuildEquation.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUcon.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsArray.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsPrimitiveClass.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/IsSuperClass.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/MakeComponentClass.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/ComposePrependedClinits.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/HasCommutingClinit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/comparison/InequivalentRef.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/garbageCollection/GarbageCollect.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/IsDigit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/IsLetter.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/IsLetterOrDigit.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/mango_math/IsSpaceChar.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/numerical/Power.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SORT.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/IndexOf.java
branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/string/QualifiedMember2Member.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/StatTransitionToFunctionalContext.java
branches/mango/Mango/Mango/src/mango/ruleAction/form/binder/ValueH.java
branches/mango/Mango/Mango/src/mango/ruleAction/function/engine/BindFunctionSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/invariant/Invariant.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/definition/HarvestParameters.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/instance/BuildLoopInstanceManager.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/instance/BuildMethodInstanceManager.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/instance/IsLoopDefinitionClosed.java
branches/mango/Mango/Mango/src/mango/ruleAction/module/instance/IsMethodDefinitionClosed.java
branches/mango/Mango/Mango/src/mango/ruleAction/simpleSubstitution/AutomaticSubstitution.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/automatic/ThisIsNotNull.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateLocation.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateModuleHypothesisSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateNotUserInvocationSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateReturnValue.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/engine/TranslateUserInvocationSym.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForEquality.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsArray.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsClassLoadable.java
branches/mango/Mango/Mango/src/mango/ruleAction/translate/semantics/AddSemanticsForIsSuperClass.java
branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/AssignNotObjectValue.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/BinderHeap.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/ConjunctionSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/EquationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/HeapObjectSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/InequationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/OpStack.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/binder/StatItemSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/BaseInvariantAgentProxySym.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/LoopInvocationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/MethodInvocationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/ModuleInvocationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/ParamSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/function/UserInvocationSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/naturalLanguage/Instantiated.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/MethodInstanceSymReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/symbols/StringReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ClassNameSymbolReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FrameReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FunctionReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredTransformerReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/PredicateReq.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/ArithmeticFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntegralArrayFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/numerical/IntegralFieldType.java
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/variableLength/FreeVarsReq.java
branches/mango/Mango/Mango/src/mango/script/MangoScriptSourceDirectory.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptDownAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptRemoveAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptRunAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptSelectAllAction.java
branches/mango/Mango/Mango/src/mango/script/gui/action/ScriptUpAction.java
branches/mango/Mango/Mango/src/mango/script/util/MangoScriptUtilities.java
branches/mango/Mango/Mango/src/mango/script/util/ScriptAndPostAction.java
branches/mango/Mango/Mango/src/mango/source/agent/SourceViewAgent.java
branches/mango/Mango/Mango/src/mango/tree/TreeViewWindow.java
branches/mango/Mango/Mango/src/mango/tree/agent/FolderViewAgent.java
branches/mango/Mango/Mango/src/mango/tree/data/TreeNodeClientData.java
branches/mango/Mango/Mango/src/mango/tree/model/FolderViewer.java
branches/mango/Mango/Mango/src/mango/tree/msg/ChangeTreeRequestMsg.java
branches/mango/Mango/Mango/src/mango/tree/msg/TreeNodeAddCommandMsg.java
branches/mango/Mango/Mango/src/mango/tree/msg/TreeNodeCloseRequestMsg.java
branches/mango/Mango/Mango/src/mango/tree/msg/UndoFormattingOpenRequestMsg.java
branches/mango/Mango/Mango/src/mango/util/WorkerIDNotifier.java
branches/mango/Mango/Mango/src/mango/worker/Mango.java
branches/mango/Mango/Mango/src/mango/worker/Worker.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/CallBack.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/Event.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/LocalMessage.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/QueueableEvent.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteCallBack.java
branches/mango/Mango/Mango/src/mango/worker/engine/events/RewriteEvent.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Cons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Hitem.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHash.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashLogicAndArithmetic.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashOpcodeSyms.java
branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/ActiveObject.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/AssumeHypoRule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/Rule.java
branches/mango/Mango/Mango/src/mango/worker/engine/rule/RuleBase.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/AgentSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ExpressionSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/InterpretableSym.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/ActionCallBack.java
branches/mango/Mango/Mango/src/mango/worker/engine/unifier/UnifyEvent.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/AlphaDelegate.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/backupDelegate/EdgeDelegate.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/edge/EdgeIterator.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/graph/StrataGraph.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/graphic/Graphic.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/InvocationEdgeSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/PackageSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/SuperVertexClassSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/reflection/StateSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/return_terminator/ReturnTerminatorSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/OSsinkSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/ThrowSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperBlowUpSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperLoopSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperStrataSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/superVertex/SuperVertexSym.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/AcyclicVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/BackupVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CallVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/LoopVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/MethodVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperCpnVertex.java
branches/mango/Mango/Mango/src/mango/worker/mangoModel/vertex/SuperVertex.java
branches/mango/Mango/Mango/src/mango/worker/msg/AckPermCommand.java
branches/mango/Mango/Mango/src/mango/worker/msg/AutoResetMsg.java
branches/mango/Mango/Mango/src/mango/worker/msg/NewWorkerMsg.java
branches/mango/Mango/Mango/src/mango/worker/msg/RulebaseMsg.java
branches/mango/Mango/Mango/src/mango/worker/utilities/MutableArray.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/BackchainAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/MatchAssumptionsAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyAndAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/SimplifyOrAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/WithAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapPointer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/model/HeapTracer.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteLocatorMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/RewriteRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/msg/StableRewriteLocator.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/FoundationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/sym/InequationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/ApplyLinearTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/CellUpdateTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/GarbageCollectTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/RewriteTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/FrameModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapItemModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/HeapObjectModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/LocalArrayModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/LocalItemModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/OpItemModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/OperandStackModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/StackModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/model/StatModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/BinderSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/ContextBinderSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/FrameSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/HeapSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/LocalVarSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/revealed/LocalSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/agent/EvaluatePredicateAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/agent/StabilizeParameterAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/FunctionSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleHypothesisSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/UserInvocationSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/BaseInvariantAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalInvariantTestAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/ConditionalMethodTestAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantFactorizationAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantHypoAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/InvariantTestAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/agent/MethodInvariantTestAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/FactorizationModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/invariant/model/InvariantModel.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/EventLoopCmd.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/EventLoopTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/HitemUtil.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/model/WorkFlowUtil.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/AckCommand.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/AddActiveObjectMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ClearStatisticsRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/DestroyActiveObjectMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/EnforceTierSettingsRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/InitSessionMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/NameChangeActiveObjectMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/RedoLocatorMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/RedoRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ReplaceRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteLocatorMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ReplaceRewriteRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ScheduleRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/SetActiveCoreMangoObjectMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/TrapCommand.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/UpdateStatisticsRequestMsg.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/agent/AutoAssumeEquivalenceAgent.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTranslateTrap.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/translate/trap/ScriptedTrapConnector.java
branches/mango/Mango/ThreadSupport/src/threadTest/ParentCommand.java
branches/mango/Mango/ThreadSupport/src/threadTest/ScriptTest.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptRunAction.java
branches/mango/Mango/ThreadSupport/src/threadTest/script/ScriptWindow.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/Invocation.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoClassPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoFieldPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoInvokeInstruction.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ARETURN.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/ATHROW.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/DRETURN.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/FRETURN.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GOTO.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/GOTO_W.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKETARGET.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/IRETURN.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/JSR_W.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LDC.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/LRETURN.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/NEWARRAY.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/RET.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/RETURN.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchAdvisor.java
branches/mango/Mango/src/mango/intro/ApplicationWorkbenchWindowAdvisor.java
branches/mango/Mango/src/mango/intro/LoginDialog.java
branches/mango/Mango/src/mango/views/GenSpecWindow.java
branches/mango/Mango/src/mango/views/GlobalViewWindow.java
branches/mango/Mango/src/mango/views/LogWindow.java
branches/mango/Mango/src/mango/views/MangoScriptWindow.java
Added Paths:
-----------
branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ClassObjectReq.java
branches/mango/Mango/Mango/src/mango/worker/engine/sym/ClassObjectSym.java
branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/trap/MapToScopeTrap.java
Removed Paths:
-------------
branches/mango/Mango/Mango/src/mango/module/trap/MapToScopeTrap.java
branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JclassSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JfieldSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JmethodSym.java
branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/sym/JnonclassSym.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
