public interface ProblemReporter
Problem
Modifier and Type | Method and Description |
---|---|
void |
error(Problem problem)
Called when an error is encountered during the parsing process.
|
void |
fatal(Problem problem)
Called when a fatal error is encountered during the parsing process.
|
void |
warning(Problem problem)
Called when a warning is raised during the parsing process.
|
void fatal(Problem problem)
Implementations must treat the given problem as fatal, i.e. they have to eventually raise an exception.
problem
- the source of the error (never null
)void error(Problem problem)
Implementations may choose to treat errors as fatal.
problem
- the source of the error (never null
)void warning(Problem problem)
Warnings are never considered to be fatal.
problem
- the source of the warning (never null
)