gov.nasa.jpf.util

Interface StateExtensionClient<T>

All Known Implementing Classes:

ScriptEnvironment

public interface StateExtensionClient<T>

generic interface for state extensions that have to be backtracked/restored

Method Summary

Methods

Modifier and Type	Method and Description
T	getStateExtension()
void	registerListener(JPF jpf)
void	restore(T stateExtension)

Method Detail

getStateExtension

T getStateExtension()

restore

void restore(T stateExtension)

registerListener

void registerListener(JPF jpf)