org.mozilla.javascript

Interface ErrorReporter

public interface ErrorReporter

This is interface defines a protocol for the reporting of errors during JavaScript translation or execution.

Author:
Norris Boyd

Method Summary

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.

Method Details

error

public void error(String message,
                  String sourceName,
                  int line,
                  String lineSource,
                  int lineOffset)
Report an error. The implementing class is free to throw an exception if it desires. If execution has not yet begun, the JavaScript engine is free to find additional errors rather than terminating the translation. It will not execute a script that had errors, however.

Parameters:
message - a String describing the error
sourceName - a String describing the JavaScript source where the error occured; typically a filename or URL
line - the line number associated with the error
lineSource - the text of the line (may be null)
lineOffset - the offset into lineSource where problem was detected


runtimeError

public EvaluatorException runtimeError(String message,
                                       String sourceName,
                                       int line,
                                       String lineSource,
                                       int lineOffset)
Creates an EvaluatorException that may be thrown. runtimeErrors, unlike errors, will always terminate the current script.

Parameters:
message - a String describing the error
sourceName - a String describing the JavaScript source where the error occured; typically a filename or URL
line - the line number associated with the error
lineSource - the text of the line (may be null)
lineOffset - the offset into lineSource where problem was detected

Returns:
an EvaluatorException that will be thrown.


warning

public void warning(String message,
                    String sourceName,
                    int line,
                    String lineSource,
                    int lineOffset)
Report a warning. The implementing class may choose to ignore the warning if it desires.

Parameters:
message - a String describing the warning
sourceName - a String describing the JavaScript source where the warning occured; typically a filename or URL
line - the line number associated with the warning
lineSource - the text of the line (may be null)
lineOffset - the offset into lineSource where problem was detected