/* -*- Mode: java; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 4 -*- * * The contents of this file are subject to the Netscape Public * License Version 1.1 (the "License"); you may not use this file * except in compliance with the License. You may obtain a copy of * the License at http://www.mozilla.org/NPL/ * * Software distributed under the License is distributed on an "AS * IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or * implied. See the License for the specific language governing * rights and limitations under the License. * * The Original Code is Rhino code, released * May 6, 1998. * * The Initial Developer of the Original Code is Netscape * Communications Corporation.  Portions created by Netscape are * Copyright (C) 1997-1999 Netscape Communications Corporation. All * Rights Reserved. * * Contributor(s): * Norris Boyd * Kurt Westerfeld * * Alternatively, the contents of this file may be used under the * terms of the GNU Public License (the "GPL"), in which case the * provisions of the GPL are applicable instead of those above. * If you wish to allow use of your version of this file only * under the terms of the GPL and not to allow others to use your * version of this file under the NPL, indicate your decision by * deleting the provisions above and replace them with the notice * and other provisions required by the GPL.  If you do not delete * the provisions above, a recipient may use your version of this * file under either the NPL or the GPL. */package org.mozilla.javascript.tools;import org.mozilla.javascript.*;import java.text.MessageFormat;import java.io.*;import java.util.*;/** * Error reporter for tools. * * Currently used by both the shell and the compiler. */public class ToolErrorReporter implements ErrorReporter {    public ToolErrorReporter(boolean reportWarnings) {        this(reportWarnings, System.err);    }    public ToolErrorReporter(boolean reportWarnings, PrintStream err) {        this.reportWarnings = reportWarnings;        this.err = err;    }    /**     * Look up the message corresponding to messageId in the     * org.mozilla.javascript.tools.shell.resources.Messages property file.     * For internationalization support.     */    public static String getMessage(String messageId) {        return getMessage(messageId, (Object []) null);    }    public static String getMessage(String messageId, String argument) {        Object[] args = { argument };        return getMessage(messageId, args);    }    public static String getMessage(String messageId, Object arg1, Object arg2)    {        Object[] args = { arg1, arg2 };        return getMessage(messageId, args);    }    public static String getMessage(String messageId, Object[] args) {        Context cx = Context.getCurrentContext();        Locale locale = cx == null ? Locale.getDefault() : cx.getLocale();        // ResourceBundle does cacheing.        ResourceBundle rb = ResourceBundle.getBundle            ("org.mozilla.javascript.tools.resources.Messages", locale);        String formatString;        try {            formatString = rb.getString(messageId);        } catch (java.util.MissingResourceException mre) {            throw new RuntimeException("no message resource found for message property "                                       + messageId);        }        if (args == null) {            return formatString;        } else {            MessageFormat formatter = new MessageFormat(formatString);            return formatter.format(args);        }    }    private static String getExceptionMessage(RhinoException ex)    {        String msg;        if (ex instanceof JavaScriptException) {            msg = getMessage("msg.uncaughtJSException", ex.details());        } else if (ex instanceof EcmaError) {            msg = getMessage("msg.uncaughtEcmaError", ex.details());        } else {            msg = ex.toString();        }        return msg;    }    public void warning(String message, String sourceName, int line,                        String lineSource, int lineOffset)    {        if (!reportWarnings)            return;        reportErrorMessage(message, sourceName, line, lineSource, lineOffset,                           true);    }    public void error(String message, String sourceName, int line,                      String lineSource, int lineOffset)    {        hasReportedErrorFlag = true;        reportErrorMessage(message, sourceName, line, lineSource, lineOffset,                           false);    }    public EvaluatorException runtimeError(String message, String sourceName,                                           int line, String lineSource,                                           int lineOffset)    {        error(message, sourceName, line, lineSource, lineOffset);        return new EvaluatorException(message, sourceName, line,                                      lineSource, lineOffset);    }    public boolean hasReportedError() {        return hasReportedErrorFlag;    }    public boolean isReportingWarnings() {        return this.reportWarnings;    }    public void setIsReportingWarnings(boolean reportWarnings) {        this.reportWarnings = reportWarnings;    }    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);        }    }    private void reportErrorMessage(String message, String sourceName, int line,                                    String lineSource, int lineOffset,                                    boolean justWarning)    {        if (line > 0) {            String lineStr = String.valueOf(line);            if (sourceName != null) {                Object[] args = { sourceName, lineStr, message };                message = getMessage("msg.format3", args);            } else {                Object[] args = { lineStr, message };                message = getMessage("msg.format2", args);            }        } else {            Object[] args = { message };            message = getMessage("msg.format1", args);        }        if (justWarning) {            message = getMessage("msg.warning", message);        }        err.println(messagePrefix + message);        if (null != lineSource) {            err.println(messagePrefix + lineSource);            err.println(messagePrefix + buildIndicator(lineOffset));        }    }    private String buildIndicator(int offset){        StringBuffer sb = new StringBuffer();        for (int i = 0; i < offset-1; i++)            sb.append(".");        sb.append("^");        return sb.toString();    }    private final String messagePrefix = "js: ";    private boolean hasReportedErrorFlag;    private boolean reportWarnings;    private PrintStream err;}