org.checkerframework.framework.qual

Annotation Type DefaultQualifierForUse

@Target(value=TYPE)
public @interface DefaultQualifierForUse

Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
java.lang.Class<? extends java.lang.annotation.Annotation>[]	value Qualifier to add to all unannotated uses of the type with this declaration annotation.

Element Detail

value

public abstract java.lang.Class<? extends java.lang.annotation.Annotation>[] value

Qualifier to add to all unannotated uses of the type with this declaration annotation.

Default:

{}