Class TypeSystemError

  • All Implemented Interfaces:
    java.io.Serializable

    public class TypeSystemError
    extends java.lang.RuntimeException
    Exception type indicating a mistake by a type system built using the Checker Framework. For example, misusing a meta-annotation on a qualifier.

    To indicate a bug in the framework, use BugInCF. To indicate that an end user made a mistake, use UserError.

    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      TypeSystemError​(java.lang.String message)
      Constructs a new TypeSystemError with the specified detail message.
      TypeSystemError​(java.lang.String fmt, @Nullable java.lang.Object... args)
      Constructs a new TypeSystemError 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

      • TypeSystemError

        public TypeSystemError​(java.lang.String message)
        Constructs a new TypeSystemError with the specified detail message.
        Parameters:
        message - the detail message
      • TypeSystemError

        @FormatMethod
        public TypeSystemError​(java.lang.String fmt,
                               @Nullable java.lang.Object... args)
        Constructs a new TypeSystemError with a detail message composed from the given arguments.
        Parameters:
        fmt - the format string
        args - the arguments for the format string