gov.nasa.jpf.vm.serialize

Class DebugFilteringSerializer

java.lang.Object

gov.nasa.jpf.vm.AbstractSerializer

gov.nasa.jpf.vm.serialize.FilteringSerializer

gov.nasa.jpf.vm.serialize.DebugFilteringSerializer

All Implemented Interfaces:

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

public class DebugFilteringSerializer
extends FilteringSerializer
implements DebugStateSerializer

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

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
DebugFilteringSerializer()

Method Summary

Methods

Modifier and Type	Method and Description
void	setOutputStream(OutputStream os)

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, serializeClass, serializeClassLoaders, serializeFrame, serializeLockedObjects, serializeStackFrames, serializeStackFrames, 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

DebugFilteringSerializer

public DebugFilteringSerializer()

Method Detail

setOutputStream

public void setOutputStream(OutputStream os)

Specified by:

setOutputStream in interface DebugStateSerializer