Package org.checkerframework.checker.index.qual

Annotation Interface LessThan

@Documented @Retention(RUNTIME) @Target({TYPE_PARAMETER,TYPE_USE}) @SubtypeOf(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
    Description
    String[]
    value
    The annotated expression's value is less than this expression.

  • Element Details

    • value

      @JavaExpression 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.