Errors.Collector |
Errors.Collector.clear() |
|
static Errors.Collector |
Errors.collector() |
Create a new message collector.
|
Errors.Collector |
Errors.Collector.fatal(Object source,
String message) |
Add a fatal error to the list of messages.
|
Errors.Collector |
Errors.Collector.fatal(String message) |
Add a fatal error to the list of messages.
|
Errors.Collector |
Errors.Collector.hint(Object source,
String message) |
Add a hint message to the list of messages.
|
Errors.Collector |
Errors.Collector.hint(String message) |
Add a hint message to the list of messages.
|
Errors.Collector |
Errors.Collector.message(Object source,
String message,
Severity severity) |
Add a message to the list of messages.
|
Errors.Collector |
Errors.Collector.message(String message,
Severity severity) |
Add a message to the list of messages with source automatically added.
|
Errors.Collector |
Errors.Collector.warn(Object source,
String message) |
Add a warning message to the list of messages.
|
Errors.Collector |
Errors.Collector.warn(String message) |
Add a warning message to the list of messages.
|