[Javapathfinder-devel] SF.net SVN: javapathfinder: [569] trunk

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

Revision: 569
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=569&view=rev
Author:   pcmehlitz
Date:     2007-09-17 11:51:35 -0700 (Mon, 17 Sep 2007)

Log Message:
-----------
* slightly extended the MJIEnv interface, adding add/removeListener() and getMethodInfo(ref)

* there was no JPF.removeListener - strange

* with that, implemented the precise ...test.MemoryGoal native peer as a listener. Well, almost precise,
because object heap size is of course VM specific. But the point is that we can keep track of
allocation/deallocation on a per-object basis. This should be good enough for an initial example
of how (and why) to do JPF specific goal implementations

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_test_MemoryGoal.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/test/gov/nasa/jpf/test/TestMethodTest.java

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