Thu, 10 Jun 2010 09:29:23 +0100
6945418: Project Coin: Simplified Varargs Method Invocation
Summary: Add new mandatory warning for unsafe vararg method declaration. Warning can be suppressed as usual (@SuppressWarnings("varargs")/-Xlint:-varargs)
Reviewed-by: jjg, darcy
mcimadamore@83 | 1 | /* |
ohair@554 | 2 | * Copyright (c) 2008, 2009, Oracle and/or its affiliates. All rights reserved. |
mcimadamore@83 | 3 | * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. |
mcimadamore@83 | 4 | * |
mcimadamore@83 | 5 | * This code is free software; you can redistribute it and/or modify it |
mcimadamore@83 | 6 | * under the terms of the GNU General Public License version 2 only, as |
ohair@554 | 7 | * published by the Free Software Foundation. Oracle designates this |
mcimadamore@83 | 8 | * particular file as subject to the "Classpath" exception as provided |
ohair@554 | 9 | * by Oracle in the LICENSE file that accompanied this code. |
mcimadamore@83 | 10 | * |
mcimadamore@83 | 11 | * This code is distributed in the hope that it will be useful, but WITHOUT |
mcimadamore@83 | 12 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
mcimadamore@83 | 13 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
mcimadamore@83 | 14 | * version 2 for more details (a copy is included in the LICENSE file that |
mcimadamore@83 | 15 | * accompanied this code). |
mcimadamore@83 | 16 | * |
mcimadamore@83 | 17 | * You should have received a copy of the GNU General Public License version |
mcimadamore@83 | 18 | * 2 along with this work; if not, write to the Free Software Foundation, |
mcimadamore@83 | 19 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
mcimadamore@83 | 20 | * |
ohair@554 | 21 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
ohair@554 | 22 | * or visit www.oracle.com if you need additional information or have any |
ohair@554 | 23 | * questions. |
mcimadamore@83 | 24 | */ |
mcimadamore@83 | 25 | package com.sun.tools.javac.util; |
mcimadamore@83 | 26 | |
mcimadamore@221 | 27 | import java.util.Arrays; |
mcimadamore@83 | 28 | import java.util.Collection; |
mcimadamore@221 | 29 | import java.util.EnumSet; |
mcimadamore@221 | 30 | import java.util.HashMap; |
mcimadamore@83 | 31 | import java.util.Locale; |
mcimadamore@221 | 32 | import java.util.Map; |
mcimadamore@221 | 33 | import java.util.Set; |
mcimadamore@83 | 34 | import javax.tools.JavaFileObject; |
mcimadamore@83 | 35 | |
mcimadamore@83 | 36 | import com.sun.tools.javac.api.DiagnosticFormatter; |
mcimadamore@221 | 37 | import com.sun.tools.javac.api.DiagnosticFormatter.Configuration.DiagnosticPart; |
mcimadamore@221 | 38 | import com.sun.tools.javac.api.DiagnosticFormatter.Configuration.MultilineLimit; |
mcimadamore@221 | 39 | import com.sun.tools.javac.api.DiagnosticFormatter.PositionKind; |
mcimadamore@83 | 40 | import com.sun.tools.javac.api.Formattable; |
mcimadamore@238 | 41 | import com.sun.tools.javac.code.Printer; |
mcimadamore@238 | 42 | import com.sun.tools.javac.code.Symbol; |
mcimadamore@238 | 43 | import com.sun.tools.javac.code.Type; |
mcimadamore@238 | 44 | import com.sun.tools.javac.code.Type.CapturedType; |
mcimadamore@221 | 45 | |
jjg@415 | 46 | import com.sun.tools.javac.file.BaseFileObject; |
mcimadamore@137 | 47 | import static com.sun.tools.javac.util.JCDiagnostic.DiagnosticType.*; |
mcimadamore@83 | 48 | |
mcimadamore@83 | 49 | /** |
mcimadamore@83 | 50 | * This abstract class provides a basic implementation of the functionalities that should be provided |
mcimadamore@83 | 51 | * by any formatter used by javac. Among the main features provided by AbstractDiagnosticFormatter are: |
mcimadamore@83 | 52 | * |
mcimadamore@83 | 53 | * <ul> |
mcimadamore@83 | 54 | * <li> Provides a standard implementation of the visitor-like methods defined in the interface DiagnisticFormatter. |
mcimadamore@83 | 55 | * Those implementations are specifically targeting JCDiagnostic objects. |
mcimadamore@83 | 56 | * <li> Provides basic support for i18n and a method for executing all locale-dependent conversions |
mcimadamore@83 | 57 | * <li> Provides the formatting logic for rendering the arguments of a JCDiagnostic object. |
mcimadamore@83 | 58 | * <ul> |
mcimadamore@83 | 59 | * |
jjg@333 | 60 | * <p><b>This is NOT part of any API supported by Sun Microsystems. |
jjg@333 | 61 | * If you write code that depends on this, you do so at your own risk. |
jjg@333 | 62 | * This code and its internal interfaces are subject to change or |
jjg@333 | 63 | * deletion without notice.</b> |
mcimadamore@83 | 64 | */ |
mcimadamore@83 | 65 | public abstract class AbstractDiagnosticFormatter implements DiagnosticFormatter<JCDiagnostic> { |
mcimadamore@83 | 66 | |
mcimadamore@83 | 67 | /** |
mcimadamore@221 | 68 | * JavacMessages object used by this formatter for i18n. |
mcimadamore@83 | 69 | */ |
mcimadamore@136 | 70 | protected JavacMessages messages; |
mcimadamore@238 | 71 | |
mcimadamore@238 | 72 | /** |
mcimadamore@238 | 73 | * Configuration object used by this formatter |
mcimadamore@238 | 74 | */ |
mcimadamore@221 | 75 | private SimpleConfiguration config; |
mcimadamore@238 | 76 | |
mcimadamore@238 | 77 | /** |
mcimadamore@238 | 78 | * Current depth level of the disgnostic being formatted |
mcimadamore@238 | 79 | * (!= 0 for subdiagnostics) |
mcimadamore@238 | 80 | */ |
mcimadamore@221 | 81 | protected int depth = 0; |
mcimadamore@83 | 82 | |
mcimadamore@83 | 83 | /** |
mcimadamore@288 | 84 | * All captured types that have been encountered during diagnostic formatting. |
mcimadamore@288 | 85 | * This info is used by the FormatterPrinter in order to print friendly unique |
mcimadamore@288 | 86 | * ids for captured types |
mcimadamore@238 | 87 | */ |
mcimadamore@288 | 88 | private List<Type> allCaptured = List.nil(); |
mcimadamore@238 | 89 | |
mcimadamore@238 | 90 | /** |
mcimadamore@221 | 91 | * Initialize an AbstractDiagnosticFormatter by setting its JavacMessages object. |
mcimadamore@83 | 92 | * @param messages |
mcimadamore@83 | 93 | */ |
mcimadamore@221 | 94 | protected AbstractDiagnosticFormatter(JavacMessages messages, SimpleConfiguration config) { |
mcimadamore@83 | 95 | this.messages = messages; |
mcimadamore@221 | 96 | this.config = config; |
mcimadamore@83 | 97 | } |
mcimadamore@83 | 98 | |
mcimadamore@83 | 99 | public String formatKind(JCDiagnostic d, Locale l) { |
mcimadamore@83 | 100 | switch (d.getType()) { |
mcimadamore@83 | 101 | case FRAGMENT: return ""; |
mcimadamore@83 | 102 | case NOTE: return localize(l, "compiler.note.note"); |
mcimadamore@83 | 103 | case WARNING: return localize(l, "compiler.warn.warning"); |
mcimadamore@83 | 104 | case ERROR: return localize(l, "compiler.err.error"); |
mcimadamore@83 | 105 | default: |
mcimadamore@83 | 106 | throw new AssertionError("Unknown diagnostic type: " + d.getType()); |
mcimadamore@83 | 107 | } |
mcimadamore@83 | 108 | } |
mcimadamore@83 | 109 | |
mcimadamore@238 | 110 | @Override |
mcimadamore@238 | 111 | public String format(JCDiagnostic d, Locale locale) { |
mcimadamore@288 | 112 | allCaptured = List.nil(); |
mcimadamore@238 | 113 | return formatDiagnostic(d, locale); |
mcimadamore@238 | 114 | } |
mcimadamore@238 | 115 | |
mcimadamore@304 | 116 | protected abstract String formatDiagnostic(JCDiagnostic d, Locale locale); |
mcimadamore@238 | 117 | |
mcimadamore@83 | 118 | public String formatPosition(JCDiagnostic d, PositionKind pk,Locale l) { |
mcimadamore@83 | 119 | assert (d.getPosition() != Position.NOPOS); |
mcimadamore@83 | 120 | return String.valueOf(getPosition(d, pk)); |
mcimadamore@83 | 121 | } |
mcimadamore@221 | 122 | //where |
mcimadamore@221 | 123 | private long getPosition(JCDiagnostic d, PositionKind pk) { |
mcimadamore@83 | 124 | switch (pk) { |
mcimadamore@83 | 125 | case START: return d.getIntStartPosition(); |
mcimadamore@83 | 126 | case END: return d.getIntEndPosition(); |
mcimadamore@83 | 127 | case LINE: return d.getLineNumber(); |
mcimadamore@83 | 128 | case COLUMN: return d.getColumnNumber(); |
mcimadamore@83 | 129 | case OFFSET: return d.getIntPosition(); |
mcimadamore@83 | 130 | default: |
mcimadamore@83 | 131 | throw new AssertionError("Unknown diagnostic position: " + pk); |
mcimadamore@83 | 132 | } |
mcimadamore@83 | 133 | } |
mcimadamore@83 | 134 | |
mcimadamore@100 | 135 | public String formatSource(JCDiagnostic d, boolean fullname, Locale l) { |
jjg@415 | 136 | JavaFileObject fo = d.getSource(); |
jjg@415 | 137 | if (fo == null) |
jjg@415 | 138 | throw new IllegalArgumentException(); // d should have source set |
jjg@415 | 139 | if (fullname) |
jjg@415 | 140 | return fo.getName(); |
jjg@415 | 141 | else if (fo instanceof BaseFileObject) |
jjg@415 | 142 | return ((BaseFileObject) fo).getShortName(); |
jjg@415 | 143 | else |
jjg@415 | 144 | return BaseFileObject.getSimpleName(fo); |
mcimadamore@83 | 145 | } |
mcimadamore@83 | 146 | |
mcimadamore@83 | 147 | /** |
mcimadamore@83 | 148 | * Format the arguments of a given diagnostic. |
mcimadamore@83 | 149 | * |
mcimadamore@83 | 150 | * @param d diagnostic whose arguments are to be formatted |
mcimadamore@83 | 151 | * @param l locale object to be used for i18n |
mcimadamore@83 | 152 | * @return a Collection whose elements are the formatted arguments of the diagnostic |
mcimadamore@83 | 153 | */ |
mcimadamore@83 | 154 | protected Collection<String> formatArguments(JCDiagnostic d, Locale l) { |
mcimadamore@83 | 155 | ListBuffer<String> buf = new ListBuffer<String>(); |
mcimadamore@83 | 156 | for (Object o : d.getArgs()) { |
mcimadamore@83 | 157 | buf.append(formatArgument(d, o, l)); |
mcimadamore@83 | 158 | } |
mcimadamore@83 | 159 | return buf.toList(); |
mcimadamore@83 | 160 | } |
mcimadamore@83 | 161 | |
mcimadamore@83 | 162 | /** |
mcimadamore@83 | 163 | * Format a single argument of a given diagnostic. |
mcimadamore@83 | 164 | * |
mcimadamore@83 | 165 | * @param d diagnostic whose argument is to be formatted |
mcimadamore@83 | 166 | * @param arg argument to be formatted |
mcimadamore@83 | 167 | * @param l locale object to be used for i18n |
mcimadamore@83 | 168 | * @return string representation of the diagnostic argument |
mcimadamore@83 | 169 | */ |
mcimadamore@83 | 170 | protected String formatArgument(JCDiagnostic d, Object arg, Locale l) { |
mcimadamore@221 | 171 | if (arg instanceof JCDiagnostic) { |
mcimadamore@221 | 172 | String s = null; |
mcimadamore@221 | 173 | depth++; |
mcimadamore@221 | 174 | try { |
mcimadamore@221 | 175 | s = formatMessage((JCDiagnostic)arg, l); |
mcimadamore@221 | 176 | } |
mcimadamore@221 | 177 | finally { |
mcimadamore@221 | 178 | depth--; |
mcimadamore@221 | 179 | } |
mcimadamore@221 | 180 | return s; |
mcimadamore@221 | 181 | } |
mcimadamore@83 | 182 | else if (arg instanceof Iterable<?>) { |
mcimadamore@83 | 183 | return formatIterable(d, (Iterable<?>)arg, l); |
mcimadamore@83 | 184 | } |
mcimadamore@238 | 185 | else if (arg instanceof Type) { |
mcimadamore@238 | 186 | return printer.visit((Type)arg, l); |
mcimadamore@238 | 187 | } |
mcimadamore@238 | 188 | else if (arg instanceof Symbol) { |
mcimadamore@238 | 189 | return printer.visit((Symbol)arg, l); |
mcimadamore@238 | 190 | } |
mcimadamore@238 | 191 | else if (arg instanceof JavaFileObject) { |
jjg@415 | 192 | return ((JavaFileObject)arg).getName(); |
mcimadamore@238 | 193 | } |
mcimadamore@238 | 194 | else if (arg instanceof Formattable) { |
mcimadamore@136 | 195 | return ((Formattable)arg).toString(l, messages); |
mcimadamore@238 | 196 | } |
mcimadamore@238 | 197 | else { |
mcimadamore@83 | 198 | return String.valueOf(arg); |
mcimadamore@238 | 199 | } |
mcimadamore@83 | 200 | } |
mcimadamore@83 | 201 | |
mcimadamore@83 | 202 | /** |
mcimadamore@83 | 203 | * Format an iterable argument of a given diagnostic. |
mcimadamore@83 | 204 | * |
mcimadamore@83 | 205 | * @param d diagnostic whose argument is to be formatted |
mcimadamore@83 | 206 | * @param it iterable argument to be formatted |
mcimadamore@83 | 207 | * @param l locale object to be used for i18n |
mcimadamore@83 | 208 | * @return string representation of the diagnostic iterable argument |
mcimadamore@83 | 209 | */ |
mcimadamore@83 | 210 | protected String formatIterable(JCDiagnostic d, Iterable<?> it, Locale l) { |
mcimadamore@83 | 211 | StringBuilder sbuf = new StringBuilder(); |
mcimadamore@83 | 212 | String sep = ""; |
mcimadamore@83 | 213 | for (Object o : it) { |
mcimadamore@83 | 214 | sbuf.append(sep); |
mcimadamore@83 | 215 | sbuf.append(formatArgument(d, o, l)); |
mcimadamore@83 | 216 | sep = ","; |
mcimadamore@83 | 217 | } |
mcimadamore@83 | 218 | return sbuf.toString(); |
mcimadamore@83 | 219 | } |
mcimadamore@83 | 220 | |
mcimadamore@168 | 221 | /** |
mcimadamore@221 | 222 | * Format all the subdiagnostics attached to a given diagnostic. |
mcimadamore@168 | 223 | * |
mcimadamore@168 | 224 | * @param d diagnostic whose subdiagnostics are to be formatted |
mcimadamore@168 | 225 | * @param l locale object to be used for i18n |
mcimadamore@221 | 226 | * @return list of all string representations of the subdiagnostics |
mcimadamore@221 | 227 | */ |
mcimadamore@221 | 228 | protected List<String> formatSubdiagnostics(JCDiagnostic d, Locale l) { |
mcimadamore@221 | 229 | List<String> subdiagnostics = List.nil(); |
mcimadamore@221 | 230 | int maxDepth = config.getMultilineLimit(MultilineLimit.DEPTH); |
mcimadamore@221 | 231 | if (maxDepth == -1 || depth < maxDepth) { |
mcimadamore@221 | 232 | depth++; |
mcimadamore@221 | 233 | try { |
mcimadamore@221 | 234 | int maxCount = config.getMultilineLimit(MultilineLimit.LENGTH); |
mcimadamore@221 | 235 | int count = 0; |
mcimadamore@221 | 236 | for (JCDiagnostic d2 : d.getSubdiagnostics()) { |
mcimadamore@221 | 237 | if (maxCount == -1 || count < maxCount) { |
mcimadamore@221 | 238 | subdiagnostics = subdiagnostics.append(formatSubdiagnostic(d, d2, l)); |
mcimadamore@221 | 239 | count++; |
mcimadamore@221 | 240 | } |
mcimadamore@221 | 241 | else |
mcimadamore@221 | 242 | break; |
mcimadamore@221 | 243 | } |
mcimadamore@221 | 244 | } |
mcimadamore@221 | 245 | finally { |
mcimadamore@221 | 246 | depth--; |
mcimadamore@221 | 247 | } |
mcimadamore@221 | 248 | } |
mcimadamore@221 | 249 | return subdiagnostics; |
mcimadamore@221 | 250 | } |
mcimadamore@221 | 251 | |
mcimadamore@221 | 252 | /** |
mcimadamore@221 | 253 | * Format a subdiagnostics attached to a given diagnostic. |
mcimadamore@221 | 254 | * |
mcimadamore@221 | 255 | * @param parent multiline diagnostic whose subdiagnostics is to be formatted |
mcimadamore@221 | 256 | * @param sub subdiagnostic to be formatted |
mcimadamore@221 | 257 | * @param l locale object to be used for i18n |
mcimadamore@168 | 258 | * @return string representation of the subdiagnostics |
mcimadamore@168 | 259 | */ |
mcimadamore@221 | 260 | protected String formatSubdiagnostic(JCDiagnostic parent, JCDiagnostic sub, Locale l) { |
mcimadamore@221 | 261 | return formatMessage(sub, l); |
mcimadamore@168 | 262 | } |
mcimadamore@168 | 263 | |
mcimadamore@137 | 264 | /** Format the faulty source code line and point to the error. |
mcimadamore@137 | 265 | * @param d The diagnostic for which the error line should be printed |
mcimadamore@137 | 266 | */ |
mcimadamore@221 | 267 | protected String formatSourceLine(JCDiagnostic d, int nSpaces) { |
mcimadamore@137 | 268 | StringBuilder buf = new StringBuilder(); |
mcimadamore@137 | 269 | DiagnosticSource source = d.getDiagnosticSource(); |
mcimadamore@137 | 270 | int pos = d.getIntPosition(); |
mcimadamore@221 | 271 | if (d.getIntPosition() == Position.NOPOS) |
mcimadamore@221 | 272 | throw new AssertionError(); |
mcimadamore@221 | 273 | String line = (source == null ? null : source.getLine(pos)); |
mcimadamore@221 | 274 | if (line == null) |
mcimadamore@221 | 275 | return ""; |
mcimadamore@221 | 276 | buf.append(indent(line, nSpaces)); |
mcimadamore@221 | 277 | int col = source.getColumnNumber(pos, false); |
mcimadamore@221 | 278 | if (config.isCaretEnabled()) { |
mcimadamore@221 | 279 | buf.append("\n"); |
mcimadamore@137 | 280 | for (int i = 0; i < col - 1; i++) { |
mcimadamore@137 | 281 | buf.append((line.charAt(i) == '\t') ? "\t" : " "); |
mcimadamore@137 | 282 | } |
mcimadamore@221 | 283 | buf.append(indent("^", nSpaces)); |
mcimadamore@221 | 284 | } |
mcimadamore@221 | 285 | return buf.toString(); |
mcimadamore@137 | 286 | } |
mcimadamore@137 | 287 | |
mcimadamore@83 | 288 | /** |
mcimadamore@221 | 289 | * Converts a String into a locale-dependent representation accordingly to a given locale. |
mcimadamore@83 | 290 | * |
mcimadamore@83 | 291 | * @param l locale object to be used for i18n |
mcimadamore@83 | 292 | * @param key locale-independent key used for looking up in a resource file |
mcimadamore@83 | 293 | * @param args localization arguments |
mcimadamore@83 | 294 | * @return a locale-dependent string |
mcimadamore@83 | 295 | */ |
mcimadamore@83 | 296 | protected String localize(Locale l, String key, Object... args) { |
mcimadamore@136 | 297 | return messages.getLocalizedString(l, key, args); |
mcimadamore@83 | 298 | } |
mcimadamore@137 | 299 | |
mcimadamore@137 | 300 | public boolean displaySource(JCDiagnostic d) { |
mcimadamore@221 | 301 | return config.getVisible().contains(DiagnosticPart.SOURCE) && |
mcimadamore@221 | 302 | d.getType() != FRAGMENT && |
mcimadamore@221 | 303 | d.getIntPosition() != Position.NOPOS; |
mcimadamore@137 | 304 | } |
mcimadamore@168 | 305 | |
mcimadamore@288 | 306 | public boolean isRaw() { |
mcimadamore@288 | 307 | return false; |
mcimadamore@288 | 308 | } |
mcimadamore@288 | 309 | |
mcimadamore@168 | 310 | /** |
mcimadamore@168 | 311 | * Creates a string with a given amount of empty spaces. Useful for |
mcimadamore@168 | 312 | * indenting the text of a diagnostic message. |
mcimadamore@168 | 313 | * |
mcimadamore@168 | 314 | * @param nSpaces the amount of spaces to be added to the result string |
mcimadamore@168 | 315 | * @return the indentation string |
mcimadamore@168 | 316 | */ |
mcimadamore@168 | 317 | protected String indentString(int nSpaces) { |
mcimadamore@168 | 318 | String spaces = " "; |
mcimadamore@168 | 319 | if (nSpaces <= spaces.length()) |
mcimadamore@168 | 320 | return spaces.substring(0, nSpaces); |
mcimadamore@168 | 321 | else { |
mcimadamore@168 | 322 | StringBuilder buf = new StringBuilder(); |
mcimadamore@168 | 323 | for (int i = 0 ; i < nSpaces ; i++) |
mcimadamore@168 | 324 | buf.append(" "); |
mcimadamore@168 | 325 | return buf.toString(); |
mcimadamore@168 | 326 | } |
mcimadamore@168 | 327 | } |
mcimadamore@168 | 328 | |
mcimadamore@168 | 329 | /** |
mcimadamore@168 | 330 | * Indent a string by prepending a given amount of empty spaces to each line |
mcimadamore@221 | 331 | * of the string. |
mcimadamore@168 | 332 | * |
mcimadamore@168 | 333 | * @param s the string to be indented |
mcimadamore@168 | 334 | * @param nSpaces the amount of spaces that should be prepended to each line |
mcimadamore@168 | 335 | * of the string |
mcimadamore@168 | 336 | * @return an indented string |
mcimadamore@168 | 337 | */ |
mcimadamore@168 | 338 | protected String indent(String s, int nSpaces) { |
mcimadamore@168 | 339 | String indent = indentString(nSpaces); |
mcimadamore@168 | 340 | StringBuilder buf = new StringBuilder(); |
mcimadamore@168 | 341 | String nl = ""; |
mcimadamore@168 | 342 | for (String line : s.split("\n")) { |
mcimadamore@168 | 343 | buf.append(nl); |
mcimadamore@168 | 344 | buf.append(indent + line); |
mcimadamore@168 | 345 | nl = "\n"; |
mcimadamore@168 | 346 | } |
mcimadamore@168 | 347 | return buf.toString(); |
mcimadamore@168 | 348 | } |
mcimadamore@221 | 349 | |
mcimadamore@221 | 350 | public SimpleConfiguration getConfiguration() { |
mcimadamore@221 | 351 | return config; |
mcimadamore@221 | 352 | } |
mcimadamore@221 | 353 | |
mcimadamore@221 | 354 | static public class SimpleConfiguration implements Configuration { |
mcimadamore@221 | 355 | |
mcimadamore@221 | 356 | protected Map<MultilineLimit, Integer> multilineLimits; |
mcimadamore@221 | 357 | protected EnumSet<DiagnosticPart> visibleParts; |
mcimadamore@221 | 358 | protected boolean caretEnabled; |
mcimadamore@221 | 359 | |
mcimadamore@221 | 360 | public SimpleConfiguration(Set<DiagnosticPart> parts) { |
mcimadamore@221 | 361 | multilineLimits = new HashMap<MultilineLimit, Integer>(); |
mcimadamore@221 | 362 | setVisible(parts); |
mcimadamore@221 | 363 | setMultilineLimit(MultilineLimit.DEPTH, -1); |
mcimadamore@221 | 364 | setMultilineLimit(MultilineLimit.LENGTH, -1); |
mcimadamore@221 | 365 | setCaretEnabled(true); |
mcimadamore@221 | 366 | } |
mcimadamore@221 | 367 | |
mcimadamore@221 | 368 | @SuppressWarnings("fallthrough") |
mcimadamore@221 | 369 | public SimpleConfiguration(Options options, Set<DiagnosticPart> parts) { |
mcimadamore@221 | 370 | this(parts); |
mcimadamore@221 | 371 | String showSource = null; |
mcimadamore@221 | 372 | if ((showSource = options.get("showSource")) != null) { |
mcimadamore@221 | 373 | if (showSource.equals("true")) |
mcimadamore@288 | 374 | setVisiblePart(DiagnosticPart.SOURCE, true); |
mcimadamore@221 | 375 | else if (showSource.equals("false")) |
mcimadamore@288 | 376 | setVisiblePart(DiagnosticPart.SOURCE, false); |
mcimadamore@221 | 377 | } |
mcimadamore@221 | 378 | String diagOpts = options.get("diags"); |
mcimadamore@221 | 379 | if (diagOpts != null) {//override -XDshowSource |
mcimadamore@221 | 380 | Collection<String> args = Arrays.asList(diagOpts.split(",")); |
mcimadamore@221 | 381 | if (args.contains("short")) { |
mcimadamore@288 | 382 | setVisiblePart(DiagnosticPart.DETAILS, false); |
mcimadamore@288 | 383 | setVisiblePart(DiagnosticPart.SUBDIAGNOSTICS, false); |
mcimadamore@221 | 384 | } |
mcimadamore@221 | 385 | if (args.contains("source")) |
mcimadamore@288 | 386 | setVisiblePart(DiagnosticPart.SOURCE, true); |
mcimadamore@221 | 387 | if (args.contains("-source")) |
mcimadamore@288 | 388 | setVisiblePart(DiagnosticPart.SOURCE, false); |
mcimadamore@221 | 389 | } |
mcimadamore@221 | 390 | String multiPolicy = null; |
mcimadamore@221 | 391 | if ((multiPolicy = options.get("multilinePolicy")) != null) { |
mcimadamore@221 | 392 | if (multiPolicy.equals("disabled")) |
mcimadamore@288 | 393 | setVisiblePart(DiagnosticPart.SUBDIAGNOSTICS, false); |
mcimadamore@221 | 394 | else if (multiPolicy.startsWith("limit:")) { |
mcimadamore@221 | 395 | String limitString = multiPolicy.substring("limit:".length()); |
mcimadamore@221 | 396 | String[] limits = limitString.split(":"); |
mcimadamore@221 | 397 | try { |
mcimadamore@221 | 398 | switch (limits.length) { |
mcimadamore@221 | 399 | case 2: { |
mcimadamore@221 | 400 | if (!limits[1].equals("*")) |
mcimadamore@221 | 401 | setMultilineLimit(MultilineLimit.DEPTH, Integer.parseInt(limits[1])); |
mcimadamore@221 | 402 | } |
mcimadamore@221 | 403 | case 1: { |
mcimadamore@221 | 404 | if (!limits[0].equals("*")) |
mcimadamore@221 | 405 | setMultilineLimit(MultilineLimit.LENGTH, Integer.parseInt(limits[0])); |
mcimadamore@221 | 406 | } |
mcimadamore@221 | 407 | } |
mcimadamore@221 | 408 | } |
mcimadamore@221 | 409 | catch(NumberFormatException ex) { |
mcimadamore@221 | 410 | setMultilineLimit(MultilineLimit.DEPTH, -1); |
mcimadamore@221 | 411 | setMultilineLimit(MultilineLimit.LENGTH, -1); |
mcimadamore@221 | 412 | } |
mcimadamore@221 | 413 | } |
mcimadamore@221 | 414 | } |
mcimadamore@221 | 415 | String showCaret = null; |
mcimadamore@221 | 416 | if (((showCaret = options.get("showCaret")) != null) && |
mcimadamore@221 | 417 | showCaret.equals("false")) |
mcimadamore@221 | 418 | setCaretEnabled(false); |
mcimadamore@221 | 419 | else |
mcimadamore@221 | 420 | setCaretEnabled(true); |
mcimadamore@221 | 421 | } |
mcimadamore@221 | 422 | |
mcimadamore@221 | 423 | public int getMultilineLimit(MultilineLimit limit) { |
mcimadamore@221 | 424 | return multilineLimits.get(limit); |
mcimadamore@221 | 425 | } |
mcimadamore@221 | 426 | |
mcimadamore@221 | 427 | public EnumSet<DiagnosticPart> getVisible() { |
mcimadamore@221 | 428 | return EnumSet.copyOf(visibleParts); |
mcimadamore@221 | 429 | } |
mcimadamore@221 | 430 | |
mcimadamore@221 | 431 | public void setMultilineLimit(MultilineLimit limit, int value) { |
mcimadamore@221 | 432 | multilineLimits.put(limit, value < -1 ? -1 : value); |
mcimadamore@221 | 433 | } |
mcimadamore@221 | 434 | |
mcimadamore@221 | 435 | |
mcimadamore@221 | 436 | public void setVisible(Set<DiagnosticPart> diagParts) { |
mcimadamore@221 | 437 | visibleParts = EnumSet.copyOf(diagParts); |
mcimadamore@221 | 438 | } |
mcimadamore@221 | 439 | |
mcimadamore@288 | 440 | public void setVisiblePart(DiagnosticPart diagParts, boolean enabled) { |
mcimadamore@288 | 441 | if (enabled) |
mcimadamore@288 | 442 | visibleParts.add(diagParts); |
mcimadamore@288 | 443 | else |
mcimadamore@288 | 444 | visibleParts.remove(diagParts); |
mcimadamore@288 | 445 | } |
mcimadamore@288 | 446 | |
mcimadamore@221 | 447 | /** |
mcimadamore@221 | 448 | * Shows a '^' sign under the source line displayed by the formatter |
mcimadamore@221 | 449 | * (if applicable). |
mcimadamore@221 | 450 | * |
mcimadamore@221 | 451 | * @param caretEnabled if true enables caret |
mcimadamore@221 | 452 | */ |
mcimadamore@221 | 453 | public void setCaretEnabled(boolean caretEnabled) { |
mcimadamore@221 | 454 | this.caretEnabled = caretEnabled; |
mcimadamore@221 | 455 | } |
mcimadamore@221 | 456 | |
mcimadamore@221 | 457 | /** |
mcimadamore@221 | 458 | * Tells whether the caret display is active or not. |
mcimadamore@221 | 459 | * |
mcimadamore@221 | 460 | * @param caretEnabled if true the caret is enabled |
mcimadamore@221 | 461 | */ |
mcimadamore@221 | 462 | public boolean isCaretEnabled() { |
mcimadamore@221 | 463 | return caretEnabled; |
mcimadamore@221 | 464 | } |
mcimadamore@221 | 465 | } |
mcimadamore@238 | 466 | |
mcimadamore@288 | 467 | public Printer getPrinter() { |
mcimadamore@288 | 468 | return printer; |
mcimadamore@288 | 469 | } |
mcimadamore@288 | 470 | |
mcimadamore@288 | 471 | public void setPrinter(Printer printer) { |
mcimadamore@288 | 472 | this.printer = printer; |
mcimadamore@288 | 473 | } |
mcimadamore@288 | 474 | |
mcimadamore@238 | 475 | /** |
mcimadamore@238 | 476 | * An enhanced printer for formatting types/symbols used by |
mcimadamore@238 | 477 | * AbstractDiagnosticFormatter. Provides alternate numbering of captured |
mcimadamore@238 | 478 | * types (they are numbered starting from 1 on each new diagnostic, instead |
mcimadamore@238 | 479 | * of relying on the underlying hashcode() method which generates unstable |
mcimadamore@238 | 480 | * output). Also detects cycles in wildcard messages (e.g. if the wildcard |
mcimadamore@238 | 481 | * type referred by a given captured type C contains C itself) which might |
mcimadamore@238 | 482 | * lead to infinite loops. |
mcimadamore@238 | 483 | */ |
mcimadamore@288 | 484 | protected Printer printer = new Printer() { |
mcimadamore@238 | 485 | @Override |
mcimadamore@238 | 486 | protected String localize(Locale locale, String key, Object... args) { |
mcimadamore@238 | 487 | return AbstractDiagnosticFormatter.this.localize(locale, key, args); |
mcimadamore@238 | 488 | } |
mcimadamore@238 | 489 | @Override |
mcimadamore@288 | 490 | protected String capturedVarId(CapturedType t, Locale locale) { |
mcimadamore@288 | 491 | return "" + (allCaptured.indexOf(t) + 1); |
mcimadamore@238 | 492 | } |
mcimadamore@296 | 493 | @Override |
mcimadamore@296 | 494 | public String visitCapturedType(CapturedType t, Locale locale) { |
mcimadamore@296 | 495 | if (!allCaptured.contains(t)) { |
mcimadamore@296 | 496 | allCaptured = allCaptured.append(t); |
mcimadamore@296 | 497 | } |
mcimadamore@296 | 498 | return super.visitCapturedType(t, locale); |
mcimadamore@296 | 499 | } |
mcimadamore@288 | 500 | }; |
mcimadamore@83 | 501 | } |