Annotation Interface FqBinaryName


An extension of binary name format to represent primitives and arrays. It is just like fully-qualified name format, but uses "$" rather than "." to indicate a nested class.

Examples include

   int
   int[][]
   java.lang.String
   java.lang.String[]
   pkg.Outer$Inner
   pkg.Outer$Inner[]
 

This is not a format defined by the Java language or platform, but is a convenient format for users to unambiguously specify a type.

See the Checker Framework Manual:
Signature Checker