public class BugInCF extends RuntimeException
TypeSystemError
.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 the current callstack as the root cause).
|
BugInCF(String message,
Throwable cause)
Constructs a new CheckerError with the specified detail message and cause.
|
BugInCF(Throwable cause)
Constructs a new CheckerError with the specified cause.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public BugInCF(String message)
message
- the detail message@FormatMethod public BugInCF(String fmt, Object... args)
fmt
- the format stringargs
- the arguments for the format stringpublic BugInCF(Throwable cause)
cause
- the cause; its detail message will be used and must be non-null