org.checkerframework.checker.signature.qual

Annotation Type FqBinaryName

@SubtypeOf(value=SignatureUnknown.class)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @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