gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.Ammendment

All Known Subinterfaces:

AmmendableFilterConfiguration.FieldAmmendment, AmmendableFilterConfiguration.FrameAmmendment, AmmendableFilterConfiguration.InstanceAmmendment, AmmendableFilterConfiguration.StaticAmmendment

All Known Implementing Classes:

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

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.Ammendment

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	POLICY_IGNORE
static boolean	POLICY_INCLUDE

Field Detail

POLICY_IGNORE

static final boolean POLICY_IGNORE

See Also:

Constant Field Values

POLICY_INCLUDE

static final boolean POLICY_INCLUDE

See Also:

Constant Field Values