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

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

Revision: 242
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=242&view=rev
Author:   pcmehlitz
Date:     2007-02-09 12:00:34 -0800 (Fri, 09 Feb 2007)

Log Message:
-----------
* report system overhaul to support search.multiple_errors. this mainly involves restructuring the
publishers to print out property violations on the go. It just doesn't make sense to not keep
error description, snaphot, trace and path output sections for each property violation together.
As a consequence, publisher topic lists are now broken down into phases: start, transition,
property violation, finished. The property files have to be updated accordingly
(e.g. jpf.report.console.property_violation=error:snapshot:trace)

Since the traces/snapshots are reported on-the-fly, we theoretically don't have to
deep copy paths and snapshots anymore. It would be still required if somebody wants
to process this in searchFinished(), but it can be terribly expensive, so I probably
have to turn that into an option

I haven't updated the XMLPublisher yet, so that thing is currently broken

* vm.path_output is gone - it is synonym to having an "output" topic in any of the
configured publishers (same as the old search.print_errors - if no one publishes "trace"
we don't need to store it)

* based on the Fujitsu experience, I have extended the "statistics" topic data collection
so that we can get useful insights w/o a subsequent SearchMonitor run

Modified Paths:
--------------
    trunk/default.properties
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/Coverage.java
    trunk/src/gov/nasa/jpf/Error.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/JVM.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/report/Publisher.java
    trunk/src/gov/nasa/jpf/report/PublisherExtension.java
    trunk/src/gov/nasa/jpf/report/Reporter.java
    trunk/src/gov/nasa/jpf/report/Statistics.java
    trunk/src/gov/nasa/jpf/report/XMLPublisher.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/tools/ChoiceTracker.java


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