gov.nasa.jpf.vm.serialize

Class DebugCFSerializer

java.lang.Object

gov.nasa.jpf.vm.AbstractSerializer

gov.nasa.jpf.vm.serialize.FilteringSerializer

gov.nasa.jpf.vm.serialize.CFSerializer

gov.nasa.jpf.vm.serialize.DebugCFSerializer

All Implemented Interfaces:

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

public class DebugCFSerializer
extends CFSerializer
implements DebugStateSerializer

a CFSerializer that stores the serialized program state in a readable/diffable format. Automatically used by Debug..StateSet if the configured vm.storage.class is .vm.DebugJenkinsStateSet

Field Summary

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

buf, filter, refQueue

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

cached, ks, vm

Constructor Summary

Constructors

Constructor and Description
DebugCFSerializer()

Method Summary

Methods

Modifier and Type	Method and Description
protected int[]	computeStoringData()
void	process(ElementInfo ei)
protected void	processReferenceQueue()
protected void	serializeClass(StaticElementInfo sei)
protected void	serializeClassLoaders()
protected void	serializeFrame(StackFrame frame) more generic, but less efficient because it can't use block operations protected void _serializeFrame(StackFrame frame){ buf.add(frame.getMethodInfo().getGlobalId()); buf.add(frame.getPC().getInstructionIndex()); int len = frame.getTopPos()+1; buf.add(len); // this looks like something we can push into the frame int[] slots = frame.getSlots(); for (int i = 0; i < len; i++) { if (frame.isReferenceSlot(i)) { processReference(slots[i]); } else { buf.add(slots[i]); } } }
protected void	serializeStackFrames()
protected void	serializeStackFrames(ThreadInfo ti)
void	setOutputStream(OutputStream s)

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

getSerializedReferenceValue, initReferenceQueue, processReference, queueReference

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

attach, dumpData, getFramePolicy, getInstanceFilterMask, getInstanceRefMask, getStaticFilterMask, getStaticRefMask, processArrayFields, processNamedFields, serializeLockedObjects, serializeStatics, serializeThreadState, serializeThreadStates

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

getCurrentStateVectorLength, getStoringData, kernelStateChanged

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.vm.StateSerializer

attach, getStoringData

Constructor Detail

DebugCFSerializer

public DebugCFSerializer()

Method Detail

setOutputStream

public void setOutputStream(OutputStream s)

Specified by:

setOutputStream in interface DebugStateSerializer

computeStoringData

protected int[] computeStoringData()

Overrides:

computeStoringData in class FilteringSerializer

processReferenceQueue

protected void processReferenceQueue()

Overrides:

processReferenceQueue in class CFSerializer

process

public void process(ElementInfo ei)

Specified by:

process in interface Processor<ElementInfo>

Overrides:

process in class FilteringSerializer

serializeClassLoaders

protected void serializeClassLoaders()

Overrides:

serializeClassLoaders in class FilteringSerializer

serializeClass

protected void serializeClass(StaticElementInfo sei)

Overrides:

serializeClass in class FilteringSerializer

serializeStackFrames

protected void serializeStackFrames()

Overrides:

serializeStackFrames in class CFSerializer

serializeStackFrames

protected void serializeStackFrames(ThreadInfo ti)

Overrides:

serializeStackFrames in class FilteringSerializer

serializeFrame

protected void serializeFrame(StackFrame frame)

Description copied from class: FilteringSerializer

more generic, but less efficient because it can't use block operations protected void _serializeFrame(StackFrame frame){ buf.add(frame.getMethodInfo().getGlobalId()); buf.add(frame.getPC().getInstructionIndex()); int len = frame.getTopPos()+1; buf.add(len); // this looks like something we can push into the frame int[] slots = frame.getSlots(); for (int i = 0; i < len; i++) { if (frame.isReferenceSlot(i)) { processReference(slots[i]); } else { buf.add(slots[i]); } } }

Overrides:

serializeFrame in class CFSerializer