org.checkerframework.checker.signature.qual

Annotation Type BinaryNameInUnnamedPackage

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={BinaryName.class,InternalForm.class})
 @QualifierForLiterals(stringPatterns="^[A-Za-z_][A-Za-z_0-9]*(\\$[A-Za-z_0-9]+)*$")
public @interface BinaryNameInUnnamedPackage

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