org.checkerframework.checker.signature.qual

Annotation Type FullyQualifiedName

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=FqBinaryName.class)
public @interface FullyQualifiedName

A sequence of dot-separated identifiers, followed by any number of array square brackets. Represents a fully-qualified name as defined in the Java Language Specification, section 6.7.

Examples:

 int
 MyClass
 java.lang.Integer
 int[][]
 MyClass[]
 java.lang.Integer[][][]
 

in

  package org.checkerframework.checker.signature;
  public class SignatureChecker {
    private class Inner {}
  }
 

the fully-qualified names for the two types are org.checkerframework.checker.signature.SignatureChecker and org.checkerframework.checker.signature.SignatureChecker.Inner.

Fully-qualified names and binary names are the same for top-level classes and only differ by a '.' vs. '$' for inner classes.

See the Checker Framework Manual:

Signature Checker