Top Description Methods
org.checkerframework.checker.index.qual

public @Interface UpperBoundLiteral

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
@SubtypeOf:LTEqLengthOf
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf, .TargetLocations, .TypeUseLocation
A literal value. Programmers should rarely write this type.

Method Summary

Modifier and TypeMethod and Description
public int

Returns:

the value of the literal
value()

Returns the value of the literal.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public int value()

Returns the value of the literal.

Returns:int

the value of the literal