Top Description Methods
org.checkerframework.common.reflection.qual

public @Interface ClassVal

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:UnknownClass
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf
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.

Method Summary

Modifier and TypeMethod and Description
public String[]

Returns:

the name of the type that this Class object represents
value()

The name of the type that this Class object represents.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

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

Returns:String[]

the name of the type that this Class object represents