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

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

Revision: 1018
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1018&view=rev
Author:   pcmehlitz
Date:     2008-09-23 02:15:51 +0000 (Tue, 23 Sep 2008)

Log Message:
-----------
* slightly modified the ConfigChangeListener interface, to include the Config object in the notification

* added some String[] delta methods to gov.nasa.jpf.util.Misc

* refactored Config a bit to better support runtime changes (incl. normalization) - there should be
a value processing layer that gets values passed in as Strings, instead of looking them up with a key
(only done ad hoc for a few methods so far)

* implemented JPF and JPF_java_util_Random ConfigChangeListeners. So far, that only supports
change of jpf.listener and cg.enuerate_random, but that's enough for TestNonShared and shows
how this is done (it's going to be a long haul, but in the end we can use this to control
JPF at runtime, e.g. from the plugins)

next up is to support a program interface via Verify 

Modified Paths:
--------------
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_Random.java
    trunk/src/gov/nasa/jpf/Config.java
    trunk/src/gov/nasa/jpf/ConfigChangeListener.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/InfoObject.java
    trunk/src/gov/nasa/jpf/util/Misc.java


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