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)