public static class ErrorManager.ThrowErrorManager extends ErrorManager
ErrorManager.StringBuilderErrorManager, ErrorManager.ThrowErrorManager
Constructor and Description |
---|
ThrowErrorManager() |
Modifier and Type | Method and Description |
---|---|
void |
error(ParserException e)
Report an error using information provided by the ParserException
|
void |
error(String message)
Report an error message provided
|
protected void |
message(String message)
Report an error or warning message.
|
format, getLimit, getNumberOfErrors, getNumberOfWarnings, getParserException, hasErrors, isWarningsAsErrors, setLimit, setWarningsAsErrors, warning, warning
public void error(String message)
ErrorManager
error
in class ErrorManager
message
- Error message string.public void error(ParserException e)
ErrorManager
error
in class ErrorManager
e
- ParserException objectprotected void message(String message)
ErrorManager
message
in class ErrorManager
message
- Error message string.