Top Description Methods
org.checkerframework.common.reflection.qual

public @Interface GetConstructor

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
Annotation for methods like Class.getConstructor, whose signature is:
@MethodVal(classname=c, methodname="<init>", params=p) Constructor<T> method(Class<c> this, Object... params)

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString