gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.StaticAmmendment

All Superinterfaces:

AmmendableFilterConfiguration.Ammendment

All Known Subinterfaces:

AmmendableFilterConfiguration.FieldAmmendment

All Known Implementing Classes:

FieldAmmendmentByName, IgnoreConstants, IgnoreReflectiveNames, IgnoresFromAnnotations, IgnoreThreadNastiness, IgnoreUtilSilliness, IncludesFromAnnotations

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.StaticAmmendment
extends AmmendableFilterConfiguration.Ammendment

Field Summary

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

POLICY_IGNORE, POLICY_INCLUDE

Method Summary

Modifier and Type	Method and Description
boolean	ammendFieldInclusion(FieldInfo fi, boolean sofar)

Method Detail

ammendFieldInclusion

boolean ammendFieldInclusion(FieldInfo fi,
                             boolean sofar)