org.checkerframework.javacutil

Class BugInCF

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.checkerframework.javacutil.BugInCF

All Implemented Interfaces:

Serializable

public class BugInCF
extends RuntimeException

Exception type indicating a bug in the framework or in a checker implementation.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BugInCF(String message) Constructs a new CheckerError with the specified detail message and no cause (use this at the root cause).
BugInCF(String fmt, Object... args) Constructs a new CheckerError with a detail message composed from the given arguments, and with no cause (use this at the root cause).
BugInCF(String message, Throwable cause) Constructs a new CheckerError with the specified detail message and cause.

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

BugInCF

public BugInCF(String message)

Constructs a new CheckerError with the specified detail message and no cause (use this at the root cause).

Parameters:

message - the detail message

BugInCF

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

Constructs a new CheckerError with a detail message composed from the given arguments, and with no cause (use this at the root cause).

Parameters:

fmt - the format string

args - the arguments for the format string

BugInCF

public BugInCF(String message,
               Throwable cause)

Constructs a new CheckerError with the specified detail message and cause.

Parameters:

message - the detail message

cause - the cause