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.

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 unfiltering--unless invert is set.
boolean	invert If set to true, property must be "false" to activate unfiltering.

Element Detail

condition

public abstract 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