gov.nasa.jpf.vm

Class OVStatics

java.lang.Object

gov.nasa.jpf.vm.OVStatics

All Implemented Interfaces:

Statics, java.lang.Iterable<ElementInfo>

public class OVStatics
extends java.lang.Object
implements Statics

Statics implementation that uses a simple ObjVector as the underlying container. The ids used to retrieve ElementInfos are dense and search global, computation is based on the assumption that each ClassLoader can only define one class per binary class name

Field Summary

Fields

Modifier and Type	Field and Description
protected ObjVector<ElementInfo>	elementInfos
protected IntTable<java.lang.String>	ids
protected int	nextId

Constructor Summary

Constructors

Constructor and Description
OVStatics(Config conf)

Method Summary

Modifier and Type	Method and Description
void	cleanUpDanglingReferences(Heap heap)
protected int	computeId(ClassInfo ci)
protected StaticElementInfo	createStaticElementInfo(int id, ClassInfo ci, ThreadInfo ti, ElementInfo eiClsObj)
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.util.Iterator<ElementInfo>	iterator()
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 class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

elementInfos

protected ObjVector<ElementInfo> elementInfos

nextId

protected int nextId

ids

protected IntTable<java.lang.String> ids

Constructor Detail

OVStatics

public OVStatics(Config conf)

Method Detail

computeId

protected int computeId(ClassInfo ci)

createStaticElementInfo

protected StaticElementInfo createStaticElementInfo(int id,
                                                    ClassInfo ci,
                                                    ThreadInfo ti,
                                                    ElementInfo eiClsObj)

newClass

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

Description copied from interface: Statics

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

Specified by:

newClass in interface Statics

newStartupClass

public StaticElementInfo newStartupClass(ClassInfo ci,
                                         ThreadInfo ti)

Description copied from interface: Statics

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

Specified by:

newStartupClass in interface Statics

get

public StaticElementInfo get(int id)

Description copied from interface: Statics

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

Specified by:

get in interface Statics

getModifiable

public StaticElementInfo getModifiable(int id)

Description copied from interface: Statics

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

Specified by:

getModifiable in interface Statics

cleanUpDanglingReferences

public void cleanUpDanglingReferences(Heap heap)

Specified by:

cleanUpDanglingReferences in interface Statics

getMemento

public Memento<Statics> getMemento(MementoFactory factory)

Specified by:

getMemento in interface Statics

getMemento

public Memento<Statics> getMemento()

Specified by:

getMemento in interface Statics

iterator

public java.util.Iterator<ElementInfo> iterator()

Specified by:

iterator in interface java.lang.Iterable<ElementInfo>

markRoots

public void markRoots(Heap heap)

Specified by:

markRoots in interface Statics

liveStatics

public java.lang.Iterable<StaticElementInfo> liveStatics()

Specified by:

liveStatics in interface Statics

size

public int size()

Specified by:

size in interface Statics