org.checkerframework.framework.qual

public @Interface UpperBoundFor

Annotations

Imports

A meta-annotation applied to the declaration of a type qualifier. It specifies that the annotation should be the upper bound for

An example is the declaration


@DefaultFor(classes=String.class)
@interface MyAnno {}

The upper bound applies to every occurrence of the given classes and also to every occurrence of the given type kinds.

Method Summary

Modifier and Type	Method and Description
public TypeKind[]	Returns: `TypeKind`s of types that get an upper bound typeKinds() Returns `TypeKind`s of types that get an upper bound.
public Class<?>[]	Returns: `Class`es that get an upper bound types() Returns `Class`es that should get an upper bound.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

typeKinds back to summary

typeKinds	back to summary
public TypeKind[] typeKinds() Returns `TypeKind`s of types that get an upper bound. The meta-annotated annotation is the upper bound. Returns:TypeKind[] `TypeKind`s of types that get an upper bound

public TypeKind[] typeKinds()

Returns TypeKinds of types that get an upper bound. The meta-annotated annotation is the upper bound.

types back to summary

types	back to summary
public Class<?>[] types() Returns `Class`es that should get an upper bound. The meta-annotated annotation is the upper bound. Returns:Class<?>[] `Class`es that get an upper bound

public Class<?>[] types()

Returns Classes that should get an upper bound. The meta-annotated annotation is the upper bound.