Class UserError

All Implemented Interfaces:

public class UserError extends RuntimeException
Exception type indicating a mistake by an end user in using the Checker Framework, such as incorrect command-line arguments.

To indicate a bug in the framework, use BugInCF. To indicate a bug in a checker implementation, use TypeSystemError.

See Also:
  • Constructor Details

    • UserError

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

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