Top Description Methods
org.checkerframework.checker.signature.qual

public @Interface BinaryName

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf:BinaryNameOrPrimitiveType
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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 internal form only differ by the use of '.' vs. '/' as package separator.

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString