Class ElementAnnotationUtil.ErrorTypeKindException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Error
-
- org.checkerframework.framework.util.element.ElementAnnotationUtil.ErrorTypeKindException
-
- All Implemented Interfaces:
java.io.Serializable
- Enclosing class:
- ElementAnnotationUtil
public static class ElementAnnotationUtil.ErrorTypeKindException extends java.lang.Error
An ERROR TypeKind was found.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description ErrorTypeKindException(java.lang.String format, java.lang.Object... args)
Creates an ErrorTypeKindException.
-
-
-
Constructor Detail
-
ErrorTypeKindException
@FormatMethod public ErrorTypeKindException(java.lang.String format, java.lang.Object... args)
Creates an ErrorTypeKindException.- Parameters:
format
- format stringargs
- arguments to the format string
-
-