org.checkerframework.checker.signature.qual

Annotation Type BinaryName

@SubtypeOf(value=SignatureUnknown.class)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface BinaryName

Represents a binary name as defined in the Java Language Specification, section 13.1.

For example, in

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

the binary names for the two types are org.checkerframework.checker.signature.SignatureChecker and org.checkerframework.checker.signature.SignatureChecker$Inner.

Binary names and fully qualified names are the same for top-level classes and only differ by '$' vs. '.' for inner classes.

The binary name should not be confused with the internal form, which is a variant of the binary name that actually appears in the class file.

See the Checker Framework Manual:

Signature Checker