gov.nasa.jpf.annotation

Annotation Type FilterField

@Target(value=FIELD)
public @interface FilterField

Indicates that a field in the model should not be considered during state matching.

Author:

peterd

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	condition If not the empty string, specifies a property that must be "true" to activate this filter--unless invert is set.
boolean	invert If set to true, property must be "false" to activate filter.

Element Detail

condition

public abstract String condition

If not the empty string, specifies a property that must be "true" to activate this filter--unless invert is set.

Default:

""

invert

public abstract boolean invert

If set to true, property must be "false" to activate filter. Does nothing if condition is empty string.

Default:

false