Class AnnotatedTypeMirror.ErrorTypeKindException

java.lang.Object
java.lang.Throwable
java.lang.Error
org.checkerframework.framework.type.AnnotatedTypeMirror.ErrorTypeKindException
All Implemented Interfaces:
Serializable
Enclosing class:
AnnotatedTypeMirror

public static class AnnotatedTypeMirror.ErrorTypeKindException extends Error
An ERROR TypeKind was found.
See Also:
  • Constructor Details

    • ErrorTypeKindException

      @FormatMethod public ErrorTypeKindException(String format, Object... args)
      Creates an ErrorTypeKindException.
      Parameters:
      format - format string
      args - arguments to the format string