org.checkerframework.common.reflection.qual

Annotation Type GetClass

@Documented
 @Retention(value=RUNTIME)
 @Target(value=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