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

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Revision: 244
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=244&view=rev
Author:   pcmehlitz
Date:     2007-02-10 18:00:48 -0800 (Sat, 10 Feb 2007)

Log Message:
-----------
* used the BreakGenerator in the AssertionProperty to avoid state explosion when all
we want is a simple transition break. Added a ThreadInfo.breakTransition() to do that

* turned the statechart Coverage tool into a Property. This is an example of a property
that collects data during execution (search/vm listener), but is only evaluated when the
search finishes. Still a bit clumsy, but shows how to do some sort of liveness

Modified Paths:
--------------
    trunk/extensions/statechart/src/gov/nasa/jpf/tools/sc/Coverage.java
    trunk/src/gov/nasa/jpf/jvm/ThreadInfo.java
    trunk/src/gov/nasa/jpf/report/ConsolePublisher.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/search/SearchListenerMulticaster.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/AssertionProperty.java

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