Package org.checkerframework.common.reflection.qual

Annotation Type GetClass

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

Annotation for methods like Object.getClassName. Their signature is:
@ClassBound("ReceiverType") Class method(ReceiverType this) {...}

See the Checker Framework Manual:

Reflection resolution