JS: removed unused rhino error reporter method

2014-12-18 21:18:24 +03:00
parent b431bf6fc9
commit baccfa914f
2 changed files with 0 additions and 28 deletions
@@ -81,22 +81,4 @@ public interface ErrorReporter {
     */
    void error(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.
-     *
-     * @param message a String describing the error
-     * @param sourceName a String describing the JavaScript source
-     * where the error occured; typically a filename or URL
-     * @param line the line number associated with the error
-     * @param lineSource the text of the line (may be null)
-     * @param lineOffset the offset into lineSource where problem was detected
-     * @return an EvaluatorException that will be thrown.
-     */
-    EvaluatorException runtimeError(String message, String sourceName,
-                                    int line, String lineSource,
-                                    int lineOffset);
 }