langtools/src/share/classes/com/sun/tools/javac/util/Log.java
author jjg
Tue, 15 Jul 2008 09:50:36 -0700
changeset 867 1dff24b5f407
parent 815 bcb5c0d7c1ab
child 942 98e1d4f8aacd
permissions -rw-r--r--
6724071: refactor Log into a front end and back end Reviewed-by: darcy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
735
372aa565a221 6719955: Update copyright year
xdono
parents: 731
diff changeset
     2
 * Copyright 1999-2008 Sun Microsystems, Inc.  All Rights Reserved.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
06bc494ca11e Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
06bc494ca11e Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Sun designates this
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
06bc494ca11e Initial load
duke
parents:
diff changeset
     9
 * by Sun in the LICENSE file that accompanied this code.
06bc494ca11e Initial load
duke
parents:
diff changeset
    10
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
06bc494ca11e Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
06bc494ca11e Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
06bc494ca11e Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
06bc494ca11e Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
06bc494ca11e Initial load
duke
parents:
diff changeset
    16
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
06bc494ca11e Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
06bc494ca11e Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
06bc494ca11e Initial load
duke
parents:
diff changeset
    20
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    21
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
06bc494ca11e Initial load
duke
parents:
diff changeset
    22
 * CA 95054 USA or visit www.sun.com if you need additional information or
06bc494ca11e Initial load
duke
parents:
diff changeset
    23
 * have any questions.
06bc494ca11e Initial load
duke
parents:
diff changeset
    24
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    25
06bc494ca11e Initial load
duke
parents:
diff changeset
    26
package com.sun.tools.javac.util;
06bc494ca11e Initial load
duke
parents:
diff changeset
    27
06bc494ca11e Initial load
duke
parents:
diff changeset
    28
import java.io.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    29
import java.util.HashSet;
06bc494ca11e Initial load
duke
parents:
diff changeset
    30
import java.util.Map;
06bc494ca11e Initial load
duke
parents:
diff changeset
    31
import java.util.Set;
06bc494ca11e Initial load
duke
parents:
diff changeset
    32
import javax.tools.DiagnosticListener;
06bc494ca11e Initial load
duke
parents:
diff changeset
    33
import javax.tools.JavaFileObject;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 167
diff changeset
    34
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 167
diff changeset
    35
import com.sun.tools.javac.file.JavacFileManager;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    36
import com.sun.tools.javac.tree.JCTree;
06bc494ca11e Initial load
duke
parents:
diff changeset
    37
import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition;
06bc494ca11e Initial load
duke
parents:
diff changeset
    38
import com.sun.tools.javac.util.JCDiagnostic.DiagnosticType;
06bc494ca11e Initial load
duke
parents:
diff changeset
    39
06bc494ca11e Initial load
duke
parents:
diff changeset
    40
/** A class for error logs. Reports errors and warnings, and
06bc494ca11e Initial load
duke
parents:
diff changeset
    41
 *  keeps track of error numbers and positions.
06bc494ca11e Initial load
duke
parents:
diff changeset
    42
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    43
 *  <p><b>This is NOT part of any API supported by Sun Microsystems.  If
06bc494ca11e Initial load
duke
parents:
diff changeset
    44
 *  you write code that depends on this, you do so at your own risk.
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
 *  This code and its internal interfaces are subject to change or
06bc494ca11e Initial load
duke
parents:
diff changeset
    46
 *  deletion without notice.</b>
06bc494ca11e Initial load
duke
parents:
diff changeset
    47
 */
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
    48
public class Log extends AbstractLog {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
    /** The context key for the log. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    50
    public static final Context.Key<Log> logKey
06bc494ca11e Initial load
duke
parents:
diff changeset
    51
        = new Context.Key<Log>();
06bc494ca11e Initial load
duke
parents:
diff changeset
    52
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
    /** The context key for the output PrintWriter. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
    public static final Context.Key<PrintWriter> outKey =
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
        new Context.Key<PrintWriter>();
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
    public final PrintWriter errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
    public final PrintWriter warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
06bc494ca11e Initial load
duke
parents:
diff changeset
    63
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    64
    public final PrintWriter noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    65
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
    /** The maximum number of errors/warnings that are reported.
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
    public final int MaxErrors;
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
    public final int MaxWarnings;
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
06bc494ca11e Initial load
duke
parents:
diff changeset
    71
    /** Whether or not to display the line of source containing a diagnostic.
06bc494ca11e Initial load
duke
parents:
diff changeset
    72
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    73
    private final boolean showSourceLine;
06bc494ca11e Initial load
duke
parents:
diff changeset
    74
06bc494ca11e Initial load
duke
parents:
diff changeset
    75
    /** Switch: prompt user on each error.
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
    public boolean promptOnError;
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
    /** Switch: emit warning messages.
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    81
    public boolean emitWarnings;
06bc494ca11e Initial load
duke
parents:
diff changeset
    82
06bc494ca11e Initial load
duke
parents:
diff changeset
    83
    /** Print stack trace on errors?
06bc494ca11e Initial load
duke
parents:
diff changeset
    84
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
    public boolean dumpOnError;
06bc494ca11e Initial load
duke
parents:
diff changeset
    86
06bc494ca11e Initial load
duke
parents:
diff changeset
    87
    /** Print multiple errors for same source locations.
06bc494ca11e Initial load
duke
parents:
diff changeset
    88
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    89
    public boolean multipleErrors;
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
06bc494ca11e Initial load
duke
parents:
diff changeset
    91
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    92
     * Diagnostic listener, if provided through programmatic
06bc494ca11e Initial load
duke
parents:
diff changeset
    93
     * interface to javac (JSR 199).
06bc494ca11e Initial load
duke
parents:
diff changeset
    94
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
    protected DiagnosticListener<? super JavaFileObject> diagListener;
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
    96
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    98
     * Formatter for diagnostics
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   100
    private DiagnosticFormatter diagFormatter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   101
06bc494ca11e Initial load
duke
parents:
diff changeset
   102
    /** Construct a log with given I/O redirections.
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   104
    @Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
   105
    protected Log(Context context, PrintWriter errWriter, PrintWriter warnWriter, PrintWriter noticeWriter) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   106
        super(JCDiagnostic.Factory.instance(context));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   107
        context.put(logKey, this);
06bc494ca11e Initial load
duke
parents:
diff changeset
   108
        this.errWriter = errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   109
        this.warnWriter = warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   110
        this.noticeWriter = noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   111
06bc494ca11e Initial load
duke
parents:
diff changeset
   112
        Options options = Options.instance(context);
06bc494ca11e Initial load
duke
parents:
diff changeset
   113
        this.dumpOnError = options.get("-doe") != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
        this.promptOnError = options.get("-prompt") != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
        this.emitWarnings = options.get("-Xlint:none") == null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
        this.MaxErrors = getIntOption(options, "-Xmaxerrs", 100);
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
        this.MaxWarnings = getIntOption(options, "-Xmaxwarns", 100);
06bc494ca11e Initial load
duke
parents:
diff changeset
   118
        this.showSourceLine = options.get("rawDiagnostics") == null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
        this.diagFormatter = DiagnosticFormatter.instance(context);
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
        @SuppressWarnings("unchecked") // FIXME
06bc494ca11e Initial load
duke
parents:
diff changeset
   122
        DiagnosticListener<? super JavaFileObject> diagListener =
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
            context.get(DiagnosticListener.class);
06bc494ca11e Initial load
duke
parents:
diff changeset
   124
        this.diagListener = diagListener;
06bc494ca11e Initial load
duke
parents:
diff changeset
   125
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
    // where
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
        private int getIntOption(Options options, String optionName, int defaultValue) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   128
            String s = options.get(optionName);
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
                if (s != null) return Integer.parseInt(s);
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
            } catch (NumberFormatException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   132
                // silently ignore ill-formed numbers
06bc494ca11e Initial load
duke
parents:
diff changeset
   133
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   134
            return defaultValue;
06bc494ca11e Initial load
duke
parents:
diff changeset
   135
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
06bc494ca11e Initial load
duke
parents:
diff changeset
   137
    /** The default writer for diagnostics
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   139
    static final PrintWriter defaultWriter(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   140
        PrintWriter result = context.get(outKey);
06bc494ca11e Initial load
duke
parents:
diff changeset
   141
        if (result == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   142
            context.put(outKey, result = new PrintWriter(System.err));
06bc494ca11e Initial load
duke
parents:
diff changeset
   143
        return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   144
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   145
06bc494ca11e Initial load
duke
parents:
diff changeset
   146
    /** Construct a log with default settings.
06bc494ca11e Initial load
duke
parents:
diff changeset
   147
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   148
    protected Log(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   149
        this(context, defaultWriter(context));
06bc494ca11e Initial load
duke
parents:
diff changeset
   150
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   151
06bc494ca11e Initial load
duke
parents:
diff changeset
   152
    /** Construct a log with all output redirected.
06bc494ca11e Initial load
duke
parents:
diff changeset
   153
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   154
    protected Log(Context context, PrintWriter defaultWriter) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   155
        this(context, defaultWriter, defaultWriter, defaultWriter);
06bc494ca11e Initial load
duke
parents:
diff changeset
   156
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   157
06bc494ca11e Initial load
duke
parents:
diff changeset
   158
    /** Get the Log instance for this context. */
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
    public static Log instance(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   160
        Log instance = context.get(logKey);
06bc494ca11e Initial load
duke
parents:
diff changeset
   161
        if (instance == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   162
            instance = new Log(context);
06bc494ca11e Initial load
duke
parents:
diff changeset
   163
        return instance;
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
    /** The number of errors encountered so far.
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
    public int nerrors = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
06bc494ca11e Initial load
duke
parents:
diff changeset
   170
    /** The number of warnings encountered so far.
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
    public int nwarnings = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   173
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
    /** A set of all errors generated so far. This is used to avoid printing an
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
     *  error message more than once. For each error, a pair consisting of the
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
     *  source file name and source code position of the error is added to the set.
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
    private Set<Pair<JavaFileObject, Integer>> recorded = new HashSet<Pair<JavaFileObject,Integer>>();
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
    public boolean hasDiagnosticListener() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
        return diagListener != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   182
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
    public void setEndPosTable(JavaFileObject name, Map<JCTree, Integer> table) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   185
        name.getClass(); // null check
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   186
        getSource(name).setEndPosTable(table);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
06bc494ca11e Initial load
duke
parents:
diff changeset
   189
    /** Return current source name.
06bc494ca11e Initial load
duke
parents:
diff changeset
   190
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   191
    public JavaFileObject currentSource() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   192
        return source == null ? null : source.getFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   193
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   194
06bc494ca11e Initial load
duke
parents:
diff changeset
   195
    /** Flush the logs
06bc494ca11e Initial load
duke
parents:
diff changeset
   196
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   197
    public void flush() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   198
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   199
        warnWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   200
        noticeWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   201
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   202
06bc494ca11e Initial load
duke
parents:
diff changeset
   203
    /** Returns true if an error needs to be reported for a given
06bc494ca11e Initial load
duke
parents:
diff changeset
   204
     * source name and pos.
06bc494ca11e Initial load
duke
parents:
diff changeset
   205
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   206
    protected boolean shouldReport(JavaFileObject file, int pos) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   207
        if (multipleErrors || file == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   208
            return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   209
06bc494ca11e Initial load
duke
parents:
diff changeset
   210
        Pair<JavaFileObject,Integer> coords = new Pair<JavaFileObject,Integer>(file, pos);
06bc494ca11e Initial load
duke
parents:
diff changeset
   211
        boolean shouldReport = !recorded.contains(coords);
06bc494ca11e Initial load
duke
parents:
diff changeset
   212
        if (shouldReport)
06bc494ca11e Initial load
duke
parents:
diff changeset
   213
            recorded.add(coords);
06bc494ca11e Initial load
duke
parents:
diff changeset
   214
        return shouldReport;
06bc494ca11e Initial load
duke
parents:
diff changeset
   215
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   216
06bc494ca11e Initial load
duke
parents:
diff changeset
   217
    /** Prompt user after an error.
06bc494ca11e Initial load
duke
parents:
diff changeset
   218
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   219
    public void prompt() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   220
        if (promptOnError) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   221
            System.err.println(getLocalizedString("resume.abort"));
06bc494ca11e Initial load
duke
parents:
diff changeset
   222
            char ch;
06bc494ca11e Initial load
duke
parents:
diff changeset
   223
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   224
                while (true) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   225
                    switch (System.in.read()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   226
                    case 'a': case 'A':
06bc494ca11e Initial load
duke
parents:
diff changeset
   227
                        System.exit(-1);
06bc494ca11e Initial load
duke
parents:
diff changeset
   228
                        return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   229
                    case 'r': case 'R':
06bc494ca11e Initial load
duke
parents:
diff changeset
   230
                        return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   231
                    case 'x': case 'X':
06bc494ca11e Initial load
duke
parents:
diff changeset
   232
                        throw new AssertionError("user abort");
06bc494ca11e Initial load
duke
parents:
diff changeset
   233
                    default:
06bc494ca11e Initial load
duke
parents:
diff changeset
   234
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   235
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   236
            } catch (IOException e) {}
06bc494ca11e Initial load
duke
parents:
diff changeset
   237
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   238
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   239
06bc494ca11e Initial load
duke
parents:
diff changeset
   240
    /** Print the faulty source code line and point to the error.
06bc494ca11e Initial load
duke
parents:
diff changeset
   241
     *  @param pos   Buffer index of the error position, must be on current line
06bc494ca11e Initial load
duke
parents:
diff changeset
   242
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   243
    private void printErrLine(int pos, PrintWriter writer) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   244
        String line = (source == null ? null : source.getLine(pos));
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   245
        if (line == null)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   246
            return;
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   247
        int col = source.getColumnNumber(pos);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   248
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   249
        printLines(writer, line);
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   250
        for (int i = 0; i < col - 1; i++) {
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   251
            writer.print((line.charAt(i) == '\t') ? "\t" : " ");
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   252
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   253
        writer.println("^");
06bc494ca11e Initial load
duke
parents:
diff changeset
   254
        writer.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   255
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   256
06bc494ca11e Initial load
duke
parents:
diff changeset
   257
    /** Print the text of a message, translating newlines appropriately
06bc494ca11e Initial load
duke
parents:
diff changeset
   258
     *  for the platform.
06bc494ca11e Initial load
duke
parents:
diff changeset
   259
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   260
    public static void printLines(PrintWriter writer, String msg) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   261
        int nl;
06bc494ca11e Initial load
duke
parents:
diff changeset
   262
        while ((nl = msg.indexOf('\n')) != -1) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   263
            writer.println(msg.substring(0, nl));
06bc494ca11e Initial load
duke
parents:
diff changeset
   264
            msg = msg.substring(nl+1);
06bc494ca11e Initial load
duke
parents:
diff changeset
   265
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   266
        if (msg.length() != 0) writer.println(msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   267
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   268
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   269
    protected void directError(String key, Object... args) {
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   270
        printLines(errWriter, getLocalizedString(key, args));
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   271
        errWriter.flush();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   272
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   273
06bc494ca11e Initial load
duke
parents:
diff changeset
   274
    /** Report a warning that cannot be suppressed.
06bc494ca11e Initial load
duke
parents:
diff changeset
   275
     *  @param pos    The source position at which to report the warning.
06bc494ca11e Initial load
duke
parents:
diff changeset
   276
     *  @param key    The key for the localized warning message.
06bc494ca11e Initial load
duke
parents:
diff changeset
   277
     *  @param args   Fields of the warning message.
06bc494ca11e Initial load
duke
parents:
diff changeset
   278
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   279
    public void strictWarning(DiagnosticPosition pos, String key, Object ... args) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   280
        writeDiagnostic(diags.warning(source, pos, key, args));
06bc494ca11e Initial load
duke
parents:
diff changeset
   281
        nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   282
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   283
06bc494ca11e Initial load
duke
parents:
diff changeset
   284
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   285
     * Common diagnostic handling.
06bc494ca11e Initial load
duke
parents:
diff changeset
   286
     * The diagnostic is counted, and depending on the options and how many diagnostics have been
06bc494ca11e Initial load
duke
parents:
diff changeset
   287
     * reported so far, the diagnostic may be handed off to writeDiagnostic.
06bc494ca11e Initial load
duke
parents:
diff changeset
   288
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   289
    public void report(JCDiagnostic diagnostic) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   290
        switch (diagnostic.getType()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   291
        case FRAGMENT:
06bc494ca11e Initial load
duke
parents:
diff changeset
   292
            throw new IllegalArgumentException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   293
06bc494ca11e Initial load
duke
parents:
diff changeset
   294
        case NOTE:
06bc494ca11e Initial load
duke
parents:
diff changeset
   295
            // Print out notes only when we are permitted to report warnings
06bc494ca11e Initial load
duke
parents:
diff changeset
   296
            // Notes are only generated at the end of a compilation, so should be small
06bc494ca11e Initial load
duke
parents:
diff changeset
   297
            // in number.
06bc494ca11e Initial load
duke
parents:
diff changeset
   298
            if (emitWarnings || diagnostic.isMandatory()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   299
                writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   300
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   301
            break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   302
06bc494ca11e Initial load
duke
parents:
diff changeset
   303
        case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   304
            if (emitWarnings || diagnostic.isMandatory()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   305
                if (nwarnings < MaxWarnings) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   306
                    writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   307
                    nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   308
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   309
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   310
            break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   311
06bc494ca11e Initial load
duke
parents:
diff changeset
   312
        case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   313
            if (nerrors < MaxErrors
06bc494ca11e Initial load
duke
parents:
diff changeset
   314
                && shouldReport(diagnostic.getSource(), diagnostic.getIntPosition())) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   315
                writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   316
                nerrors++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   317
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   318
            break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   319
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   320
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   321
06bc494ca11e Initial load
duke
parents:
diff changeset
   322
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   323
     * Write out a diagnostic.
06bc494ca11e Initial load
duke
parents:
diff changeset
   324
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   325
    protected void writeDiagnostic(JCDiagnostic diag) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   326
        if (diagListener != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   327
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   328
                diagListener.report(diag);
06bc494ca11e Initial load
duke
parents:
diff changeset
   329
                return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   330
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   331
            catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   332
                throw new ClientCodeException(t);
06bc494ca11e Initial load
duke
parents:
diff changeset
   333
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   334
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   335
06bc494ca11e Initial load
duke
parents:
diff changeset
   336
        PrintWriter writer = getWriterForDiagnosticType(diag.getType());
06bc494ca11e Initial load
duke
parents:
diff changeset
   337
06bc494ca11e Initial load
duke
parents:
diff changeset
   338
        printLines(writer, diagFormatter.format(diag));
06bc494ca11e Initial load
duke
parents:
diff changeset
   339
        if (showSourceLine) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   340
            int pos = diag.getIntPosition();
06bc494ca11e Initial load
duke
parents:
diff changeset
   341
            if (pos != Position.NOPOS) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   342
                JavaFileObject prev = useSource(diag.getSource());
06bc494ca11e Initial load
duke
parents:
diff changeset
   343
                printErrLine(pos, writer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   344
                useSource(prev);
06bc494ca11e Initial load
duke
parents:
diff changeset
   345
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   346
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   347
06bc494ca11e Initial load
duke
parents:
diff changeset
   348
        if (promptOnError) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   349
            switch (diag.getType()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   350
            case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   351
            case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   352
                prompt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   353
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   354
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   355
06bc494ca11e Initial load
duke
parents:
diff changeset
   356
        if (dumpOnError)
06bc494ca11e Initial load
duke
parents:
diff changeset
   357
            new RuntimeException().printStackTrace(writer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   358
06bc494ca11e Initial load
duke
parents:
diff changeset
   359
        writer.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   360
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   361
06bc494ca11e Initial load
duke
parents:
diff changeset
   362
    @Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
   363
    protected PrintWriter getWriterForDiagnosticType(DiagnosticType dt) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   364
        switch (dt) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   365
        case FRAGMENT:
06bc494ca11e Initial load
duke
parents:
diff changeset
   366
            throw new IllegalArgumentException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   367
06bc494ca11e Initial load
duke
parents:
diff changeset
   368
        case NOTE:
06bc494ca11e Initial load
duke
parents:
diff changeset
   369
            return noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   370
06bc494ca11e Initial load
duke
parents:
diff changeset
   371
        case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   372
            return warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   373
06bc494ca11e Initial load
duke
parents:
diff changeset
   374
        case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   375
            return errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   376
06bc494ca11e Initial load
duke
parents:
diff changeset
   377
        default:
06bc494ca11e Initial load
duke
parents:
diff changeset
   378
            throw new Error();
06bc494ca11e Initial load
duke
parents:
diff changeset
   379
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   380
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   381
06bc494ca11e Initial load
duke
parents:
diff changeset
   382
    /** Find a localized string in the resource bundle.
06bc494ca11e Initial load
duke
parents:
diff changeset
   383
     *  @param key    The key for the localized string.
06bc494ca11e Initial load
duke
parents:
diff changeset
   384
     *  @param args   Fields to substitute into the string.
06bc494ca11e Initial load
duke
parents:
diff changeset
   385
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   386
    public static String getLocalizedString(String key, Object ... args) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   387
        return Messages.getDefaultLocalizedString("compiler.misc." + key, args);
06bc494ca11e Initial load
duke
parents:
diff changeset
   388
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   389
06bc494ca11e Initial load
duke
parents:
diff changeset
   390
/***************************************************************************
06bc494ca11e Initial load
duke
parents:
diff changeset
   391
 * raw error messages without internationalization; used for experimentation
06bc494ca11e Initial load
duke
parents:
diff changeset
   392
 * and quick prototyping
06bc494ca11e Initial load
duke
parents:
diff changeset
   393
 ***************************************************************************/
06bc494ca11e Initial load
duke
parents:
diff changeset
   394
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   395
    /** print an error or warning message:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   396
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   397
    private void printRawError(int pos, String msg) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   398
        if (source == null || pos == Position.NOPOS) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   399
            printLines(errWriter, "error: " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   400
        } else {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   401
            int line = source.getLineNumber(pos);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   402
            JavaFileObject file = currentSource();
06bc494ca11e Initial load
duke
parents:
diff changeset
   403
            if (file != null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   404
                printLines(errWriter,
06bc494ca11e Initial load
duke
parents:
diff changeset
   405
                           JavacFileManager.getJavacFileName(file) + ":" +
06bc494ca11e Initial load
duke
parents:
diff changeset
   406
                           line + ": " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   407
            printErrLine(pos, errWriter);
06bc494ca11e Initial load
duke
parents:
diff changeset
   408
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   409
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   410
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   411
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   412
    /** report an error:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   413
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   414
    public void rawError(int pos, String msg) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   415
        if (nerrors < MaxErrors && shouldReport(currentSource(), pos)) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   416
            printRawError(pos, msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   417
            prompt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   418
            nerrors++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   419
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   420
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   421
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   422
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   423
    /** report a warning:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   424
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   425
    public void rawWarning(int pos, String msg) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   426
        if (nwarnings < MaxWarnings && emitWarnings) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   427
            printRawError(pos, "warning: " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   428
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   429
        prompt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   430
        nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   431
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   432
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   433
06bc494ca11e Initial load
duke
parents:
diff changeset
   434
    public static String format(String fmt, Object... args) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   435
        return String.format((java.util.Locale)null, fmt, args);
06bc494ca11e Initial load
duke
parents:
diff changeset
   436
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   437
06bc494ca11e Initial load
duke
parents:
diff changeset
   438
}