Package | Description |
---|---|
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Class and Description |
---|---|
class |
OVStatics
Statics implementation that uses a simple ObjVector as the underlying container.
|
Modifier and Type | Field and Description |
---|---|
protected Statics |
ClassLoaderInfo.statics |
Modifier and Type | Method and Description |
---|---|
protected Statics |
ClassLoaderInfo.createStatics(VM vm) |
Statics |
ClassInfo.getStatics()
the container this is stored in
|
Statics |
ClassLoaderInfo.getStatics() |
Modifier and Type | Method and Description |
---|---|
Memento<Statics> |
OVStatics.getMemento() |
Memento<Statics> |
Statics.getMemento() |
Memento<Statics> |
OVStatics.getMemento(MementoFactory factory) |
Memento<Statics> |
Statics.getMemento(MementoFactory factory) |
Memento<Statics> |
MementoFactory.getMemento(Statics sa) |
Memento<Statics> |
DefaultMementoRestorer.getMemento(Statics statics) |
Modifier and Type | Method and Description |
---|---|
Memento<Statics> |
MementoFactory.getMemento(Statics sa) |
Memento<Statics> |
DefaultMementoRestorer.getMemento(Statics statics) |
Modifier and Type | Method and Description |
---|---|
protected void |
DynamicAbstractionSerializer.serializeStatics(Statics statics) |
protected void |
FilteringSerializer.serializeStatics(Statics statics) |