[Javapathfinder-svn] SF.net SVN: javapathfinder:[1060] trunk

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

Revision: 1060
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1060&view=rev
Author:   pcmehlitz
Date:     2008-11-07 01:55:48 +0000 (Fri, 07 Nov 2008)

Log Message:
-----------
sometimes less is more..

* replaced all the specialized classloader properties (jpf.listener.classpath, vm.peer.classpath, vm.insn_factory.classpath) with the one and only "jpf.native_classpath", together with Config.{sg}etCurrentClassLoader() methods that manage a Config global classloader, which is implicitly used in all the getClass()/get[Essential]Instance() methods

RATIONALE: extending the host VM classpath via JPF properties serves the purpose of enabling JPF extensions outside the JPF project, to be usable in environments where the system class.path cannot be controlled (e.g. when using JPF from an Eclipse plugin). In this case, it is most likely that there is more than one extension component involved (e.g. listener and native peer), but they are probably kept in the same jar or project. In this case, having all these dedicated classloader properties would require a lot of duplication, running the danger of inconsistencies. This is even more important because we should consistently support classpath extensions for (almost) all configured JPF classes (Search, Heuristic, SchedulerFactory, whatever), i.e. there would have been a lot more of dedicated ...classpaths. Now we just do this once during JPF init. The lost functionality of not being able to mix different components from name-clashing external extension projects seems acceptable.

A a side effect, the Config API becomes more manageable again, too. Sorry if somebody already used the new ...classpaths - typical case of premature idea

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/DefaultInstructionFactory.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.