Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Method and Description |
---|---|
StaticElementInfo |
StaticFieldInstruction.getLastElementInfo() |
StaticElementInfo |
INVOKESTATIC.getStaticElementInfo() |
Modifier and Type | Method and Description |
---|---|
protected StaticElementInfo |
OVStatics.createStaticElementInfo(int id,
ClassInfo ci,
ThreadInfo ti,
ElementInfo eiClsObj) |
StaticElementInfo |
OVStatics.get(int id) |
StaticElementInfo |
Statics.get(int id)
get an ElementInfo that might or might not be suitable for modification.
|
StaticElementInfo |
OVStatics.getModifiable(int id) |
StaticElementInfo |
Statics.getModifiable(int id)
get an ElementInfo that is guaranteed to be modifiable.
|
StaticElementInfo |
ClassInfo.getModifiableStaticElementInfo() |
StaticElementInfo |
ClassInfo.getStaticElementInfo() |
StaticElementInfo |
OVStatics.newClass(ClassInfo ci,
ThreadInfo ti,
ElementInfo eiClsObj) |
StaticElementInfo |
Statics.newClass(ClassInfo ci,
ThreadInfo ti,
ElementInfo eiClsObj)
this returns the search global id which is unique within this ClassLoader namespace.
|
StaticElementInfo |
OVStatics.newStartupClass(ClassInfo ci,
ThreadInfo ti) |
StaticElementInfo |
Statics.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
|
StaticElementInfo |
ClassInfo.registerClass(ThreadInfo ti)
this registers a ClassInfo in the corresponding ClassLoader statics so that we can cross-link from
SUT code and access static fields.
|
Modifier and Type | Method and Description |
---|---|
Iterable<StaticElementInfo> |
OVStatics.liveStatics() |
Iterable<StaticElementInfo> |
Statics.liveStatics() |
Modifier and Type | Method and Description |
---|---|
abstract ThreadInfoSet |
SharedObjectPolicy.getThreadInfoSet(ThreadInfo allocThread,
StaticElementInfo ei) |
ThreadInfoSet |
OverlappingContenderPolicy.getThreadInfoSet(ThreadInfo allocThread,
StaticElementInfo ei) |
ThreadInfoSet |
GlobalTrackingPolicy.getThreadInfoSet(ThreadInfo allocThread,
StaticElementInfo ei) |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.serializeClass(StaticElementInfo sei) |
protected void |
DebugCFSerializer.serializeClass(StaticElementInfo sei) |
protected void |
FilteringSerializer.serializeClass(StaticElementInfo sei) |