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

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

Revision: 1070
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1070&view=rev
Author:   pcmehlitz
Date:     2008-11-20 06:09:43 +0000 (Thu, 20 Nov 2008)

Log Message:
-----------
* added value appends to Config - a spec like "foo.bar+=,doo" now appends ",doo" to whatever current value is stored under "foo.bar". Needless to say it's useless within defaults.properties, but it is supported for both mode property files and command line args

NOTE - since we use the standard Properties.load(), this is a bit quirked: there is no blank allowed between the last key char and the '+', i.e. "foo.bar += ,doo" DOES NOT WORK

* first part of reworked +vm.sourcepath handling (now done centralized from ClassInfo, i.e. no more hardcoded defaults in jpf.util.Sources). So far, not much has changed for the user, but this will be extended towards *.jar support

Modified Paths:
--------------
    trunk/jpf.properties
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/util/Source.java


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