[Javapathfinder-svn] SF.net SVN: javapathfinder: [863] branches/v5

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

Revision: 863
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=863&view=rev
Author:   pcmehlitz
Date:     2008-06-13 18:31:09 -0700 (Fri, 13 Jun 2008)

Log Message:
-----------
* finally deArea'ed the ElementInfo, even though it required a new ElementInfoContainer interface that is factored
out / generalized from Heap. This was required so that we can re-use ElementInfo with non-Area heap implementations,
while still using StaticArea for the static fields

* changed the delta iteration of Area/ElementInfoContainer to have separate changedIterator(), removedIterator()
Iterators that return ElementInfos instead of reference values. Required if we want to do some inspection
on removed ElementInfos, like for instance delta storage (where we have to store the whole thing that got deleted)

* placeholders for "T Verify.getObject(Class<T> type,String cgId)", "T getReachableObject(Class<T> type,Object root)"
and Verify.getObject(). Esp. the last one is a real state space buster which I only regard as useful in very,
very special (read 'tiny') test apps. Still lacks the native peer implementation

 

Modified Paths:
--------------
    branches/v5/src/gov/nasa/jpf/jvm/Area.java
    branches/v5/src/gov/nasa/jpf/jvm/CollapsingRestorer.java
    branches/v5/src/gov/nasa/jpf/jvm/CollapsingSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/DynamicArea.java
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/ElementInfoContainer.java
    branches/v5/src/gov/nasa/jpf/jvm/Heap.java
    branches/v5/src/gov/nasa/jpf/jvm/JPF_gov_nasa_jpf_jvm_Verify.java
    branches/v5/src/gov/nasa/jpf/jvm/StaticElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/Verify.java
    branches/v5/test/gov/nasa/jpf/mc/TestDataChoice.java


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