org.checkerframework.common.reflection.qual

Annotation Type ClassBound

@SubtypeOf(value=UnknownClass.class)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface ClassBound

This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.

See the Checker Framework Manual:

ClassVal Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
java.lang.String[]	value The binary name of the class or classes that upper-bound the values of this Class object.

Element Detail

value

public abstract java.lang.String[] value

The binary name of the class or classes that upper-bound the values of this Class object.