gov.nasa.jpf.vm

Interface StateSerializer

All Known Subinterfaces:

DebugStateSerializer

All Known Implementing Classes:

AbstractSerializer, AdaptiveSerializer, CFSerializer, DebugCFSerializer, DebugFilteringSerializer, DynamicAbstractionSerializer, FilteringSerializer, TopFrameSerializer

public interface StateSerializer

Method Summary

Modifier and Type	Method and Description
void	addNativeStateHolder(NativeStateHolder nsh)
void	attach(VM vm)
int[]	getStoringData() serialize the current state and return as int[]

Method Detail

attach

void attach(VM vm)

getStoringData

int[] getStoringData()

serialize the current state and return as int[]

addNativeStateHolder

void addNativeStateHolder(NativeStateHolder nsh)