Module org.checkerframework.checker.qual

Package org.checkerframework.checker.signature.qual

Annotation Interface Identifier

@SubtypeOf({DotSeparatedIdentifiers.class,IdentifierOrPrimitiveType.class,InternalForm.class})
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
public @interface Identifier

An identifier.