org.checkerframework.common.reflection.qual

Annotation Type GetClass

@Documented
 @Retention(value=RUNTIME)
 @Target(value=METHOD)
public @interface GetClass

Annotation for methods of the form:
ClassBound("ReceiverType") Class method(ReceiverType this) {...}