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

Packages that use AmmendableFilterConfiguration.FieldAmmendment

Package	Description
gov.nasa.jpf.vm.serialize

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

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

Modifier and Type	Class and Description
class	FieldAmmendmentByName
class	IgnoreReflectiveNames
class	IgnoresFromAnnotations
class	IgnoreThreadNastiness
class	IgnoreUtilSilliness
class	IncludesFromAnnotations

Methods in gov.nasa.jpf.vm.serialize with parameters of type AmmendableFilterConfiguration.FieldAmmendment

Modifier and Type	Method and Description
void	AmmendableFilterConfiguration.appendFieldAmmendment(AmmendableFilterConfiguration.FieldAmmendment fa)