org.checkerframework.checker.signature.qual

Annotation Type BinaryNameInUnnamedPackage

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

Represents a string that is both a BinaryName and an InternalForm. The string represents a class that is in the unnamed package (also known as the default package). Example: int Example: int[][] Example: MyClass Example: MyClass[] Example: MyClass$22 Example: MyClass$22[]

See the Checker Framework Manual:

Signature Checker