Package org.checkerframework.checker.signature.qual

Annotation Type ClassGetSimpleName

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(SignatureUnknown.class)
public @interface ClassGetSimpleName

The format produced by the Class.getSimpleName() method. It is an identifier or the empty string (for an anonymous class), followed by an number of array square brackets.

See the Checker Framework Manual:

Signature Checker