gov.nasa.jpf.vm

Class AbstractSerializer

java.lang.Object

gov.nasa.jpf.vm.AbstractSerializer

All Implemented Interfaces:

KernelState.ChangeListener, StateSerializer

Direct Known Subclasses:

FilteringSerializer

public abstract class AbstractSerializer
extends java.lang.Object
implements StateSerializer, KernelState.ChangeListener

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	cached
protected KernelState	ks
protected NativeStateHolder[]	nativeStateHolders
protected VM	vm

Constructor Summary

Constructors

Constructor and Description
AbstractSerializer()

Method Summary

Modifier and Type	Method and Description
void	addNativeStateHolder(NativeStateHolder nsh)
void	attach(VM vm)
protected abstract int[]	computeStoringData()
int	getCurrentStateVectorLength()
int[]	getStoringData() serialize the current state and return as int[]
void	kernelStateChanged(KernelState same)

Methods inherited from class java.lang.Object

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

Field Detail

cached

protected int[] cached

vm

protected VM vm

ks

protected KernelState ks

nativeStateHolders

protected NativeStateHolder[] nativeStateHolders

Constructor Detail

AbstractSerializer

public AbstractSerializer()

Method Detail

attach

public void attach(VM vm)

Specified by:

attach in interface StateSerializer

getCurrentStateVectorLength

public int getCurrentStateVectorLength()

getStoringData

public int[] getStoringData()

Description copied from interface: StateSerializer

serialize the current state and return as int[]

Specified by:

getStoringData in interface StateSerializer

kernelStateChanged

public void kernelStateChanged(KernelState same)

Specified by:

kernelStateChanged in interface KernelState.ChangeListener

addNativeStateHolder

public void addNativeStateHolder(NativeStateHolder nsh)

Specified by:

addNativeStateHolder in interface StateSerializer

computeStoringData

protected abstract int[] computeStoringData()