org.checkerframework.checker.signature.qual

Annotation Type SourceNameForNonInner

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

A source name is a string that is a valid fully qualified name and a valid binary name.

See the Checker Framework Manual:

Signature Checker