Package org.checkerframework.common.reflection.qual

package org.checkerframework.common.reflection.qual
  • Annotation Interfaces
    Class
    Description
    ClassBound
    This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.
    ClassVal
    This represents a Class<T> object where the set of possible values of T is known at compile time.
    ClassValBottom
    The bottom type in the ClassVal type system.
    ForName
    Annotation for methods like Class.forName.
    GetClass
    Annotation for methods like Object.getClassName.
    GetConstructor
    Annotation for methods like Class.getConstructor, whose signature is:
    @MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object... params)
    GetMethod
    Annotation for methods like Class.getMethod and Class.getDeclaredMethod, whose signature is:
    {@link MethodVal}(classname=c, methodname=m, params=p) Method getMyMethod(Class<c> this, String m, Object... params)
    Invoke
    Annotation for methods like Method.invoke, whose signature is:
    Object method({@link MethodVal}(classname=c, methodname=m, params=p) Method this, Object obj, Object... args)
    MethodVal
    This represents a set of Method or Constructor values.
    MethodValBottom
    The bottom type in the MethodVal type system.
    NewInstance
    Annotation for methods like Constructor.newInstance, whose signature is:
    T method(MethodVal(classname=c, methodname="<init>", params=p) Constructor this, Object... args)
    UnknownClass
    Represents a Class object whose run-time value is not known at compile time.
    UnknownMethod
    Represents a Method or Constructor expression whose run-time value is not known at compile time.