public interface ErrorReporter
| Modifier and Type | Method and Description |
|---|---|
void |
error(java.lang.String message,
java.lang.String sourceName,
int line,
java.lang.String lineSource,
int lineOffset)
Report an error.
|
EvaluatorException |
runtimeError(java.lang.String message,
java.lang.String sourceName,
int line,
java.lang.String lineSource,
int lineOffset)
Creates an EvaluatorException that may be thrown.
|
void |
warning(java.lang.String message,
java.lang.String sourceName,
int line,
java.lang.String lineSource,
int lineOffset)
Report a warning.
|
void warning(java.lang.String message,
java.lang.String sourceName,
int line,
java.lang.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(java.lang.String message,
java.lang.String sourceName,
int line,
java.lang.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(java.lang.String message, java.lang.String sourceName, int line, java.lang.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 detected