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

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

Revision: 1057
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1057&view=rev
Author:   pcmehlitz
Date:     2008-11-04 02:40:45 +0000 (Tue, 04 Nov 2008)

Log Message:
-----------
* added ClassLoader support for NativePeer and InstructionFactory. Actually, NativePeer was already using a loader, only that it was missing the init. InstructionFactory also loads the bcel classes with the loader, which is questionable (but should always work because it is parented). Now we have the following (optional) new classpath properties

  jpf.listener.classpath
  vm.peer.classpath
  vm.insn_factory.classpath

a malformed path inside those properties now throws a Config.Exception

* moved the loader instantiation into Config, since it's used from different places

* WATCH OUT: changed vm.peer_packages into vm.peer.packages. Could only find two refs in the concolic extension *.launch files, which have been updated, but people might have their own launch configs

Modified Paths:
--------------
    trunk/default.properties
    trunk/extensions/complexcoverage/test/ComplexCoverage DoubleTest Normal.launch
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun Symbolic.launch
    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/InstructionFactory.java
    trunk/src/gov/nasa/jpf/jvm/MethodInfo.java
    trunk/src/gov/nasa/jpf/jvm/NativePeer.java
    trunk/src/gov/nasa/jpf/util/GenericInstructionFactory.java


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