Class TypeSystemError

All Implemented Interfaces:

public class TypeSystemError extends RuntimeException
Exception type indicating a mistake in 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 (a programmer running a type-checker) made a mistake, use UserError.

See Also:
  • Constructor Details

    • TypeSystemError

      public TypeSystemError(String message)
      Constructs a new TypeSystemError with the specified detail message.
      message - the detail message
    • TypeSystemError

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