Package 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 in a type system built using the Checker Framework. For example, misusing a meta-annotation on a qualifier.

To indicate a bug in the framework, use BugInCF. To indicate that an end user (a programmer running a type-checker) made a mistake, use UserError.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TypeSystemError(String message)	Constructs a new TypeSystemError with the specified detail message.
TypeSystemError(String fmt, @Nullable 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 Details

TypeSystemError

public TypeSystemError(String message)

Constructs a new TypeSystemError with the specified detail message.

Parameters:

message - the detail message

TypeSystemError

@FormatMethod
public TypeSystemError(String fmt,
 @Nullable 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