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

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

Revision: 757
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=757&view=rev
Author:   pcmehlitz
Date:     2008-02-21 16:38:12 -0800 (Thu, 21 Feb 2008)

Log Message:
-----------
* added a 'vm.peer_packages' property which can be used to specify an ordered list of packages we try to
locate native peer classes. This is required to override native peer implementations from extension. The
alternative would have been to try all packages in the classpath, i.e. control the lookup with the
classpath order, but that would be VERY inefficient since there are gazillions of packages in the usual
classpath (the jars!)

Modified Paths:
--------------
    trunk/default.properties
    trunk/extensions/statechart/examples/CompletionSend.es
    trunk/extensions/statechart/examples/CompletionSend.java
    trunk/src/gov/nasa/jpf/jvm/MJIEnv.java
    trunk/src/gov/nasa/jpf/jvm/NativePeer.java

Added Paths:
-----------
    trunk/examples/jpfESAS/launch/CEV-las-defect.launch

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