gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.FieldAmmendment

All Superinterfaces:

AmmendableFilterConfiguration.Ammendment, AmmendableFilterConfiguration.InstanceAmmendment, AmmendableFilterConfiguration.StaticAmmendment

All Known Implementing Classes:

FieldAmmendmentByName, IgnoreReflectiveNames, IgnoresFromAnnotations, IgnoreThreadNastiness, IgnoreUtilSilliness, IncludesFromAnnotations

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.FieldAmmendment
extends AmmendableFilterConfiguration.InstanceAmmendment, AmmendableFilterConfiguration.StaticAmmendment

Field Summary

Fields inherited from interface gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.Ammendment

POLICY_IGNORE, POLICY_INCLUDE

Method Summary

Methods inherited from interface gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.InstanceAmmendment

ammendFieldInclusion

Methods inherited from interface gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.StaticAmmendment

ammendFieldInclusion