org.checkerframework.common.reflection.qual

Annotation Type ForName

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

Annotation for methods like Class.forName. Their signature is @ClassVal("name") Class method(String name) {...}.

See the Checker Framework Manual:

Reflection resolution