Package org.checkerframework.common.value.qual

Annotation Type BoolVal

@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(UnknownVal.class)
public @interface BoolVal

An annotation indicating the possible values for a bool type. If an expression's type has this annotation, then at run time, the expression evaluates to one of the annotation's arguments.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
boolean[]	value	The values that the expression might evaluate to.

Element Detail

value

boolean[] value

The values that the expression might evaluate to.