org.checkerframework.checker.index.qual

public @Interface SubstringIndexUnknown

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 Substring Index type system. This indicates that the Index Checker does not know any sequences that this integer is a substring index for.

Method Summary

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