org.checkerframework.common.reflection.qual

Annotation Type GetClass

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

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

See the Checker Framework Manual:

Reflection resolution