org.checkerframework.checker.signature.qual

Annotation Type BinaryNameForNonArray

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

Represents a binary name as defined in the Java Language Specification, section 13.1, but only for a non-array type.

Example: package.package2.Class$Inner Example: Class

See the Checker Framework Manual:

Signature Checker