org.checkerframework.checker.nullness.compatqual

Annotation Type KeyForDecl

@Documented
 @Retention(value=RUNTIME)
public @interface KeyForDecl

Identical to @KeyFor, but can only be written at declaration locations. This annotation can be used in Java 7 code; it has no dependency on Java 8 classes.

See Also:

KeyFor

See the Checker Framework Manual:

Nullness Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value

Element Detail

value

public abstract String[] value