org.checkerframework.checker.index.qual

Annotation Type LessThan

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_PARAMETER,TYPE_USE})
 @SubtypeOf(value=LessThanUnknown.class)
public @interface LessThan

An annotation indicating the relationship between values with a byte, short, char, int, or long type.

If an expression's type has this annotation, then at run time, the expression evaluates to a value that is less than the value of the expression in the annotation.

Subtyping:

• @LessThan({"a", "b"}) <: @LessThan({"a"})
• @LessThan({"a", "b"}) is not related to @LessThan({"a", "c"}).

See the Checker Framework Manual:

Index Checker Inequalities

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value The annotated expression's value is less than this expression.

Element Detail

value

@JavaExpression
public abstract String[] value

The annotated expression's value is less than this expression.

The expressions in value may be addition/subtraction of any number of Java expressions. For example, @LessThan(value = "x + y + 2"}.

The expression in value must be final or constant or the addition/subtract of final or constant expressions.