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(@BinaryName String name) {...}
 

See the Checker Framework Manual:

Reflection resolution