[Javapathfinder-svn] SF.net SVN: javapathfinder:[1054] trunk/src/gov/nasa/jpf

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

Revision: 1054
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1054&view=rev
Author:   pcmehlitz
Date:     2008-11-01 04:07:10 +0000 (Sat, 01 Nov 2008)

Log Message:
-----------
* added support for symbolic loading of listeners via optional listener classloader. If +jpf.listener.classpath is set
(beware, that's still platform dependent!), we create a URLClassLoader (parented to the defining loader for JPF) to
load/instantiate listener classes. This comes in handy in case we have listeners that are not part of JPF, but we run
in an environment where we can't set the CLASSPATH (e.g. Eclipse or NetBeans plugin, which have their own loaders).

Property, NativePeer and BytecodeFactory still need to be expanded correspondingly

* to support this, added API versions with explicit classloaders to most of the Config class/object getters.
Config is a mess now, this needs to be cleaned up

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/JPF.java


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