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 name of the type that this Class object represents.

Element Detail

value

public abstract String[] value

The name of the type that this Class object represents. The name is a "fully-qualified binary name" (FqBinaryName): a primitive or binary name, possibly followed by some number of array brackets.

Returns:

the name of the type that this Class object represents