gov.nasa.jpf.vm

Interface ReferenceProcessor

All Known Implementing Classes:

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

public interface ReferenceProcessor

a generic interface to process reference values

Method Summary

Modifier and Type	Method and Description
void	processReference(int ref)

Method Detail

processReference

void processReference(int ref)