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:
java.io.Serializable
public class BugInCF extends java.lang.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, useUserError
.- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description BugInCF(java.lang.String message)
Constructs a new BugInCF with the specified detail message and no cause (use this at the root cause).BugInCF(java.lang.String fmt, @Nullable java.lang.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(java.lang.String message, java.lang.Throwable cause)
Constructs a new BugInCF with the specified detail message and cause.BugInCF(java.lang.Throwable cause)
Constructs a new BugInCF with the specified cause.BugInCF(java.lang.Throwable cause, java.lang.String fmt, @Nullable java.lang.Object... args)
Constructs a new BugInCF with the specified cause and with a detail message composed from the given arguments.
-
-
-
Constructor Detail
-
BugInCF
public BugInCF(java.lang.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(java.lang.String fmt, @Nullable java.lang.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 stringargs
- the arguments for the format string
-
BugInCF
public BugInCF(java.lang.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(java.lang.Throwable cause, java.lang.String fmt, @Nullable java.lang.Object... args)
Constructs a new BugInCF with the specified cause and with a detail message composed from the given arguments.- Parameters:
cause
- the causefmt
- the format stringargs
- the arguments for the format string
-
BugInCF
public BugInCF(java.lang.String message, java.lang.Throwable cause)
Constructs a new BugInCF with the specified detail message and cause.- Parameters:
message
- the detail messagecause
- the cause
-
-