Package org.checkerframework.common.reflection.qual

Annotation Interface ClassVal

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(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
    Description
    String[]
    value
    The name of the type that this Class object represents.

  • Element Details

    • value

      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