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.