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

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

Revision: 1527
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1527&view=rev
Author:   frankrimlinger
Date:     2009-05-17 05:17:30 +0000 (Sun, 17 May 2009)

Log Message:
-----------
Ported the Invocation class.  This class generates the formal branch conditions for invocations, now based on the CodeSurvey and the bridge classes BranchUtil and ExceptionHandlerUtil.  Also introduced bridge class InstructionUtil to help out with generating various names using existing mango api.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/module/definition/method/MethodDefinitionManager.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/byteCodeModel/Invoking.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/InstructionSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/InvocationSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JclassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JfieldSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JmethodSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/JnonclassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/engine/hash/symbolHash/SymbolHashCoreParser.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/graphic/CodeSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/sym/ucon/MethodEntrySym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/mangoModel/vertex/CpnVertex.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationUtil.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

Added Paths:
-----------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/ClassSym.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InstructionUtil.java

Removed Paths:
-------------
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/ClassSym.java
    branches/mango/MangoJPF/Mango/src/mango/worker/byteCodeModel/sym/ReturnPointLinkSym.java


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