Package org.checkerframework.javacutil

Class UserError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.checkerframework.javacutil.UserError

All Implemented Interfaces:

java.io.Serializable

public class UserError
extends java.lang.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:

Serialized Form

Constructor Summary

Constructors

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

UserError

public UserError(java.lang.String message)

Constructs a new CheckerError with the specified detail message.

Parameters:

message - the detail message

UserError

@FormatMethod
public UserError(java.lang.String fmt,
                 @Nullable java.lang.Object... args)

Constructs a new CheckerError with a detail message composed from the given arguments.

Parameters:

fmt - the format string

args - the arguments for the format string