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

public @Interface FqBinaryName

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

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString