gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.InstanceOverride

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.InstanceOverride

Method Summary

Methods

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

Method Detail

isOverriding

boolean isOverriding(ClassInfo ci)

getMatchedInstanceFields

Iterable<FieldInfo> getMatchedInstanceFields(ClassInfo ci,
                                           Iterable<FieldInfo> preOverride)