Package | Description |
---|---|
gov.nasa.jpf.vm.serialize |
Modifier and Type | Method and Description |
---|---|
FramePolicy |
AmmendableFilterConfiguration.FrameAmmendment.ammendFramePolicy(MethodInfo mi,
FramePolicy sofar) |
FramePolicy |
IgnoresFromAnnotations.ammendFramePolicy(MethodInfo mi,
FramePolicy sofar) |
protected FramePolicy |
FilteringSerializer.getFramePolicy(MethodInfo mi) |
FramePolicy |
AmmendableFilterConfiguration.getFramePolicy(MethodInfo mi) |
FramePolicy |
FilterConfiguration.getFramePolicy(MethodInfo mi) |
Modifier and Type | Method and Description |
---|---|
FramePolicy |
AmmendableFilterConfiguration.FrameAmmendment.ammendFramePolicy(MethodInfo mi,
FramePolicy sofar) |
FramePolicy |
IgnoresFromAnnotations.ammendFramePolicy(MethodInfo mi,
FramePolicy sofar) |