[Javapathfinder-svn] SF.net SVN: javapathfinder: [858] branches/v5/src/gov/nasa/jpf/jvm/ ElementInfo.java

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

Revision: 858
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=858&view=rev
Author:   pcmehlitz
Date:     2008-05-28 21:53:38 -0700 (Wed, 28 May 2008)

Log Message:
-----------
* moved the fields/monitor change flags into the attribute bit field. this is part of cleaning up
ElementInfo for the big sweep, also using the attribute field for all the temporary GC stuff like isUsed, attrChanged etc.
Ultimately, we want all those temporary BitSets to go away, only keeping a list of root objects (which the
serializer needs anyways) 

The area field still needs to be removed

Modified Paths:
--------------
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfo.java


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