org.checkerframework.javacutil

Class TypeSystemError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.checkerframework.javacutil.TypeSystemError

All Implemented Interfaces:

Serializable

public class TypeSystemError
extends RuntimeException

Exception type indicating a mistake by a type system built using the Checker Framework. For example, misusing a meta-annotation on a qualifier. These should only be thrown by the framework package.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TypeSystemError(String message) Constructs a new TypeSystemError with the specified detail message.
TypeSystemError(String fmt, Object... args) Constructs a new TypeSystemError with a detail message composed from the given arguments.

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 Detail

TypeSystemError

public TypeSystemError(String message)

Constructs a new TypeSystemError with the specified detail message.

Parameters:

message - the detail message

TypeSystemError

public TypeSystemError(String fmt,
                       Object... args)

Constructs a new TypeSystemError with a detail message composed from the given arguments.

Parameters:

fmt - the format string

args - the arguments for the format string