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