Uses of Interface
gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.Ammendment

Packages that use AmmendableFilterConfiguration.Ammendment

Package	Description
gov.nasa.jpf.vm.serialize

Uses of AmmendableFilterConfiguration.Ammendment in gov.nasa.jpf.vm.serialize

Subinterfaces of AmmendableFilterConfiguration.Ammendment in gov.nasa.jpf.vm.serialize

Modifier and Type	Interface and Description
static interface	AmmendableFilterConfiguration.FieldAmmendment
static interface	AmmendableFilterConfiguration.FrameAmmendment
static interface	AmmendableFilterConfiguration.InstanceAmmendment
static interface	AmmendableFilterConfiguration.StaticAmmendment

Classes in gov.nasa.jpf.vm.serialize that implement AmmendableFilterConfiguration.Ammendment

Modifier and Type	Class and Description
class	FieldAmmendmentByName
class	IgnoreConstants Marks static final field of primitive or known immutable type to be filtered.
class	IgnoreReflectiveNames
class	IgnoresFromAnnotations
class	IgnoreThreadNastiness
class	IgnoreUtilSilliness
class	IncludesFromAnnotations