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

Packages that use AmmendableFilterConfiguration.StaticAmmendment

Package	Description
gov.nasa.jpf.vm.serialize

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

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

Modifier and Type	Interface and Description
static interface	AmmendableFilterConfiguration.FieldAmmendment

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

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

Fields in gov.nasa.jpf.vm.serialize with type parameters of type AmmendableFilterConfiguration.StaticAmmendment

Modifier and Type	Field and Description
protected ObjVector<AmmendableFilterConfiguration.StaticAmmendment>	AmmendableFilterConfiguration.staticAmmendments

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

Modifier and Type	Method and Description
void	AmmendableFilterConfiguration.appendStaticAmmendment(AmmendableFilterConfiguration.StaticAmmendment sa)