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, warningpublic void error(String message)
ErrorManagererror in class ErrorManagermessage - Error message string.public void error(ParserException e)
ErrorManagererror in class ErrorManagere - ParserException objectprotected void message(String message)
ErrorManagermessage in class ErrorManagermessage - Error message string.