org.checkerframework.common.value.qual

Annotation Types

• ArrayLen
• ArrayLenRange
• BoolVal
• BottomVal
• DoubleVal
• EnsuresMinLenIf
• IntRange
• IntRangeFromGTENegativeOne
• IntRangeFromNonNegative
• IntRangeFromPositive
• IntVal
• MinLen
• MinLenFieldInvariant
• PolyValue
• StaticallyExecutable
• StringVal
• UnknownVal