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

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

Revision: 1332
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1332&view=rev
Author:   pcmehlitz
Date:     2009-03-27 05:08:30 +0000 (Fri, 27 Mar 2009)

Log Message:
-----------
batch of patches from Nathan Reynolds - thanks

* HTMLPublisher - this creates a bunch of scripted web pages with various result topics, suitable for browsing (but not storing). It still needs some cleanup to remove PublisherExtension dependencies (a Publisher should NOT have to be aware of specific extensions), and it doesn't (yet) follow the publisher configuration scheme, but it's a pretty sophisticated web interface. 

* the only PublisherExtension that currently supports it is the CoverageAnalyzer, which got refactored so that publisher specific methods are kept together (also needs some cleanup once HtmlPublisher is more conformant)

* the VarRecorder is a little utility listener that adds trace comments for variable access ops

* store state id and ThreadInfo in Transition

* some little optimizations in SimpleIdleFilter and Source

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/ClassInfo.java
    trunk/src/gov/nasa/jpf/jvm/StackFrame.java
    trunk/src/gov/nasa/jpf/jvm/SystemState.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/jvm/Transition.java
    trunk/src/gov/nasa/jpf/tools/CoverageAnalyzer.java
    trunk/src/gov/nasa/jpf/tools/SimpleIdleFilter.java
    trunk/src/gov/nasa/jpf/util/Source.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/report/HTMLPublisher.java
    trunk/src/gov/nasa/jpf/tools/VarRecorder.java


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