public static void reportException(ErrorReporter er, RhinoException ex) {
   if (er instanceof ToolErrorReporter) {
     ((ToolErrorReporter) er).reportException(ex);
   } else {
     String msg = getExceptionMessage(ex);
     er.error(msg, ex.sourceName(), ex.lineNumber(), ex.lineSource(), ex.columnNumber());
   }
 }
 public void reportException(RhinoException ex) {
   if (ex instanceof WrappedException) {
     WrappedException we = (WrappedException) ex;
     we.printStackTrace(err);
   } else {
     String msg = getExceptionMessage(ex);
     reportErrorMessage(
         msg, ex.sourceName(), ex.lineNumber(), ex.lineSource(), ex.columnNumber(), false);
   }
 }
Exemplo n.º 3
0
 public void reportException(RhinoException ex) {
   if (ex instanceof WrappedException) {
     WrappedException we = (WrappedException) ex;
     we.printStackTrace(err);
   } else {
     String lineSeparator = SecurityUtilities.getSystemProperty("line.separator");
     String msg = getExceptionMessage(ex) + lineSeparator + ex.getScriptStackTrace();
     reportErrorMessage(
         msg, ex.sourceName(), ex.lineNumber(), ex.lineSource(), ex.columnNumber(), false);
   }
 }