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

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

Revision: 672
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=672&view=rev
Author:   pcmehlitz
Date:     2007-11-29 12:12:05 -0800 (Thu, 29 Nov 2007)

Log Message:
-----------
* @UntrackedField extension from Tihomir Gvero and Milos Gligoric.

This is a general solution for the problem of
accumulating values over all paths (i.e. vars that don't get restored upon backtrack), and e.g. comes in handy for
test applications (= JPF specific models) that do some kind of coverage analysis. Be aware of the 'Heisenberg' in
there, but it's much better than the crude MJI based counters we used for testing so far, or any ad-hoc application
solutions. If you want the details, there is a Untracked.html in the docs

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/Area.java
    trunk/src/gov/nasa/jpf/jvm/CollapsingRestorer.java
    trunk/src/gov/nasa/jpf/jvm/DynamicFields.java
    trunk/src/gov/nasa/jpf/jvm/FieldInfo.java
    trunk/src/gov/nasa/jpf/jvm/Fields.java
    trunk/src/gov/nasa/jpf/jvm/StaticFields.java

Added Paths:
-----------
    trunk/doc/Untracked.html
    trunk/src/gov/nasa/jpf/jvm/untracked/
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedField.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedManager.java
    trunk/test/gov/nasa/jpf/mc/TestUntrackedField.java
    trunk/test/gov/nasa/jpf/mc/TestUntrackedFieldJPF.java


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