org.checkerframework.qualframework.qual

Annotation Type QualifierKey

@SubtypeOf(value={})
public @interface QualifierKey

Annotation used internally by the qualifier framework for mapping annotations to qualifiers.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String	desc A string representation of the qualifier this QualifierKey represents.
int	index An index into the lookup table.

Element Detail

index

public abstract int index

An index into the lookup table.

Default:

-1

desc

public abstract String desc

A string representation of the qualifier this QualifierKey represents. This lets us have slightly nicer error messages.

Default:

""