Package 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.

To indicate a bug in a checker implementation, use TypeSystemError. To indicate that an end user made a mistake, use UserError.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
BugInCF(String message)	Constructs a new BugInCF with the specified detail message and no cause (use this at the root cause).
BugInCF(String fmt, @Nullable Object... args)	Constructs a new BugInCF with a detail message composed from the given arguments, and with no cause (use the current callstack as the root cause).
BugInCF(String message, Throwable cause)	Constructs a new BugInCF with the specified detail message and cause.
BugInCF(Throwable cause)	Constructs a new BugInCF with the specified cause.
BugInCF(Throwable cause, String fmt, @Nullable Object... args)	Constructs a new BugInCF with the specified cause and 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

BugInCF

public BugInCF(String message)

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

Parameters:

message - the detail message

BugInCF

@FormatMethod
public BugInCF(String fmt,
 @Nullable Object... args)

Constructs a new BugInCF with a detail message composed from the given arguments, and with no cause (use the current callstack as the root cause).

Parameters:

fmt - the format string

args - the arguments for the format string

BugInCF

public BugInCF(Throwable cause)

Constructs a new BugInCF with the specified cause.

Parameters:

cause - the cause; its detail message will be used and must be non-null

BugInCF

@FormatMethod
public BugInCF(Throwable cause,
 String fmt,
 @Nullable Object... args)

Constructs a new BugInCF with the specified cause and with a detail message composed from the given arguments.

Parameters:

cause - the cause

fmt - the format string

args - the arguments for the format string

BugInCF

public BugInCF(String message,
 Throwable cause)

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

Parameters:

message - the detail message

cause - the cause