Top Annotations
[default module]

Package org.checkerframework.common.value.qual

Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
ArrayLen

An annotation indicating the length of an array or a string.

public @interface
ArrayLenRange

An expression with this type evaluates to an array or a string whose length is in the given range.

public @interface
BoolVal

An annotation indicating the possible values for a bool type.

public @interface
BottomVal

The bottom type in the Constant Value type system.

public @interface
DoesNotMatchRegex

An annotation indicating the possible values for a String type.

public @interface
DoubleVal

An annotation indicating the possible values for a double or float type.

public @interface
EnsuresMinLenIf

Indicates that the value of the given expression is a sequence containing at least the given number of elements, if the method returns the given result (either true or false).

public @interface
EnumVal

An annotation indicating the possible values for an enum type.

public @interface
IntRange

An expression with this type evaluates to an integral value (byte, short, char, int, or long) in the given range.

public @interface
IntRangeFromGTENegativeOne

An expression with this type is exactly the same as an IntRange annotation whose from field is -1 and whose to field is Integer.MAX_VALUE.

public @interface
IntRangeFromNonNegative

An expression with this type is exactly the same as an IntRange annotation whose from field is 0 and whose to field is Integer.MAX_VALUE.

public @interface
IntRangeFromPositive

An expression with this type is exactly the same as an IntRange annotation whose from field is 1 and whose to field is Integer.MAX_VALUE.

public @interface
IntVal

An annotation indicating the possible values for a byte, short, char, int, or long type.

public @interface
MatchesRegex

An annotation indicating the possible values for a String type.

public @interface
MinLen

The value of the annotated expression is a sequence containing at least the given number of elements.

public @interface
MinLenFieldInvariant

A specialization of FieldInvariant for specifying the minimum length of an array.

public @interface
PolyValue

A polymorphic qualifier for the Constant Value Checker.

public @interface
StaticallyExecutable

StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of the method's arguments are compile-time constants.

public @interface
StringVal

An annotation indicating the possible values for a String type.

public @interface
UnknownVal

UnknownVal is a type annotation indicating that the expression's value is not known at compile type.