org.checkerframework.framework.qual

Annotation Type RequiresQualifiers

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR})
public @interface RequiresQualifiers

A meta-annotation to allow multiple precondition annotations.

Programmers generally do not need to use this; it is created by Java when a programmer writes more than one @RequiresQualifier annotation at the same location.

See Also:

RequiresQualifier

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
RequiresQualifier[]	value

Element Detail

value

public abstract RequiresQualifier[] value