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

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

Revision: 314
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=314&view=rev
Author:   pcmehlitz
Date:     2007-04-16 00:37:24 -0700 (Mon, 16 Apr 2007)

Log Message:
-----------
* reworked trace replay - the SystemState internal replay was too redundant with
the ChoiceSelector, and the double use of "vm.use_trace" (both create and replay)
was too confusing.

* removed all this stuff from SystemState

* storage is now done with the TraceStorer, and it can handle a number of store
conditions outside property_violations. This also solves the problem of storing
init traces (if no error was found). Use "trace.file=.." to specify trace file
names (there are also a bunch of other options like "trace.multiple"). Default
trace file name is "trace"

* replay is done via the ChoiceSelector, which now has the "choice.use_trace"
property

* added a simple SingSetMatcher, to get rid once and for all with the
"prefix vs. regexpr" lookup in class lists, field lists, method lists etc.
This one also handled wildcards in a more Java identifier friendly way
(wildcard is '*', the '.' is an ordinary char and can appear in the pattern)

Still need to convert potential users

Modified Paths:
--------------
    trunk/examples/ase2006/TestPartialTrace.java
    trunk/src/gov/nasa/jpf/JPF.java
    trunk/src/gov/nasa/jpf/jvm/ChoicePoint.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/jvm/Verify.java
    trunk/src/gov/nasa/jpf/search/Search.java
    trunk/src/gov/nasa/jpf/tools/ChoiceSelector.java
    trunk/test/gov/nasa/jpf/mc/TestPartialTrace.java
    trunk/test/gov/nasa/jpf/mc/TestPartialTraceJPF.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/tools/TraceStorer.java
    trunk/src/gov/nasa/jpf/util/StringSetMatcher.java


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