org.checkerframework.common.reflection.qual

Annotation Type ClassVal

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

This represents a Class<T> object where the set of possible values of T is known at compile time. If only one argument is given, then the exact value of T is known. If more than one argument is given, then the value of T is one of those classes.

See the Checker Framework Manual:

ClassVal Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value The binary name of the class that this Class object represents.

Element Detail

value

public abstract String[] value

The binary name of the class that this Class object represents.