Package org.checkerframework.common.value.qual


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