[Javapathfinder-svn] SF.net SVN: javapathfinder:[1529] branches/mango/MangoJPF

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

Revision: 1529
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1529&view=rev
Author:   frankrimlinger
Date:     2009-05-18 04:38:59 +0000 (Mon, 18 May 2009)

Log Message:
-----------
Bridge port for lots of broken code

Added MethodUtil, ClassUtil classes.  A porting pattern is emerging.  Except in simple cases where direct translation is possible, add an adapter method to the appropriate bridge utility, rather than attempt an in-situ fix.  This will localize the porting issues in the util classes.

Added  a concept of "mangoNative_packages" to indicate the code that will not be modelled by the backup algorithm.  This is the latest reincarnation of the "library" concept. It is interesting that the concept of "native" is now three levels deep. 


porting createBadBranch, the issue is that we need to determine if we already branched to the badBranch from this vertex.  So we need to know how to query the src Instruction to get its vertex to examine its outgoing edges.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/graph/data/graphic/CodeData.java
    branches/mango/MangoJPF/Mango/src/mango/graph/data/graphic/MethodData.java
    branches/mango/MangoJPF/Mango/src/mango/graph/data/supervertex/SuperVertexData.java
    branches/mango/MangoJPF/Mango/src/mango/graph/data/ucon/UconData.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/loop/LoopDefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/loop/msg/LoopDefinitionLocatorMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/method/MethodDefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/method/msg/CreateMethodStubMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/method/msg/MethodDefinitionLocatorMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/model/DefinitionManager.java
    branches/mango/MangoJPF/Mango/src/mango/module/definition/msg/RestoreContextMsg.java
    branches/mango/MangoJPF/Mango/src/mango/module/instance/loop/model/LoopInstanceManager.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/BuildAbstractUcon.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/Checkcast.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeException.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetInterfaceRunTimeMethod.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeException.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/GetVirtualRunTimeMethod.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsAssignmentCompatible.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsInterface.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/IsSuperClass.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/classModel/Is_class_loadable.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/clinit/CallThisClinit.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/coreRewriter/clinit/ComposePrependedClinits.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/AmbientLocal.java
    branches/mango/MangoJPF/Mango/src/mango/ruleAction/translate/engine/TranslateValueH.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/linearArithmetic/ArithmeticLocalVar.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/symbols/InstructionSymReq.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/symbols/InvocationSymReq.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/ArithmeticFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/ArithmeticValue.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/IntegralArrayFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/ruleRequirement/typing/IntegralFieldType.java
    branches/mango/MangoJPF/Mango/src/mango/source/agent/msg/SourceViewCreateRequestMsg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/Worker.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/Invocation.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashEngine.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/rule/AssumeEquivRule.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/CheckCast_getValueAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/agent/IsAssignmentCompatibleAgent.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/backupAlg/BackupAlg.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/MethodSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/form/model/HeapModel.java
    branches/mango/MangoJPF/Mango/src/mango/worker/workFlow/model/HitemUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InstructionUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKECLINIT.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEINTERFACE.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESPECIAL.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKESTATIC.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java
    branches/mango/MangoJPF/src/mango/intro/ConfigurationDetails.java
    branches/mango/MangoJPF/src/mango/intro/LoginDialog.java

Added Paths:
-----------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ClassUtil.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/MethodUtil.java


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