Package org.checkerframework.checker.signature.qual

Annotation Interface BinaryNameWithoutPackage

@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({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