Package org.checkerframework.common.reflection.qual

Annotation Type ForName

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