| java.lang.Object
 gov.nasa.jpf.jvm.Area
All known Subclasses: gov.nasa.jpf.jvm.StaticArea, gov.nasa.jpf.jvm.DynamicArea,
| Area | | abstract public class Area implements Storable(Code) | | Area defines a memory class. An area can be used for objects
in the DynamicArea (heap) or classes in the StaticArea (classinfo with
static fields).
|
| Field Summary | |
| public boolean | anyChanged
| | public int[] | data
Contains the data from the last call to get storing data. | | protected ElementInfo[] | elements
Contains the information for each element. | | public BitSet | hasChanged
Set of bits used to see which elements has changed. | | public KernelState | ks
Reference of the kernel state this dynamic area is in. |
| anyChanged | | public boolean anyChanged(Code) | | Set if any element is changed (includes has been added or removed)
|
| data | | public int[] data(Code) | | Contains the data from the last call to get storing data.
|
| elements | | protected ElementInfo[] elements(Code) | | Contains the information for each element.
|
| hasChanged | | public BitSet hasChanged(Code) | | Set of bits used to see which elements has changed.
|
| getStoringData | | public int[] getStoringData()(Code) | | |
| hashCode | | public int hashCode()(Code) | | |
| isStatic | | abstract public boolean isStatic()(Code) | | Is this the static area?
<2do> pcm - there's something called 'method overriding', which is supposed
to be used to overcome type flags..
|
| iterator | | public Iterator iterator()(Code) | | |
| remove | | protected void remove(int index)(Code) | | |
| removeAll | | public void removeAll()(Code) | | |
| resetVolatiles | | void resetVolatiles()(Code) | | reset any information that has to be re-computed in a backtrack
(i.e. hasn't been stored explicitly)
|
|
|