gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.InstanceOverride

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.InstanceOverride

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<FieldInfo>	getMatchedInstanceFields(ClassInfo ci, java.lang.Iterable<FieldInfo> preOverride)
boolean	isOverriding(ClassInfo ci)

Method Detail

isOverriding

boolean isOverriding(ClassInfo ci)

getMatchedInstanceFields

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