org.checkerframework.checker.signature.qual

Annotation Type ClassGetName

@SubtypeOf(value=SignatureUnknown.class)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
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