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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1424
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1424&view=rev
Author:   frankrimlinger
Date:     2009-04-21 14:21:15 +0000 (Tue, 21 Apr 2009)

Log Message:
-----------
Successful test of MangoTargetLauncher, which uses reflection to invoke the target method for symbolic simulation, eliminating the need to manually create a main() driver.  Under this scenario, successfully duplicate the entire run for the MyClass1 example.  The trick was to debug the launcher using the vm BEFORE attempting vm^2, because unfortunately cannot step through vm^2 with debugger (maybe you can with VJP?).  

In any event, learned about listeners and the model java interface.  There is a lot of subtle stuff going on here, and the fact that the launcher works out-of-the-box gives me enormous confidence to proceed.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/gov/nasa/jpf/JPF_MIRROR.java
    branches/mango/MangoJPF/javapathfinder-trunk-MIRROR/mango/symbc/MangoTargetLauncher.java

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