Annotation 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