gov.nasa.jpf.vm

Interface KernelState.ChangeListener

All Known Subinterfaces:

IncrementalChangeTracker

All Known Implementing Classes:

AbstractRestorer, AbstractSerializer, AdaptiveSerializer, CFSerializer, DebugCFSerializer, DebugFilteringSerializer, DefaultMementoRestorer, DynamicAbstractionSerializer, FilteringSerializer, MementoRestorer, TopFrameSerializer

Enclosing class:

KernelState

public static interface KernelState.ChangeListener

interface for getting notified of changes to KernelState and everything "below" it.

Method Summary

Methods

Modifier and Type	Method and Description
void	kernelStateChanged(KernelState ks)

Method Detail

kernelStateChanged

void kernelStateChanged(KernelState ks)