org.checkerframework.checker.signature.qual

Annotation Type BinaryNameForNonArrayInUnnamedPackage

@SubtypeOf(value={BinaryNameForNonArray.class,BinaryNameInUnnamedPackage.class,InternalFormForNonArray.class})
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface BinaryNameForNonArrayInUnnamedPackage

Represents a binary name as defined in the Java Language Specification, section 13.1, but only for a non-array type in the unnamed package (also known as the default package).

Example: Foo$Inner Example: Foo$22 Example: Foo

See the Checker Framework Manual:

Signature Checker