Package org.checkerframework.checker.index.qual
package org.checkerframework.checker.index.qual

ClassDescriptionIndicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.A wrapper annotation that makes the
EnsuresLTLengthOf
annotation repeatable.Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).A wrapper annotation that makes theEnsuresLTLengthOfIf
annotation repeatable.The annotated expression evaluates to an integer greater than or equal to 1.The annotated sequence contains a subsequence that is equal to the value of some other expression.An integer that can be used to index any of the given sequences.An integer that, for each of the given sequences, is either a valid index or is equal to the sequence's length.An integer that is either 1 or is a valid index for each of the given sequences.An integer that, for each of the given sequences, is equal to the sequence's length.An annotation indicating the relationship between values with a byte, short, char, int, or long type.The bottom type in the LessThan type system.The top qualifier for the LessThan type hierarchy.The bottom type of the lower bound type system.The annotated expression evaluates to value that might be 2 or lower.The annotated expression evaluates to an integer whose value is less than or equal to the lengths of all the given sequences.The annotated expression evaluates to an integer whose value is less than the lengths of all the given sequences.The annotated expression evaluates to an integer whose value is at least 2 less than the lengths of all the given sequences.The annotated expression is between1
anda.length  1
, inclusive, for each sequencea
listed in the annotation.The annotated expression evaluates to an integer greater than or equal to 0.A polymorphic qualifier for the Lower Bound and Upper Bound type systems.Syntactic sugar for both @PolyValue and @PolySameLen.A polymorphic qualifier for the Lower Bound type system.A polymorphic qualifier for the SameLen type system.A polymorphic qualifier for the Upper Bound type system.The annotated expression evaluates to an integer greater than or equal to 1.An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences.The bottom type in the SameLen type system.This type represents any variable that isn't known to have the same length as another sequence.The bottom type in the Search Index type system.The annotated expression evaluates to an integer whose length is betweena.length  1
anda.length  1
, inclusive, for all sequencesa
listed in the annotation.The top type for the SearchIndex type system.The bottom type in the Substring Index type system.The annotated expression evaluates to either 1 or a nonnegative integer less than the lengths of all the given sequences.The top type for the Substring Index type system.The bottom type in the Upper Bound type system.A literal value.A variable not known to have a relation to any sequence length.