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

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

Revision: 792
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=792&view=rev
Author:   pcmehlitz
Date:     2008-03-24 15:08:47 -0700 (Mon, 24 Mar 2008)

Log Message:
-----------
* removed the direct 'hasChanged' references from the State Restorers/Serializers. The important thing is that
they shouldn't rely on a specific Area implementation (which is just about to change - this is cleaning up the
playground). But BitSet actually got quite efficient, and it's worth it to change the iteration to
BitSet.nextSetBit() (slight performance gain in itself)

Modified Paths:
--------------
    trunk/default.properties
    trunk/extensions/undo/src/gov/nasa/jpf/jvm/UndoRestorer.java
    trunk/src/gov/nasa/jpf/jvm/Area.java
    trunk/src/gov/nasa/jpf/jvm/CollapsingRestorer.java
    trunk/src/gov/nasa/jpf/jvm/CollapsingSerializer.java


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