gov.nasa.jpf.vm.serialize

Class PolDetSerializer

java.lang.Object

gov.nasa.jpf.vm.AbstractSerializer

gov.nasa.jpf.vm.serialize.FilteringSerializer

gov.nasa.jpf.vm.serialize.PolDetSerializer

All Implemented Interfaces:

Processor<ElementInfo>, KernelState.ChangeListener, ReferenceProcessor, StateSerializer

public class PolDetSerializer
extends FilteringSerializer

The serializer used in PolDet, customized to ignore irrelevant parts of the state

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PolDetSerializer.PolDetPhase

Field Summary

Fields

Modifier and Type	Field and Description
java.util.Set<java.lang.String>	ignoredFields
java.util.Set<java.lang.String>	ignoredMethods
java.util.Set<java.lang.String>	loadedClasses
PolDetSerializer.PolDetPhase	phaseOfPolDet

Fields inherited from class gov.nasa.jpf.vm.serialize.FilteringSerializer

buf, filter, refQueue

Fields inherited from class gov.nasa.jpf.vm.AbstractSerializer

cached, ks, nativeStateHolders, vm

Constructor Summary

Constructors

Constructor and Description
PolDetSerializer()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getFieldName(FieldInfo[] fields, int offset)
protected java.lang.String	getInstanceFieldName(ClassInfo ci, int offset)
int[]	getState(PolDetSerializer.PolDetPhase phase)
protected java.lang.String	getStaticFieldName(ClassInfo ci, int offset)
protected boolean	isFieldIgnored(java.lang.String fn)
protected boolean	isFrameIgnored(StackFrame frame)
protected boolean	isStaticsIgnored(StaticElementInfo sei)
protected void	serializeClass(StaticElementInfo sei)
protected void	serializeStackFrames(ThreadInfo ti)
protected void	serializeStatics(Statics statics)

Methods inherited from class gov.nasa.jpf.vm.serialize.FilteringSerializer

attach, computeStoringData, dumpData, getFramePolicy, getInstanceFilterMask, getInstanceRefMask, getSerializedReferenceValue, getStaticFilterMask, getStaticRefMask, initReferenceQueue, process, processArrayFields, processNamedFields, processReference, processReferenceQueue, serializeClassLoaders, serializeFrame, serializeLockedObjects, serializeNativeStateHolder, serializeNativeStateHolders, serializeStackFrames, serializeThreadState, serializeThreadStates

Methods inherited from class gov.nasa.jpf.vm.AbstractSerializer

addNativeStateHolder, getCurrentStateVectorLength, getStoringData, kernelStateChanged

Methods inherited from class java.lang.Object

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

Field Detail

phaseOfPolDet

public PolDetSerializer.PolDetPhase phaseOfPolDet

loadedClasses

public java.util.Set<java.lang.String> loadedClasses

ignoredFields

public java.util.Set<java.lang.String> ignoredFields

ignoredMethods

public java.util.Set<java.lang.String> ignoredMethods

Constructor Detail

PolDetSerializer

public PolDetSerializer()

Method Detail

isFrameIgnored

protected boolean isFrameIgnored(StackFrame frame)

serializeStackFrames

protected void serializeStackFrames(ThreadInfo ti)

Overrides:

serializeStackFrames in class FilteringSerializer

isStaticsIgnored

protected boolean isStaticsIgnored(StaticElementInfo sei)

serializeStatics

protected void serializeStatics(Statics statics)

Overrides:

serializeStatics in class FilteringSerializer

getFieldName

protected java.lang.String getFieldName(FieldInfo[] fields,
                                        int offset)

getStaticFieldName

protected java.lang.String getStaticFieldName(ClassInfo ci,
                                              int offset)

getInstanceFieldName

protected java.lang.String getInstanceFieldName(ClassInfo ci,
                                                int offset)

isFieldIgnored

protected boolean isFieldIgnored(java.lang.String fn)

serializeClass

protected void serializeClass(StaticElementInfo sei)

Overrides:

serializeClass in class FilteringSerializer

getState

public int[] getState(PolDetSerializer.PolDetPhase phase)