org.checkerframework.checker.signature.qual

Annotation Type CanonicalName

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={FullyQualifiedName.class,CanonicalNameOrEmpty.class,CanonicalNameOrPrimitiveType.class})
public @interface CanonicalName

Canonical names have the same syntactic form as fully-qualified names. Every canonical name is a fully-qualified name, but not every fully-qualified name is a canonical name.

JLS section 6.7 gives the following example:

The difference between a fully qualified name and a canonical name can be seen in code such as:

 package p;
 class O1 { class I {} }
 class O2 extends O1 {}
 

Both p.O1.I and p.O2.I are fully qualified names that denote the member class I, but only p.O1.I is its canonical name.

Given a character sequence that is a fully-qualified name, there is no way to know whether or not it is a canonical name, without examining the program it refers to. Type-checking determines that a string is a CanonicalName based on provenance (what method produced the string), rather than the contents of the string.

See Also:

FullyQualifiedName

See the Checker Framework Manual:

Signature Checker