public interface ErrorReporter
Modifier and Type | Method and Description |
---|---|
void |
error(String message,
String sourceName,
int line,
String lineSource,
int lineOffset)
Report an error.
|
EvaluatorException |
runtimeError(String message,
String sourceName,
int line,
String lineSource,
int lineOffset)
Creates an EvaluatorException that may be thrown.
|
void |
warning(String message,
String sourceName,
int line,
String lineSource,
int lineOffset)
Report a warning.
|
void warning(String message, String sourceName, int line, String lineSource, int lineOffset)
message
- a String describing the warningsourceName
- a String describing the JavaScript source
where the warning occured; typically a filename or URLline
- the line number associated with the warninglineSource
- the text of the line (may be null)lineOffset
- the offset into lineSource where problem was detectedvoid error(String message, String sourceName, int line, String lineSource, int lineOffset)
message
- a String describing the errorsourceName
- a String describing the JavaScript source
where the error occured; typically a filename or URLline
- the line number associated with the errorlineSource
- the text of the line (may be null)lineOffset
- the offset into lineSource where problem was detectedEvaluatorException runtimeError(String message, String sourceName, int line, String lineSource, int lineOffset)
message
- a String describing the errorsourceName
- a String describing the JavaScript source
where the error occured; typically a filename or URLline
- the line number associated with the errorlineSource
- the text of the line (may be null)lineOffset
- the offset into lineSource where problem was detectedCopyright © 2018. All rights reserved.