Package org.checkerframework.common.value.qual

package org.checkerframework.common.value.qual
  • Annotation Interfaces
    Class
    Description
    ArrayLen
    An annotation indicating the length of an array or a string.
    ArrayLenRange
    An expression with this type evaluates to an array or a string whose length is in the given range.
    BoolVal
    An annotation indicating the possible values for a bool type.
    BottomVal
    The bottom type in the Constant Value type system.
    DoesNotMatchRegex
    An annotation indicating the possible values for a String type.
    DoubleVal
    An annotation indicating the possible values for a double or float type.
    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).
    EnsuresMinLenIf.List
    A wrapper annotation that makes the EnsuresMinLenIf annotation repeatable.
    EnumVal
    An annotation indicating the possible values for an enum type.
    IntRange
    An expression with this type evaluates to an integral value (byte, short, char, int, or long) in the given range.
    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.
    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.
    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.
    IntVal
    An annotation indicating the possible values for a byte, short, char, int, or long type.
    MatchesRegex
    An annotation indicating the possible values for a String type.
    MinLen
    The value of the annotated expression is a sequence containing at least the given number of elements.
    MinLenFieldInvariant
    A specialization of FieldInvariant for specifying the minimum length of an array.
    PolyValue
    A polymorphic qualifier for the Constant Value Checker.
    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.
    StringVal
    An annotation indicating the possible values for a String type.
    UnknownVal
    UnknownVal is a type annotation indicating that the expression's value is not known at compile type.