```
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(SignatureUnknown.class)
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

Annotation Type FqBinaryName