public interface ProblemCollector
| Modifier and Type | Method | Description |
|---|---|---|
void |
add(Problem.Severity severity,
java.lang.String message,
int line,
int column,
java.lang.Exception cause) |
Adds the specified problem.
|
java.util.List<Problem> |
getProblems() |
|
void |
setSource(java.lang.String source) |
The next messages will be bound to this source.
|
void add(Problem.Severity severity, java.lang.String message, int line, int column, java.lang.Exception cause)
severity - The severity of the problem, must not be null.message - The detail message of the problem, may be null.line - The one-based index of the line containing the problem or -1 if unknown.column - The one-based index of the column containing the problem or -1 if unknown.cause - The cause of the problem, may be null.void setSource(java.lang.String source)
source - java.util.List<Problem> getProblems()
null