org.checkerframework.checker.signature.qual

Annotation Type BinaryNameWithoutPackage

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={BinaryName.class,InternalForm.class})
public @interface BinaryNameWithoutPackage

Represents a string that is a BinaryName, an InternalForm, and a ClassGetName. The string represents a class that is in the unnamed package (also known as the default package).

Examples:

 MyClass
 MyClass$22
 

See the Checker Framework Manual:

Signature Checker