Class 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, use UserError.

    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.
    • 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​(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 string
        args - 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 cause
        fmt - the format string
        args - 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 message
        cause - the cause