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

Packages that use AmmendableFilterConfiguration.InstanceAmmendment

Package	Description
gov.nasa.jpf.vm.serialize

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

Subinterfaces of AmmendableFilterConfiguration.InstanceAmmendment 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.InstanceAmmendment

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

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

Modifier and Type	Field and Description
protected ObjVector<AmmendableFilterConfiguration.InstanceAmmendment>	AmmendableFilterConfiguration.instanceAmmendments

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

Modifier and Type	Method and Description
void	AmmendableFilterConfiguration.appendInstanceAmmendment(AmmendableFilterConfiguration.InstanceAmmendment ia)