Annotation Type FullyQualifiedName


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