org.checkerframework.checker.signature.qual

Annotation Type ClassGetName

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=SignatureUnknown.class)
 @QualifierForLiterals(stringPatterns="(^[A-Za-z_][A-Za-z_0-9]*(\\.[A-Za-z_][A-Za-z_0-9]*|\\$[A-Za-z_0-9]+)*$)|^\\[+([BCDFIJSZ]|L[A-Za-z_][A-Za-z_0-9]*(\\.[A-Za-z_][A-Za-z_0-9]*|\\$[A-Za-z_0-9]+)*;)$")
public @interface ClassGetName

The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods. This format is:

• for any non-array type, the binary name
• for any array type, a format like the field descriptor, but using '.' where the field descriptor uses '/'

Examples include

   java.lang.String
   [Ljava.lang.Object;
   int
   [[[I
 

See the Checker Framework Manual:

Signature Checker