Top Description Methods
org.checkerframework.checker.index.qual

public @Interface SearchIndexFor

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:SearchIndexUnknown
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.JavaExpression, .SubtypeOf
The annotated expression evaluates to an integer whose length is between -a.length - 1 and a.length - 1, inclusive, for all sequences a listed in the annotation.

This is the return type of Arrays.binarySearch in the JDK.

Method Summary

Modifier and TypeMethod and Description
public String[]
value()

Sequences for which the annotated expression has the type of the result of a call to Arrays.binarySearch.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

Sequences for which the annotated expression has the type of the result of a call to Arrays.binarySearch.

Annotations
@JavaExpression