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

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

Revision: 785
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=785&view=rev
Author:   pcmehlitz
Date:     2008-03-19 12:35:32 -0700 (Wed, 19 Mar 2008)

Log Message:
-----------
* finally made the Dynamic/StaticArea classes configurable, so that heap representations can be changed.

* with that, moved all the @UntrackedField functionality into its own package. Downside is that it requires
a lot more configuration to use it, but it was proliferating the core more than what seemed to be
justifiable by potential uses. The refactoring is Ok for most parts, only the Fields duplication sucks
(the old modified-baseclass problem).

Maybe we move this into its own extension at some point (better for the test and the app-relevant annotation)

Modified Paths:
--------------
    trunk/default.properties
    trunk/src/gov/nasa/jpf/jvm/Area.java
    trunk/src/gov/nasa/jpf/jvm/CollapsingRestorer.java
    trunk/src/gov/nasa/jpf/jvm/ElementInfo.java
    trunk/src/gov/nasa/jpf/jvm/Fields.java
    trunk/src/gov/nasa/jpf/jvm/KernelState.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedField.java
    trunk/test/gov/nasa/jpf/mc/TestUntrackedField.java
    trunk/test/gov/nasa/jpf/mc/TestUntrackedFieldJPF.java

Added Paths:
-----------
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedArrayFields.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedCollapsingRestorer.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedDynamicArea.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedDynamicFields.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedFields.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedFieldsFactory.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedStaticArea.java
    trunk/src/gov/nasa/jpf/jvm/untracked/UntrackedStaticFields.java


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