Top Annotations
[default module]

Package org.checkerframework.common.reflection.qual

Annotation Summary

Modifier and TypeAnnotation and Description
public @interface
ClassBound

This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.

public @interface
ClassVal

This represents a Class<T> object where the set of possible values of T is known at compile time.

public @interface
ClassValBottom

The bottom type in the ClassVal type system.

public @interface
ForName

Annotation for methods like Class.forName.

public @interface
GetClass

Annotation for methods like Object.getClassName.

public @interface
GetConstructor

Annotation for methods like Class.getConstructor, whose signature is: @MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object...

public @interface
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...

public @interface
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...

public @interface
MethodVal

This represents a set of Method or Constructor values.

public @interface
MethodValBottom

The bottom type in the MethodVal type system.

public @interface
NewInstance

Annotation for methods like Constructor.newInstance, whose signature is: T method(MethodVal(classname=c, methodname="<init>", params=p) Constructor this, Object...

public @interface
UnknownClass

Represents a Class object whose run-time value is not known at compile time.

public @interface
UnknownMethod

Represents a Method or Constructor expression whose run-time value is not known at compile time.