[Javapathfinder-devel] SF.net SVN: javapathfinder: [237] trunk

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

Revision: 237
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=237&view=rev
Author:   pcmehlitz
Date:     2007-02-07 22:57:45 -0800 (Wed, 07 Feb 2007)

Log Message:
-----------
* cleanup of default.properties : search.print_errors and search.print_path are gone

* changed initialization of SystemState.recordSteps, to be delayed until we have
the reporter set up (which is a system listener). It's set if any of the
configured Publishers has a 'trace' topic

* extended Reporter and Publisher interface accordingly

* removed corresponding fragments from Error - it has no saying in the 
report generation anymore

* initial stab at search.mutiple_errors, but it's not functional yet

Modified Paths:
--------------
    trunk/default.properties
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_Runtime.java
    trunk/env/jvm/gov/nasa/jpf/jvm/JPF_java_util_Random.java
    trunk/src/gov/nasa/jpf/Error.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/jvm/SystemState.java
    trunk/src/gov/nasa/jpf/report/Publisher.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    trunk/src/gov/nasa/jpf/search/Search.java


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