Package org.checkerframework.common.reflection.qual

Annotation Interface ClassBound

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(UnknownClass.class) public @interface ClassBound
This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.
See the Checker Framework Manual:
ClassVal Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
    The binary name of the class or classes that upper-bound the values of this Class object.

  • Element Details

    • value

      String[] value
      The binary name of the class or classes that upper-bound the values of this Class object.