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

[<pcm...@us...>]

Revision: 341
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=341&view=rev
Author:   pcmehlitz
Date:     2007-05-15 23:05:30 -0700 (Tue, 15 May 2007)

Log Message:
-----------
* added an init(Config) call from the NativePeer ctor, to initialize
native peer classes. the method is optional, but should be implemented
if the native peer class (which is all static) has static fields that
might cause memory leaks during consecutive JPF runs (e.g. from junit
test cases)

* updated native peers accordingly, which fixed a rather serious leak
in JPF_java_lang_reflect_Method

* commented out the PeerDispatcher support, it seems superfluous since
reflection invocation got fast enough

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_io_FileDescriptor.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Field.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_reflect_Method.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_text_Format.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_security_MessageDigest.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/NativePeer.java


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