Package org.checkerframework.checker.index.qual

Annotation Type UpperBoundLiteral

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@TargetLocations({LOWER_BOUND,UPPER_BOUND})
@SubtypeOf(LTEqLengthOf.class)
public @interface UpperBoundLiteral

A literal value. Programmers should rarely write this type.

See the Checker Framework Manual:

Index Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
int	value	Returns the value of the literal.

Element Detail

value

int value

Returns the value of the literal.

Returns:

the value of the literal