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

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

Revision: 1532
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1532&view=rev
Author:   pcmehlitz
Date:     2009-05-18 21:47:10 +0000 (Mon, 18 May 2009)

Log Message:
-----------
* IMPORTANT - Config initialization is now flattened, and values are expanded upon entry. This means that clients that need to process raw values (including var names) would not work anymore, and the order of symbolic entries does now matter (processed sequentially). On the other hand, we didn't have such clients in the distrib, but lots of clients didn't use getExpandedXX() instead of getXX(), so this is going to fix a lot of config problems.

Note that we can also do recursive init now, like in

  vm.classpath=my/path,${vm.classpath}

the old '+=' append still works too, but with the same restrictions in property files (no blanks between key and '+') - we should use our own parsing at some point.

* since there is no Config.defaults anymore, the publishers had to be updated. Decided against throwing a Config.Exception if defaults.properties is not found, since a lot of clients do not handle exceptions during Config init, and some of them don't even need default.properties

Modified Paths:
--------------
    trunk/examples/launch/basic-random.launch
    trunk/examples/launch/conc-1-RA.launch
    trunk/extensions/cv/src/gov/nasa/jpf/cv/SCSafetyListener.java
    trunk/extensions/statechart/env/jvm/gov/nasa/jpf/jvm/NativeStateMachine.java
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/SCInspector.java
    trunk/extensions/ui/src/gov/nasa/jpf/tools/UIInspector.java
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/HTMLPublisher.java
    trunk/src/gov/nasa/jpf/report/XMLPublisher.java
    trunk/src/gov/nasa/jpf/tools/JavaJPF.java
    trunk/src/gov/nasa/jpf/util/Inspector.java
    trunk/test/gov/nasa/jpf/jvm/TestJPF.java


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