[Javapathfinder-svn] SF.net SVN: javapathfinder:[1778] branches/mango/Mango

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

Revision: 1778
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1778&view=rev
Author:   frankrimlinger
Date:     2009-07-24 22:28:14 +0000 (Fri, 24 Jul 2009)

Log Message:
-----------
Fixed bug refactoring dual and dualp to formal_dual and formal_dualp.  ditto for gstack. Fixed stale type names in free variable expressions within generalization and matching rules.

Fixed misspelling "Invocaton" of "Invocation" in rule base. There is nothing like shooting yourself in the foot.  

Changed specification status types to <method> and <loop> for conceptual clarity.

Eliminated "wrapper keys".  This was an ill-conceived rewriter optimization technique that is no longer required due to changes in the typing system.

To aid in parameter detection, introduced formal types <unknownLocalVar> and <unknownOpVar>.  Henceforth, direct comparision with <unknown> is not advisable.  Instead, us the static method FormalTypes.isUnknown(), which will check for null or any flavor of unknowness.  

Working on specification of Class_MangoFormal.forName().  The "last bug" is failure of getFromLocalVar to pick up unknownLocalVar type.

Modified Paths:
--------------
    branches/mango/Mango/Mango/src/mango/core/RuleResourceManager.java
    branches/mango/Mango/Mango/src/mango/core/sym/RuleKey.java
    branches/mango/Mango/Mango/src/mango/module/definition/loop/LoopDefinitionManager.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/model/DefinitionManager.java
    branches/mango/Mango/Mango/src/mango/module/definition/sym/ParamSym.java
    branches/mango/Mango/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
    branches/mango/Mango/Mango/src/mango/module/instance/method/model/MethodInstanceManager.java
    branches/mango/Mango/Mango/src/mango/module/instance/model/InstanceManager.java
    branches/mango/Mango/Mango/src/mango/module/msg/TranslateMsg.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUconDummy.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/clinit/HasCommutingClinit.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SORT.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTM.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/sorting/SRTP.java
    branches/mango/Mango/Mango/src/mango/tree/model/Cell.java
    branches/mango/Mango/Mango/src/mango/tree/model/FolderViewer.java
    branches/mango/Mango/Mango/src/mango/worker/Mango.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/Kons.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEnterpriseAndTranslation.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashInitialize.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashMangoModel.java
    branches/mango/Mango/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashTyping.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/ClassNameSym.java
    branches/mango/Mango/Mango/src/mango/worker/engine/sym/Sym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/BackupAlg.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.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/BadPlaceSinkSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/SinkTerminatorSym.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/ucon/InvocationUconSym.java
    branches/mango/Mango/Mango/src/mango/worker/utilities/Util.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/coreTechniques/agent/FreeVarsAgent.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/StackSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/form/sym/binder/executable/StatSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/functionSpace/sym/ModuleInvocationSym.java
    branches/mango/Mango/Mango/src/mango/worker/workFlow/msg/ShowTypeRequestMsg.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/FormalTypes.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/MangoMethodPeer.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
    branches/mango/Mango/mangoUserHome/frank/rules/rulebase.zip
    branches/mango/Mango/mangoUserHome/system/System/mango/cheat_sheet.txt

Added Paths:
-----------
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocationUcon.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_frame.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_heap.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_stack.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownLocalVar.java
    branches/mango/Mango/Mango/src/mango/ruleAction/typeAssignment/Assign_formal_unknownOpVar.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/FrameReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/HeapReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/LocationReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/ObjectReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/StackReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownLocalVarReq.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/typing/UnknownOpVarReq.java
    branches/mango/Mango/mangoUserHome/frank/sessions/a.zip
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/
    branches/mango/Mango/mangoUserHome/frank/sessions/java/lang/Class_MangoFormal/forName(Ljava.lang.String_MangoFormal;)Ljava.lang.Class_MangoFormal;/a.zip

Removed Paths:
-------------
    branches/mango/Mango/Mango/src/mango/graph/data/sink_terminator/AssertionData.java
    branches/mango/Mango/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildInvocatonUcon.java
    branches/mango/Mango/Mango/src/mango/ruleRequirement/semantics/SemanticsForIsSuperClass.java
    branches/mango/Mango/Mango/src/mango/worker/mangoModel/sym/sink_terminator/AssertionSym.java


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