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

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

Revision: 1486
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1486&view=rev
Author:   frankrimlinger
Date:     2009-05-05 18:19:45 +0000 (Tue, 05 May 2009)

Log Message:
-----------
Prep work for final scanner bytecode rehab in place.  The code is a lot cleaner and meaner.  Replacing the target launcher with a choice generator for the synthetic INVOKETARGET instruction turned out to really simplify matters.  In particular, the "phase transition" is now trivial.  Once the scanner turns on, it stays until vm^2 exits upon exhausting all choices.

Hopefully it will all work as expected, but not possible to test until bytecodes are ready.

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/TargetChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/INVOKEVIRTUAL.java

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

Removed Paths:
-------------
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/ScannerStackFrame.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/InvocationChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/ScanChoiceGenerator.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/mango/scanner/bytecode/VirtualInvocationScan.java


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