Package org.checkerframework.checker.signature.qual

Annotation Interface FqBinaryName

@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