org.checkerframework.checker.index.qual

public @Interface SearchIndexUnknown

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf
@DefaultQualifierInHierarchy
@InvisibleQualifier

Imports

java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultQualifierInHierarchy, .InvisibleQualifier, .SubtypeOf

The top type for the SearchIndex type system. This indicates that the Index checker does not know any arrays that this integer is a search index for.

Method Summary

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString