ClassVal (checker-framework 3.39.0-eisop1 API)

```
@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
  
  java.lang.String[] value
  The name of the type that this Class object represents.

- Element Detail
  - value
```
java.lang.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