[Javapathfinder-devel] SF.net SVN: javapathfinder: [806] trunk/src/gov/nasa/jpf/util

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

Revision: 806
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=806&view=rev
Author:   pcmehlitz
Date:     2008-04-04 22:15:43 -0700 (Fri, 04 Apr 2008)

Log Message:
-----------
* added deep copy for SparseClusterArray, which is an exercise in working around erasure limitations. The Cloner
interface therefore is of general use. Our deep copy also does compaction on the fly - we want minimal memory
footprint in case we use this in the Restorer

Modified Paths:
--------------
    trunk/src/gov/nasa/jpf/util/SparseClusterArray.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/util/Cloner.java

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