gov.nasa.jpf.vm.serialize

Annotation Type FilterFrame

@Target(value=METHOD)
public @interface FilterFrame

USE CAREFULLY - Indicates that the stack frame of a method should not, in specified ways, be considered during state matching. This can easily cause the search to be cut off even though the VM has made progress, so USE WISELY!

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
boolean	filterData True means locals (incl.
boolean	filterPC True means the location of the next instruction will be filtered.
boolean	filterSubframes True means frames below this one will not appear at all in the abstracted state.

Element Detail

filterData

public abstract boolean filterData

True means locals (incl. parameters) and operand stack will be filtered.

Default:

true

filterPC

public abstract boolean filterPC

True means the location of the next instruction will be filtered.

Default:

true

filterSubframes

public abstract boolean filterSubframes

True means frames below this one will not appear at all in the abstracted state.

Default:

true