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
Class<? extends Annotation>[]	value Qualifier to add to all unannotated uses of the type with this declaration annotation.

Element Detail

value

public abstract Class<? extends Annotation>[] value

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

Default:

{}