org.checkerframework.checker.index.qual

Annotation Type UpperBoundLiteral

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @TargetLocations(value={EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND})
 @SubtypeOf(value=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 and Description
int	value Returns the value of the literal.

Element Detail

value

public abstract int value

Returns the value of the literal.

Returns:

the value of the literal