framework.src.org.checkerframework.qualframework.qual.QualifierKey Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker-qual Show documentation
Show all versions of checker-qual Show documentation
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
package org.checkerframework.qualframework.qual;
import org.checkerframework.framework.qual.SubtypeOf;
/**
* Annotation used internally by the qualifier framework for mapping annotations to qualifiers.
*/
@SubtypeOf({})
public @interface QualifierKey {
/**
* An index into the lookup table.
*/
int index() default -1;
/**
* A string representation of the qualifier this {@link QualifierKey} represents. This lets us have
* slightly nicer error messages.
*/
String desc() default "";
}