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

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

Revision: 1490
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1490&view=rev
Author:   frankrimlinger
Date:     2009-05-07 02:26:40 +0000 (Thu, 07 May 2009)

Log Message:
-----------
Fixed various invocation related bugs.  There is a problem when a choice terminates at an instruction that has already been visited.  For some reason, pc becomes null because no listener is listening?  Must investigate.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/BranchListener.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/CodeSurvey.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


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