gov.nasa.jpf.vm.serialize

Interface FilterConfiguration

All Known Implementing Classes:

AmmendableFilterConfiguration, DefaultFilterConfiguration

public interface FilterConfiguration

Method Summary

Modifier and Type	Method and Description
FramePolicy	getFramePolicy(MethodInfo mi)
java.lang.Iterable<FieldInfo>	getMatchedInstanceFields(ClassInfo ci)
java.lang.Iterable<FieldInfo>	getMatchedStaticFields(ClassInfo ci)
void	init(Config config)

Method Detail

init

void init(Config config)

getMatchedInstanceFields

java.lang.Iterable<FieldInfo> getMatchedInstanceFields(ClassInfo ci)

getMatchedStaticFields

java.lang.Iterable<FieldInfo> getMatchedStaticFields(ClassInfo ci)

getFramePolicy

FramePolicy getFramePolicy(MethodInfo mi)