Package org.checkerframework.framework.util.element

Class ElementAnnotationUtil.ErrorTypeKindException

java.lang.Object

java.lang.Throwable

java.lang.Error

org.checkerframework.framework.util.element.ElementAnnotationUtil.ErrorTypeKindException

All Implemented Interfaces:

Serializable

Enclosing class:

ElementAnnotationUtil

public static class ElementAnnotationUtil.ErrorTypeKindException
extends Error

An ERROR TypeKind was found.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ErrorTypeKindException(String format, Object... args)	Creates an ErrorTypeKindException.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ErrorTypeKindException

@FormatMethod
public ErrorTypeKindException(String format,
 Object... args)

Creates an ErrorTypeKindException.

Parameters:

format - format string

args - arguments to the format string