gov.nasa.jpf.vm.serialize

Interface AmmendableFilterConfiguration.FrameAmmendment

All Superinterfaces:

AmmendableFilterConfiguration.Ammendment

All Known Implementing Classes:

IgnoresFromAnnotations

Enclosing class:

AmmendableFilterConfiguration

public static interface AmmendableFilterConfiguration.FrameAmmendment
extends AmmendableFilterConfiguration.Ammendment

Field Summary

Fields inherited from interface gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.Ammendment

POLICY_IGNORE, POLICY_INCLUDE

Method Summary

Methods

Modifier and Type	Method and Description
FramePolicy	ammendFramePolicy(MethodInfo mi, FramePolicy sofar)

Method Detail

ammendFramePolicy

FramePolicy ammendFramePolicy(MethodInfo mi,
                            FramePolicy sofar)