org.checkerframework.checker.signature.qual

Annotation Type FqBinaryName

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=SignatureUnknown.class)
 @QualifierForLiterals(stringPatterns="^[A-Za-z_][A-Za-z_0-9]*(\\.[A-Za-z_][A-Za-z_0-9]*)*(\\$[A-Za-z_0-9]+)*(\\[\\])*$")
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