gov.nasa.jpf.vm

Interface Statics

All Superinterfaces:

java.lang.Iterable<ElementInfo>

All Known Implementing Classes:

OVStatics

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

abstraction for the container of StaticElementInfos, which manages static fields. Note that there is a Statics instance per ClassLoaderInfo, i.e. ids are only unique within each ClassLoader namespace. This container is only growing - we don't remove/recycle classes yet Since Statics instances have to be obtained from their respective ClassLoaderInfo, and ClassLoaderInfos are the ones that map type names to ClassInfos, Statics does not include methods for name lookup. This allows implementors to use efficient lookup based on the numerical ClassInfo id (which is only unique within this Statics / ClassLoader namespace)

Method Summary

Modifier and Type	Method and Description
void	cleanUpDanglingReferences(Heap heap)
StaticElementInfo	get(int id) get an ElementInfo that might or might not be suitable for modification.
Memento<Statics>	getMemento()
Memento<Statics>	getMemento(MementoFactory factory)
StaticElementInfo	getModifiable(int id) get an ElementInfo that is guaranteed to be modifiable.
java.lang.Iterable<StaticElementInfo>	liveStatics()
void	markRoots(Heap heap)
StaticElementInfo	newClass(ClassInfo ci, ThreadInfo ti, ElementInfo eiClsObj) this returns the search global id which is unique within this ClassLoader namespace.
StaticElementInfo	newStartupClass(ClassInfo ci, ThreadInfo ti) startup classes are registered and initialized in two steps since object creation has to be deferred until we have at least Object and Class ClassInfos
int	size()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

newStartupClass

StaticElementInfo newStartupClass(ClassInfo ci,
                                  ThreadInfo ti)

startup classes are registered and initialized in two steps since object creation has to be deferred until we have at least Object and Class ClassInfos

newClass

StaticElementInfo newClass(ClassInfo ci,
                           ThreadInfo ti,
                           ElementInfo eiClsObj)

this returns the search global id which is unique within this ClassLoader namespace. This id is also stored in the respective java.lang.Class object

get

StaticElementInfo get(int id)

get an ElementInfo that might or might not be suitable for modification. This should only be used when retrieving field values. The 'id' argument has to be the result of a previous 'newClass()' call

getModifiable

StaticElementInfo getModifiable(int id)

get an ElementInfo that is guaranteed to be modifiable. This should be used when modifying field values. The 'id' argument has to be the result of a previous 'newClass()' call

liveStatics

java.lang.Iterable<StaticElementInfo> liveStatics()

markRoots

void markRoots(Heap heap)

cleanUpDanglingReferences

void cleanUpDanglingReferences(Heap heap)

getMemento

Memento<Statics> getMemento(MementoFactory factory)

getMemento

Memento<Statics> getMemento()

size

int size()