gov.nasa.jpf.vm.serialize

Annotation Type UnfilterField

@Target(value=FIELD)
public @interface UnfilterField

Indicates that a field in the model SHOULD BE considered during state matching, even if other (prior) configuration would filter it.

Optional Element Summary

Optional Elements

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

Element Detail

condition

public abstract java.lang.String condition

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

Default:

""

invert

public abstract boolean invert

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

Default:

false