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

Packages that use AmmendableFilterConfiguration.FrameAmmendment

Package	Description
gov.nasa.jpf.vm.serialize

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

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

Modifier and Type	Class and Description
class	IgnoresFromAnnotations

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

Modifier and Type	Field and Description
protected ObjVector<AmmendableFilterConfiguration.FrameAmmendment>	AmmendableFilterConfiguration.frameAmmendments

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

Modifier and Type	Method and Description
void	AmmendableFilterConfiguration.appendFrameAmmendment(AmmendableFilterConfiguration.FrameAmmendment fa)