gov.nasa.jpf.vm

Interface DebugStateSerializer

All Superinterfaces:

StateSerializer

All Known Implementing Classes:

DebugCFSerializer, DebugFilteringSerializer

public interface DebugStateSerializer
extends StateSerializer

debug extensions of StateSerializer interface

Method Summary

Modifier and Type	Method and Description
void	setOutputStream(java.io.OutputStream os)

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

addNativeStateHolder, attach, getStoringData

Method Detail

setOutputStream

void setOutputStream(java.io.OutputStream os)