org.checkerframework.checker.index.qual

public @Interface LessThan

Annotations

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

Imports

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

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"}).

Method Summary

Modifier and Type	Method and Description
public String[]	value() The annotated expression's value is less than this expression.

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

Method Detail

value back to summary

value	back to summary
public 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. Annotations @JavaExpression

public 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.

Annotations

@JavaExpression