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

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

Revision: 1459
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1459&view=rev
Author:   frankrimlinger
Date:     2009-04-28 22:38:08 +0000 (Tue, 28 Apr 2009)

Log Message:
-----------
Finally grocked MJIEnv.  When you want to push an object for JPF to JVM, well, you can't expect an object to show up on the other side, all you get is a state and some references (heap addresses).  It's up to you to dive into the heap using the MJIEnv accessors and recover any data you want.  So probably will end up with a greatly expanded set of accessors that "know" the structure of important objects (like Instruction).  But the point is, it can be done.

Modified Paths:
--------------
    branches/mango/MangoJPF/Mango/src/mango/worker/Mango.java
    branches/mango/MangoJPF/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/JPF_mango_scanner_ScannerMJI.java


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