gov.nasa.jpf.vm

Interface Heap

All Superinterfaces:

java.lang.Iterable<ElementInfo>

All Known Implementing Classes:

GenericHeap, GenericSGOIDHeap, OVHeap, PSIMHeap

public interface Heap
extends java.lang.Iterable<ElementInfo>

this is our implementation independent model of the heap

Method Summary

Modifier and Type	Method and Description
void	checkConsistency(boolean isStateStore)
void	cleanUpDanglingReferences()
void	gc()
ElementInfo	get(int objref)
Memento<Heap>	getMemento()
Memento<Heap>	getMemento(MementoFactory factory)
ElementInfo	getModifiable(int objref)
boolean	hasChanged()
boolean	isAlive(ElementInfo ei)
boolean	isOutOfMemory()
java.lang.Iterable<ElementInfo>	liveObjects()
void	markChanged(int objref)
void	markStaticRoot(int objRef)
void	markThreadRoot(int objref, int tid)
ElementInfo	newArray(java.lang.String elementType, int nElements, ThreadInfo ti)
ElementInfo	newInternString(java.lang.String str, ThreadInfo ti)
ElementInfo	newObject(ClassInfo ci, ThreadInfo ti)
ElementInfo	newString(java.lang.String str, ThreadInfo ti)
ElementInfo	newSystemArray(java.lang.String elementType, int nElements, ThreadInfo ti, int anchor)
ElementInfo	newSystemObject(ClassInfo ci, ThreadInfo ti, int anchor)
ElementInfo	newSystemString(java.lang.String str, ThreadInfo ti, int anchor)
ElementInfo	newSystemThrowable(ClassInfo ci, java.lang.String details, int[] stackSnapshot, int causeRef, ThreadInfo ti, int anchor)
void	queueMark(int objref)
void	registerPinDown(int objRef)
void	registerWeakReference(ElementInfo ei)
void	releasePinDown(int objRef)
void	resetVolatiles()
void	restoreVolatiles()
void	setOutOfMemory(boolean isOutOfMemory)
int	size()
void	unmarkAll()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

get

ElementInfo get(int objref)

getModifiable

ElementInfo getModifiable(int objref)

gc

void gc()

isOutOfMemory

boolean isOutOfMemory()

setOutOfMemory

void setOutOfMemory(boolean isOutOfMemory)

newArray

ElementInfo newArray(java.lang.String elementType,
                     int nElements,
                     ThreadInfo ti)

newObject

ElementInfo newObject(ClassInfo ci,
                      ThreadInfo ti)

newSystemArray

ElementInfo newSystemArray(java.lang.String elementType,
                           int nElements,
                           ThreadInfo ti,
                           int anchor)

newSystemObject

ElementInfo newSystemObject(ClassInfo ci,
                            ThreadInfo ti,
                            int anchor)

newString

ElementInfo newString(java.lang.String str,
                      ThreadInfo ti)

newSystemString

ElementInfo newSystemString(java.lang.String str,
                            ThreadInfo ti,
                            int anchor)

newInternString

ElementInfo newInternString(java.lang.String str,
                            ThreadInfo ti)

newSystemThrowable

ElementInfo newSystemThrowable(ClassInfo ci,
                               java.lang.String details,
                               int[] stackSnapshot,
                               int causeRef,
                               ThreadInfo ti,
                               int anchor)

liveObjects

java.lang.Iterable<ElementInfo> liveObjects()

size

int size()

markThreadRoot

void markThreadRoot(int objref,
                    int tid)

markStaticRoot

void markStaticRoot(int objRef)

registerPinDown

void registerPinDown(int objRef)

releasePinDown

void releasePinDown(int objRef)

unmarkAll

void unmarkAll()

cleanUpDanglingReferences

void cleanUpDanglingReferences()

isAlive

boolean isAlive(ElementInfo ei)

registerWeakReference

void registerWeakReference(ElementInfo ei)

queueMark

void queueMark(int objref)

hasChanged

boolean hasChanged()

markChanged

void markChanged(int objref)

resetVolatiles

void resetVolatiles()

restoreVolatiles

void restoreVolatiles()

checkConsistency

void checkConsistency(boolean isStateStore)

getMemento

Memento<Heap> getMemento(MementoFactory factory)

getMemento

Memento<Heap> getMemento()