public interface ProblemCollector
| Modifier and Type | Method and 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