org.checkerframework.common.value.qual

public @Interface BoolVal

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE_PARAMETER, TYPE_USE
@SubtypeOf:UnknownVal

Imports

java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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.

Method Summary

Modifier and Type	Method and Description
public boolean[]	value() The values that the expression might evaluate to.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public boolean[] value() The values that the expression might evaluate to.