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

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

Revision: 871
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=871&view=rev
Author:   pcmehlitz
Date:     2008-06-17 10:09:06 -0700 (Tue, 17 Jun 2008)

Log Message:
-----------
* changes in Fields/ElementInfo interface, to facilitate type specific ArrayFields, and centralize change
management in ElementInfo. Still needs more changes to accommodate per-field change flags. Fields/FieldInfo is
now more tightly coupled, but ElementInfo doesn't have to know about it

Modified Paths:
--------------
    branches/v5/env/jvm/gov/nasa/jpf/jvm/JPF_java_lang_String.java
    branches/v5/examples/issta2006/Linearizer.java
    branches/v5/src/gov/nasa/jpf/jvm/Area.java
    branches/v5/src/gov/nasa/jpf/jvm/ArrayFields.java
    branches/v5/src/gov/nasa/jpf/jvm/ClassInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/DoubleFieldInfo.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/Fields.java
    branches/v5/src/gov/nasa/jpf/jvm/FloatFieldInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/Heap.java
    branches/v5/src/gov/nasa/jpf/jvm/IntegerFieldInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/LongFieldInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/MJIEnv.java
    branches/v5/src/gov/nasa/jpf/jvm/ReferenceFieldInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/StaticElementInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/ThreadInfo.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/filter/FilteringSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/abstraction/filter/SimpleFilteringSerializer.java
    branches/v5/src/gov/nasa/jpf/jvm/bytecode/ArrayLoadInstruction.java
    branches/v5/src/gov/nasa/jpf/jvm/bytecode/LongArrayStoreInstruction.java


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