public interface ErrorListener
Modifier and Type | Method and Description |
---|---|
void |
reportError(ErrorDispatcher errorDispatcher,
ErrorDispatcher.ErrorType errorType,
int line,
int position,
String message)
Reports an error.
|
void |
reportWarning(ErrorDispatcher errorDispatcher,
ErrorDispatcher.ErrorType errorType,
int line,
int position,
String message)
Reports a warning.
|
void reportError(ErrorDispatcher errorDispatcher, ErrorDispatcher.ErrorType errorType, int line, int position, String message)
errorDispatcher
- the source of the error reporterrorType
- the type of the errorline
- the line in source code where the error occurredposition
- the position in line where the error occurredmessage
- the error messagevoid reportWarning(ErrorDispatcher errorDispatcher, ErrorDispatcher.ErrorType errorType, int line, int position, String message)
errorDispatcher
- the source of the error reporterrorType
- the type of the errorline
- the line in source code where the error occurredposition
- the position in line where the error occurredmessage
- the error messageCopyright © 2018. All rights reserved.