langtools/src/share/classes/com/sun/tools/javac/util/Log.java
author jjg
Fri, 21 Aug 2009 11:25:45 -0700
changeset 3660 ee583c342a41
parent 2212 1d3dc0e0ba0c
child 3995 73af8b6fb8bc
permissions -rw-r--r--
6873849: suppress notes generated by javac Reviewed-by: darcy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
2212
1d3dc0e0ba0c 6814575: Update copyright year
xdono
parents: 2085
diff changeset
     2
 * Copyright 1999-2009 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.*;
1866
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
    29
import java.util.Arrays;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    30
import java.util.HashSet;
06bc494ca11e Initial load
duke
parents:
diff changeset
    31
import java.util.Map;
06bc494ca11e Initial load
duke
parents:
diff changeset
    32
import java.util.Set;
06bc494ca11e Initial load
duke
parents:
diff changeset
    33
import javax.tools.DiagnosticListener;
06bc494ca11e Initial load
duke
parents:
diff changeset
    34
import javax.tools.JavaFileObject;
731
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 167
diff changeset
    35
1dd22bdb9ca5 6714364: refactor javac File handling code into new javac.file package
jjg
parents: 167
diff changeset
    36
import com.sun.tools.javac.file.JavacFileManager;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    37
import com.sun.tools.javac.tree.JCTree;
942
98e1d4f8aacd 6720185: DiagnosticFormatter refactoring
mcimadamore
parents: 867
diff changeset
    38
import com.sun.tools.javac.api.DiagnosticFormatter;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    39
import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition;
06bc494ca11e Initial load
duke
parents:
diff changeset
    40
import com.sun.tools.javac.util.JCDiagnostic.DiagnosticType;
06bc494ca11e Initial load
duke
parents:
diff changeset
    41
06bc494ca11e Initial load
duke
parents:
diff changeset
    42
/** A class for error logs. Reports errors and warnings, and
06bc494ca11e Initial load
duke
parents:
diff changeset
    43
 *  keeps track of error numbers and positions.
06bc494ca11e Initial load
duke
parents:
diff changeset
    44
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
 *  <p><b>This is NOT part of any API supported by Sun Microsystems.  If
06bc494ca11e Initial load
duke
parents:
diff changeset
    46
 *  you write code that depends on this, you do so at your own risk.
06bc494ca11e Initial load
duke
parents:
diff changeset
    47
 *  This code and its internal interfaces are subject to change or
06bc494ca11e Initial load
duke
parents:
diff changeset
    48
 *  deletion without notice.</b>
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
 */
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
    50
public class Log extends AbstractLog {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    51
    /** The context key for the log. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    52
    public static final Context.Key<Log> logKey
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
        = new Context.Key<Log>();
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
    /** The context key for the output PrintWriter. */
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
    public static final Context.Key<PrintWriter> outKey =
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
        new Context.Key<PrintWriter>();
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
    public final PrintWriter errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    63
    public final PrintWriter warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    64
06bc494ca11e Initial load
duke
parents:
diff changeset
    65
    //@Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
    public final PrintWriter noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
    /** The maximum number of errors/warnings that are reported.
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
    public final int MaxErrors;
06bc494ca11e Initial load
duke
parents:
diff changeset
    71
    public final int MaxWarnings;
06bc494ca11e Initial load
duke
parents:
diff changeset
    72
06bc494ca11e Initial load
duke
parents:
diff changeset
    73
    /** Switch: prompt user on each error.
06bc494ca11e Initial load
duke
parents:
diff changeset
    74
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    75
    public boolean promptOnError;
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
    /** Switch: emit warning messages.
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
    public boolean emitWarnings;
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
3660
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
    81
    /** Switch: suppress note messages.
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
    82
     */
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
    83
    public boolean suppressNotes;
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
    84
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
    /** Print stack trace on errors?
06bc494ca11e Initial load
duke
parents:
diff changeset
    86
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    87
    public boolean dumpOnError;
06bc494ca11e Initial load
duke
parents:
diff changeset
    88
06bc494ca11e Initial load
duke
parents:
diff changeset
    89
    /** Print multiple errors for same source locations.
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    91
    public boolean multipleErrors;
06bc494ca11e Initial load
duke
parents:
diff changeset
    92
06bc494ca11e Initial load
duke
parents:
diff changeset
    93
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    94
     * Diagnostic listener, if provided through programmatic
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
     * interface to javac (JSR 199).
06bc494ca11e Initial load
duke
parents:
diff changeset
    96
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
    protected DiagnosticListener<? super JavaFileObject> diagListener;
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
    98
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
    /**
2085
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   100
     * Formatter for diagnostics.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   101
     */
942
98e1d4f8aacd 6720185: DiagnosticFormatter refactoring
mcimadamore
parents: 867
diff changeset
   102
    private DiagnosticFormatter<JCDiagnostic> diagFormatter;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   104
    /**
2085
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   105
     * Keys for expected diagnostics.
1866
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   106
     */
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   107
    public Set<String> expectDiagKeys;
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   108
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   109
    /**
2085
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   110
     * JavacMessages object used for localization.
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   111
     */
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   112
    private JavacMessages messages;
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   113
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
    /** Construct a log with given I/O redirections.
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
    @Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
    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
   118
        super(JCDiagnostic.Factory.instance(context));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
        context.put(logKey, this);
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
        this.errWriter = errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
        this.warnWriter = warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   122
        this.noticeWriter = noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
06bc494ca11e Initial load
duke
parents:
diff changeset
   124
        Options options = Options.instance(context);
06bc494ca11e Initial load
duke
parents:
diff changeset
   125
        this.dumpOnError = options.get("-doe") != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
        this.promptOnError = options.get("-prompt") != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
        this.emitWarnings = options.get("-Xlint:none") == null;
3660
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
   128
        this.suppressNotes = options.get("suppressNotes") != null;
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
        this.MaxErrors = getIntOption(options, "-Xmaxerrs", 100);
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
        this.MaxWarnings = getIntOption(options, "-Xmaxwarns", 100);
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
942
98e1d4f8aacd 6720185: DiagnosticFormatter refactoring
mcimadamore
parents: 867
diff changeset
   132
        boolean rawDiagnostics = options.get("rawDiagnostics") != null;
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   133
        messages = JavacMessages.instance(context);
1472
1e09e143438c 6731573: diagnostic output should optionally include source line
mcimadamore
parents: 1471
diff changeset
   134
        this.diagFormatter = rawDiagnostics ? new RawDiagnosticFormatter(options) :
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   135
                                              new BasicDiagnosticFormatter(options, messages);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
        @SuppressWarnings("unchecked") // FIXME
1866
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   137
        DiagnosticListener<? super JavaFileObject> dl =
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
            context.get(DiagnosticListener.class);
1866
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   139
        this.diagListener = dl;
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   140
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   141
        String ek = options.get("expectKeys");
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   142
        if (ek != null)
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   143
            expectDiagKeys = new HashSet<String>(Arrays.asList(ek.split(", *")));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   144
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   145
    // where
06bc494ca11e Initial load
duke
parents:
diff changeset
   146
        private int getIntOption(Options options, String optionName, int defaultValue) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   147
            String s = options.get(optionName);
06bc494ca11e Initial load
duke
parents:
diff changeset
   148
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   149
                if (s != null) return Integer.parseInt(s);
06bc494ca11e Initial load
duke
parents:
diff changeset
   150
            } catch (NumberFormatException e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   151
                // silently ignore ill-formed numbers
06bc494ca11e Initial load
duke
parents:
diff changeset
   152
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   153
            return defaultValue;
06bc494ca11e Initial load
duke
parents:
diff changeset
   154
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   155
06bc494ca11e Initial load
duke
parents:
diff changeset
   156
    /** The default writer for diagnostics
06bc494ca11e Initial load
duke
parents:
diff changeset
   157
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   158
    static final PrintWriter defaultWriter(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
        PrintWriter result = context.get(outKey);
06bc494ca11e Initial load
duke
parents:
diff changeset
   160
        if (result == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   161
            context.put(outKey, result = new PrintWriter(System.err));
06bc494ca11e Initial load
duke
parents:
diff changeset
   162
        return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   163
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
    /** Construct a log with default settings.
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
    protected Log(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
        this(context, defaultWriter(context));
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   170
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
    /** Construct a log with all output redirected.
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   173
    protected Log(Context context, PrintWriter defaultWriter) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
        this(context, defaultWriter, defaultWriter, defaultWriter);
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
    /** Get the Log instance for this context. */
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
    public static Log instance(Context context) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
        Log instance = context.get(logKey);
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
        if (instance == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
            instance = new Log(context);
06bc494ca11e Initial load
duke
parents:
diff changeset
   182
        return instance;
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
06bc494ca11e Initial load
duke
parents:
diff changeset
   185
    /** The number of errors encountered so far.
06bc494ca11e Initial load
duke
parents:
diff changeset
   186
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
    public int nerrors = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
06bc494ca11e Initial load
duke
parents:
diff changeset
   189
    /** The number of warnings encountered so far.
06bc494ca11e Initial load
duke
parents:
diff changeset
   190
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   191
    public int nwarnings = 0;
06bc494ca11e Initial load
duke
parents:
diff changeset
   192
06bc494ca11e Initial load
duke
parents:
diff changeset
   193
    /** A set of all errors generated so far. This is used to avoid printing an
06bc494ca11e Initial load
duke
parents:
diff changeset
   194
     *  error message more than once. For each error, a pair consisting of the
06bc494ca11e Initial load
duke
parents:
diff changeset
   195
     *  source file name and source code position of the error is added to the set.
06bc494ca11e Initial load
duke
parents:
diff changeset
   196
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   197
    private Set<Pair<JavaFileObject, Integer>> recorded = new HashSet<Pair<JavaFileObject,Integer>>();
06bc494ca11e Initial load
duke
parents:
diff changeset
   198
06bc494ca11e Initial load
duke
parents:
diff changeset
   199
    public boolean hasDiagnosticListener() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   200
        return diagListener != null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   201
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   202
06bc494ca11e Initial load
duke
parents:
diff changeset
   203
    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
   204
        name.getClass(); // null check
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   205
        getSource(name).setEndPosTable(table);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   206
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   207
1591
e5a618442f5f 6768932: Add support for multiline diagnostics
mcimadamore
parents: 1472
diff changeset
   208
    /** Return current sourcefile.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   209
     */
1591
e5a618442f5f 6768932: Add support for multiline diagnostics
mcimadamore
parents: 1472
diff changeset
   210
    public JavaFileObject currentSourceFile() {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   211
        return source == null ? null : source.getFile();
06bc494ca11e Initial load
duke
parents:
diff changeset
   212
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   213
2085
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   214
    /** Get the current diagnostic formatter.
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   215
     */
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   216
    public DiagnosticFormatter<JCDiagnostic> getDiagnosticFormatter() {
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   217
        return diagFormatter;
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   218
    }
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   219
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   220
    /** Set the current diagnostic formatter.
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   221
     */
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   222
    public void setDiagnosticFormatter(DiagnosticFormatter<JCDiagnostic> diagFormatter) {
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   223
        this.diagFormatter = diagFormatter;
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   224
    }
4792e12a8ca2 6769027: Source line should be displayed immediately after the first diagnostic line
mcimadamore
parents: 1866
diff changeset
   225
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   226
    /** Flush the logs
06bc494ca11e Initial load
duke
parents:
diff changeset
   227
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   228
    public void flush() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   229
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   230
        warnWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   231
        noticeWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   232
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   233
06bc494ca11e Initial load
duke
parents:
diff changeset
   234
    /** Returns true if an error needs to be reported for a given
06bc494ca11e Initial load
duke
parents:
diff changeset
   235
     * source name and pos.
06bc494ca11e Initial load
duke
parents:
diff changeset
   236
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   237
    protected boolean shouldReport(JavaFileObject file, int pos) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   238
        if (multipleErrors || file == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   239
            return true;
06bc494ca11e Initial load
duke
parents:
diff changeset
   240
06bc494ca11e Initial load
duke
parents:
diff changeset
   241
        Pair<JavaFileObject,Integer> coords = new Pair<JavaFileObject,Integer>(file, pos);
06bc494ca11e Initial load
duke
parents:
diff changeset
   242
        boolean shouldReport = !recorded.contains(coords);
06bc494ca11e Initial load
duke
parents:
diff changeset
   243
        if (shouldReport)
06bc494ca11e Initial load
duke
parents:
diff changeset
   244
            recorded.add(coords);
06bc494ca11e Initial load
duke
parents:
diff changeset
   245
        return shouldReport;
06bc494ca11e Initial load
duke
parents:
diff changeset
   246
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   247
06bc494ca11e Initial load
duke
parents:
diff changeset
   248
    /** Prompt user after an error.
06bc494ca11e Initial load
duke
parents:
diff changeset
   249
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   250
    public void prompt() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   251
        if (promptOnError) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   252
            System.err.println(getLocalizedString("resume.abort"));
06bc494ca11e Initial load
duke
parents:
diff changeset
   253
            char ch;
06bc494ca11e Initial load
duke
parents:
diff changeset
   254
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   255
                while (true) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   256
                    switch (System.in.read()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   257
                    case 'a': case 'A':
06bc494ca11e Initial load
duke
parents:
diff changeset
   258
                        System.exit(-1);
06bc494ca11e Initial load
duke
parents:
diff changeset
   259
                        return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   260
                    case 'r': case 'R':
06bc494ca11e Initial load
duke
parents:
diff changeset
   261
                        return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   262
                    case 'x': case 'X':
06bc494ca11e Initial load
duke
parents:
diff changeset
   263
                        throw new AssertionError("user abort");
06bc494ca11e Initial load
duke
parents:
diff changeset
   264
                    default:
06bc494ca11e Initial load
duke
parents:
diff changeset
   265
                    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   266
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   267
            } catch (IOException e) {}
06bc494ca11e Initial load
duke
parents:
diff changeset
   268
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   269
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   270
06bc494ca11e Initial load
duke
parents:
diff changeset
   271
    /** Print the faulty source code line and point to the error.
06bc494ca11e Initial load
duke
parents:
diff changeset
   272
     *  @param pos   Buffer index of the error position, must be on current line
06bc494ca11e Initial load
duke
parents:
diff changeset
   273
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   274
    private void printErrLine(int pos, PrintWriter writer) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   275
        String line = (source == null ? null : source.getLine(pos));
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   276
        if (line == null)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   277
            return;
1109
853d8c191eac 6733837: Recent work on javac diagnostic affected javac output
mcimadamore
parents: 942
diff changeset
   278
        int col = source.getColumnNumber(pos, false);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   279
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   280
        printLines(writer, line);
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   281
        for (int i = 0; i < col - 1; i++) {
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   282
            writer.print((line.charAt(i) == '\t') ? "\t" : " ");
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   283
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   284
        writer.println("^");
06bc494ca11e Initial load
duke
parents:
diff changeset
   285
        writer.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   286
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   287
06bc494ca11e Initial load
duke
parents:
diff changeset
   288
    /** Print the text of a message, translating newlines appropriately
06bc494ca11e Initial load
duke
parents:
diff changeset
   289
     *  for the platform.
06bc494ca11e Initial load
duke
parents:
diff changeset
   290
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   291
    public static void printLines(PrintWriter writer, String msg) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   292
        int nl;
06bc494ca11e Initial load
duke
parents:
diff changeset
   293
        while ((nl = msg.indexOf('\n')) != -1) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   294
            writer.println(msg.substring(0, nl));
06bc494ca11e Initial load
duke
parents:
diff changeset
   295
            msg = msg.substring(nl+1);
06bc494ca11e Initial load
duke
parents:
diff changeset
   296
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   297
        if (msg.length() != 0) writer.println(msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   298
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   299
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   300
    protected void directError(String key, Object... args) {
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   301
        printLines(errWriter, getLocalizedString(key, args));
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   302
        errWriter.flush();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   303
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   304
06bc494ca11e Initial load
duke
parents:
diff changeset
   305
    /** Report a warning that cannot be suppressed.
06bc494ca11e Initial load
duke
parents:
diff changeset
   306
     *  @param pos    The source position at which to report the warning.
06bc494ca11e Initial load
duke
parents:
diff changeset
   307
     *  @param key    The key for the localized warning message.
06bc494ca11e Initial load
duke
parents:
diff changeset
   308
     *  @param args   Fields of the warning message.
06bc494ca11e Initial load
duke
parents:
diff changeset
   309
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   310
    public void strictWarning(DiagnosticPosition pos, String key, Object ... args) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   311
        writeDiagnostic(diags.warning(source, pos, key, args));
06bc494ca11e Initial load
duke
parents:
diff changeset
   312
        nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   313
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   314
06bc494ca11e Initial load
duke
parents:
diff changeset
   315
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   316
     * Common diagnostic handling.
06bc494ca11e Initial load
duke
parents:
diff changeset
   317
     * The diagnostic is counted, and depending on the options and how many diagnostics have been
06bc494ca11e Initial load
duke
parents:
diff changeset
   318
     * reported so far, the diagnostic may be handed off to writeDiagnostic.
06bc494ca11e Initial load
duke
parents:
diff changeset
   319
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   320
    public void report(JCDiagnostic diagnostic) {
1866
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   321
        if (expectDiagKeys != null)
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   322
            expectDiagKeys.remove(diagnostic.getCode());
734286a0cc38 6794959: add new switch -XDexpectKeys=key,key....
jjg
parents: 1591
diff changeset
   323
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   324
        switch (diagnostic.getType()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   325
        case FRAGMENT:
06bc494ca11e Initial load
duke
parents:
diff changeset
   326
            throw new IllegalArgumentException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   327
06bc494ca11e Initial load
duke
parents:
diff changeset
   328
        case NOTE:
06bc494ca11e Initial load
duke
parents:
diff changeset
   329
            // Print out notes only when we are permitted to report warnings
06bc494ca11e Initial load
duke
parents:
diff changeset
   330
            // Notes are only generated at the end of a compilation, so should be small
06bc494ca11e Initial load
duke
parents:
diff changeset
   331
            // in number.
3660
ee583c342a41 6873849: suppress notes generated by javac
jjg
parents: 2212
diff changeset
   332
            if ((emitWarnings || diagnostic.isMandatory()) && !suppressNotes) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   333
                writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   334
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   335
            break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   336
06bc494ca11e Initial load
duke
parents:
diff changeset
   337
        case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   338
            if (emitWarnings || diagnostic.isMandatory()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   339
                if (nwarnings < MaxWarnings) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   340
                    writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   341
                    nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   342
                }
06bc494ca11e Initial load
duke
parents:
diff changeset
   343
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   344
            break;
06bc494ca11e Initial load
duke
parents:
diff changeset
   345
06bc494ca11e Initial load
duke
parents:
diff changeset
   346
        case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   347
            if (nerrors < MaxErrors
06bc494ca11e Initial load
duke
parents:
diff changeset
   348
                && shouldReport(diagnostic.getSource(), diagnostic.getIntPosition())) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   349
                writeDiagnostic(diagnostic);
06bc494ca11e Initial load
duke
parents:
diff changeset
   350
                nerrors++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   351
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   352
            break;
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
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   357
     * Write out a diagnostic.
06bc494ca11e Initial load
duke
parents:
diff changeset
   358
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   359
    protected void writeDiagnostic(JCDiagnostic diag) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   360
        if (diagListener != null) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   361
            try {
06bc494ca11e Initial load
duke
parents:
diff changeset
   362
                diagListener.report(diag);
06bc494ca11e Initial load
duke
parents:
diff changeset
   363
                return;
06bc494ca11e Initial load
duke
parents:
diff changeset
   364
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   365
            catch (Throwable t) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   366
                throw new ClientCodeException(t);
06bc494ca11e Initial load
duke
parents:
diff changeset
   367
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   368
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   369
06bc494ca11e Initial load
duke
parents:
diff changeset
   370
        PrintWriter writer = getWriterForDiagnosticType(diag.getType());
06bc494ca11e Initial load
duke
parents:
diff changeset
   371
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   372
        printLines(writer, diagFormatter.format(diag, messages.getCurrentLocale()));
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   373
06bc494ca11e Initial load
duke
parents:
diff changeset
   374
        if (promptOnError) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   375
            switch (diag.getType()) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   376
            case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   377
            case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   378
                prompt();
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
        if (dumpOnError)
06bc494ca11e Initial load
duke
parents:
diff changeset
   383
            new RuntimeException().printStackTrace(writer);
06bc494ca11e Initial load
duke
parents:
diff changeset
   384
06bc494ca11e Initial load
duke
parents:
diff changeset
   385
        writer.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   386
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   387
06bc494ca11e Initial load
duke
parents:
diff changeset
   388
    @Deprecated
06bc494ca11e Initial load
duke
parents:
diff changeset
   389
    protected PrintWriter getWriterForDiagnosticType(DiagnosticType dt) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   390
        switch (dt) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   391
        case FRAGMENT:
06bc494ca11e Initial load
duke
parents:
diff changeset
   392
            throw new IllegalArgumentException();
06bc494ca11e Initial load
duke
parents:
diff changeset
   393
06bc494ca11e Initial load
duke
parents:
diff changeset
   394
        case NOTE:
06bc494ca11e Initial load
duke
parents:
diff changeset
   395
            return noticeWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   396
06bc494ca11e Initial load
duke
parents:
diff changeset
   397
        case WARNING:
06bc494ca11e Initial load
duke
parents:
diff changeset
   398
            return warnWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   399
06bc494ca11e Initial load
duke
parents:
diff changeset
   400
        case ERROR:
06bc494ca11e Initial load
duke
parents:
diff changeset
   401
            return errWriter;
06bc494ca11e Initial load
duke
parents:
diff changeset
   402
06bc494ca11e Initial load
duke
parents:
diff changeset
   403
        default:
06bc494ca11e Initial load
duke
parents:
diff changeset
   404
            throw new Error();
06bc494ca11e Initial load
duke
parents:
diff changeset
   405
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   406
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   407
06bc494ca11e Initial load
duke
parents:
diff changeset
   408
    /** Find a localized string in the resource bundle.
06bc494ca11e Initial load
duke
parents:
diff changeset
   409
     *  @param key    The key for the localized string.
06bc494ca11e Initial load
duke
parents:
diff changeset
   410
     *  @param args   Fields to substitute into the string.
06bc494ca11e Initial load
duke
parents:
diff changeset
   411
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   412
    public static String getLocalizedString(String key, Object ... args) {
1471
57506cdfb7b4 6406133: JCDiagnostic.getMessage ignores locale argument
mcimadamore
parents: 1109
diff changeset
   413
        return JavacMessages.getDefaultLocalizedString("compiler.misc." + key, args);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   414
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   415
06bc494ca11e Initial load
duke
parents:
diff changeset
   416
/***************************************************************************
06bc494ca11e Initial load
duke
parents:
diff changeset
   417
 * raw error messages without internationalization; used for experimentation
06bc494ca11e Initial load
duke
parents:
diff changeset
   418
 * and quick prototyping
06bc494ca11e Initial load
duke
parents:
diff changeset
   419
 ***************************************************************************/
06bc494ca11e Initial load
duke
parents:
diff changeset
   420
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   421
    /** print an error or warning message:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   422
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   423
    private void printRawError(int pos, String msg) {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   424
        if (source == null || pos == Position.NOPOS) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   425
            printLines(errWriter, "error: " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   426
        } else {
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   427
            int line = source.getLineNumber(pos);
1591
e5a618442f5f 6768932: Add support for multiline diagnostics
mcimadamore
parents: 1472
diff changeset
   428
            JavaFileObject file = source.getFile();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   429
            if (file != null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   430
                printLines(errWriter,
06bc494ca11e Initial load
duke
parents:
diff changeset
   431
                           JavacFileManager.getJavacFileName(file) + ":" +
06bc494ca11e Initial load
duke
parents:
diff changeset
   432
                           line + ": " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   433
            printErrLine(pos, errWriter);
06bc494ca11e Initial load
duke
parents:
diff changeset
   434
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   435
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   436
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   437
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   438
    /** report an error:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   439
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   440
    public void rawError(int pos, String msg) {
1591
e5a618442f5f 6768932: Add support for multiline diagnostics
mcimadamore
parents: 1472
diff changeset
   441
        if (nerrors < MaxErrors && shouldReport(currentSourceFile(), pos)) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   442
            printRawError(pos, msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   443
            prompt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   444
            nerrors++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   445
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   446
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   447
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   448
867
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   449
    /** report a warning:
1dff24b5f407 6724071: refactor Log into a front end and back end
jjg
parents: 815
diff changeset
   450
     */
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   451
    public void rawWarning(int pos, String msg) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   452
        if (nwarnings < MaxWarnings && emitWarnings) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   453
            printRawError(pos, "warning: " + msg);
06bc494ca11e Initial load
duke
parents:
diff changeset
   454
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   455
        prompt();
06bc494ca11e Initial load
duke
parents:
diff changeset
   456
        nwarnings++;
06bc494ca11e Initial load
duke
parents:
diff changeset
   457
        errWriter.flush();
06bc494ca11e Initial load
duke
parents:
diff changeset
   458
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   459
06bc494ca11e Initial load
duke
parents:
diff changeset
   460
    public static String format(String fmt, Object... args) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   461
        return String.format((java.util.Locale)null, fmt, args);
06bc494ca11e Initial load
duke
parents:
diff changeset
   462
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   463
06bc494ca11e Initial load
duke
parents:
diff changeset
   464
}