Annotation Interface 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 any number of array square brackets.- See the Checker Framework Manual:
- Signature Checker