Package org.checkerframework.common.reflection.qual

Annotation Types Summary

Annotation Type	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	Represents the bottom of the ClassVal qualifier hierarchy.
ForName	Annotation for methods of the form: ClassVal("name") Class method(String name) {...}
GetClass	Annotation for methods of the form: ClassBound("ReceiverType") Class method(ReceiverType this) {...}
GetConstructor	Annotation for methods of the form: MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object...
GetMethod	Annotation for methods of the form: MethodVal(classname=c, methodname=m, params=p) Method method(Class<c> this, String m, Object...
Invoke	Annotation for methods of the form: Object method(MethodVal(classname=c, methodname=m, params=p) Method this, Object obj, Object...
MethodVal	This represents a set of Method or Constructor values.
MethodValBottom	Represents the bottom of the MethodVal qualifier hierarchy.
NewInstance	Annotation for methods of the form: T method(MethodVal(classname=c, methodname="<init>", params=p) Constructor this, Object...
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.