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

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

Revision: 788
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=788&view=rev
Author:   pcmehlitz
Date:     2008-03-21 09:09:33 -0700 (Fri, 21 Mar 2008)

Log Message:
-----------
* added 'undo' extension from Tihomir Gvero. This stores/reverts field writes instead of storing data snapshots, and can be
significantly more efficient when modifying small parts on large data structures (single elements in large arrays)

Modified Paths:
--------------
    trunk/.classpath
    trunk/doc/extensions.html
    trunk/src/gov/nasa/jpf/jvm/Area.java
    trunk/src/gov/nasa/jpf/jvm/DynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/FilteringSerializer.java
    trunk/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
    trunk/src/gov/nasa/jpf/tools/HeapTracker.java

Added Paths:
-----------
    trunk/extensions/undo/
    trunk/extensions/undo/build.xml
    trunk/extensions/undo/doc/
    trunk/extensions/undo/doc/index.html
    trunk/extensions/undo/src/
    trunk/extensions/undo/src/gov/
    trunk/extensions/undo/src/gov/nasa/
    trunk/extensions/undo/src/gov/nasa/jpf/
    trunk/extensions/undo/src/gov/nasa/jpf/UndoListener.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/KState.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/UndoDynamicFactory.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/UndoFactory.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/UndoRestorer.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/UndoStaticFactory.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoArea.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoArrayFields.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoBacktracker.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoCloneableFields.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoDynamicFields.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoFieldsFactory.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoObject.java
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/undo/UndoStaticFields.java
    trunk/extensions/undo/test/
    trunk/extensions/undo/test/gov/
    trunk/extensions/undo/test/gov/nasa/
    trunk/extensions/undo/test/gov/nasa/jpf/
    trunk/extensions/undo/test/gov/nasa/jpf/jvm/
    trunk/extensions/undo/test/gov/nasa/jpf/jvm/undo/
    trunk/extensions/undo/test/gov/nasa/jpf/jvm/undo/TestUndo.java
    trunk/extensions/undo/test/gov/nasa/jpf/jvm/undo/TestUndoJPF.java


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