public class UserError extends Object
Modifier and Type | Class and Description |
---|---|
static class |
UserError.UserException
UserException type for all errors that should be reported to the SVM users.
|
Constructor and Description |
---|
UserError() |
Modifier and Type | Method and Description |
---|---|
static UserError.UserException |
abort(Iterable<String> messages)
Stop compilation immediately and report the message to the user.
|
static UserError.UserException |
abort(String message)
Stop compilation immediately and report the message to the user.
|
static UserError.UserException |
abort(String message,
Throwable ex)
Stop compilation immediately and report the message to the user.
|
static void |
guarantee(boolean condition,
String message,
Object... args)
Concisely reports user errors.
|
public static UserError.UserException abort(String message)
message
- the error message to be reported to the user.public static UserError.UserException abort(String message, Throwable ex)
message
- the error message to be reported to the user.ex
- the exception that caused the abort.public static void guarantee(boolean condition, String message, Object... args)
message
- the error message to be reported to the user.public static UserError.UserException abort(Iterable<String> messages)
messages
- the error message to be reported to the user.