Package org.checkerframework.common.reflection.qual

Annotation Type 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
      java.lang.String[] value
      The binary name of the class or classes that upper-bound the values of this Class object.

    • Element Detail

      • value

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