[Javapathfinder-svn] SF.net SVN: javapathfinder:[1422] branches/mango/MangoJPF/ javapathfinder-trunk-MIRROR/mango/symbc/MangoTargetLauncher.java

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

Revision: 1422
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1422&view=rev
Author:   frankrimlinger
Date:     2009-04-20 22:58:34 +0000 (Mon, 20 Apr 2009)

Log Message:
-----------
Well, it turns out that jpf can "do reflection" just fine, thank you very much.  I was fooled by something both incredibly obvious and totally weird.  I passed a static variable to Class.forName() which had been initialized, but not in the jpf virtual machine (the virtual^2 machine, so-to-speak).  So I was really passing null, which of course didn't work.  Obviously you can't use static intialization accomplished in the virtual machine to feed values to the main() routine running under the virtual^2 machine.  I was trying to do this because I could find a way to pass arguments to main through the jpf properties mechanism.  Perhaps there is a way.  If worst comes to worst, I can do file i/o, which is totally out-of-band.

Modified Paths:
--------------
    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.