src/share/classes/com/sun/tools/javac/tree/Pretty.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 1486
7d2f628f04f1
child 1521
71f35e4b93a5
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

duke@1 1 /*
jjg@1486 2 * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 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
duke@1 8 * particular file as subject to the "Classpath" exception as provided
ohair@554 9 * by Oracle in the LICENSE file that accompanied this code.
duke@1 10 *
duke@1 11 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 14 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 15 * accompanied this code).
duke@1 16 *
duke@1 17 * You should have received a copy of the GNU General Public License version
duke@1 18 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 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.
duke@1 24 */
duke@1 25
duke@1 26 package com.sun.tools.javac.tree;
duke@1 27
duke@1 28 import java.io.*;
duke@1 29
mcimadamore@1143 30 import com.sun.source.tree.MemberReferenceTree.ReferenceMode;
jjg@1280 31 import com.sun.tools.javac.code.*;
jjg@1280 32 import com.sun.tools.javac.code.Symbol.*;
jjg@1280 33 import com.sun.tools.javac.tree.JCTree.*;
duke@1 34 import com.sun.tools.javac.util.*;
duke@1 35 import com.sun.tools.javac.util.List;
duke@1 36 import static com.sun.tools.javac.code.Flags.*;
jjg@1127 37 import static com.sun.tools.javac.code.Flags.ANNOTATION;
jjg@1127 38 import static com.sun.tools.javac.tree.JCTree.Tag.*;
duke@1 39
duke@1 40 /** Prints out a tree as an indented Java source program.
duke@1 41 *
jjg@581 42 * <p><b>This is NOT part of any supported API.
jjg@581 43 * If you write code that depends on this, you do so at your own risk.
duke@1 44 * This code and its internal interfaces are subject to change or
duke@1 45 * deletion without notice.</b>
duke@1 46 */
duke@1 47 public class Pretty extends JCTree.Visitor {
duke@1 48
duke@1 49 public Pretty(Writer out, boolean sourceOutput) {
duke@1 50 this.out = out;
duke@1 51 this.sourceOutput = sourceOutput;
duke@1 52 }
duke@1 53
duke@1 54 /** Set when we are producing source output. If we're not
duke@1 55 * producing source output, we can sometimes give more detail in
duke@1 56 * the output even though that detail would not be valid java
jjg@439 57 * source.
duke@1 58 */
duke@1 59 private final boolean sourceOutput;
duke@1 60
duke@1 61 /** The output stream on which trees are printed.
duke@1 62 */
duke@1 63 Writer out;
duke@1 64
duke@1 65 /** Indentation width (can be reassigned from outside).
duke@1 66 */
duke@1 67 public int width = 4;
duke@1 68
duke@1 69 /** The current left margin.
duke@1 70 */
duke@1 71 int lmargin = 0;
duke@1 72
duke@1 73 /** The enclosing class name.
duke@1 74 */
duke@1 75 Name enclClassName;
duke@1 76
jjg@1280 77 /** A table mapping trees to their documentation comments
duke@1 78 * (can be null)
duke@1 79 */
jjg@1280 80 DocCommentTable docComments = null;
duke@1 81
mcimadamore@1347 82 /**
mcimadamore@1347 83 * A string sequence to be used when Pretty output should be constrained
mcimadamore@1347 84 * to fit into a given size
mcimadamore@1347 85 */
mcimadamore@1347 86 private final static String trimSequence = "[...]";
mcimadamore@1347 87
mcimadamore@1348 88 /**
mcimadamore@1348 89 * Max number of chars to be generated when output should fit into a single line
mcimadamore@1348 90 */
mcimadamore@1348 91 private final static int PREFERRED_LENGTH = 20;
mcimadamore@1348 92
duke@1 93 /** Align code to be indented to left margin.
duke@1 94 */
duke@1 95 void align() throws IOException {
duke@1 96 for (int i = 0; i < lmargin; i++) out.write(" ");
duke@1 97 }
duke@1 98
duke@1 99 /** Increase left margin by indentation width.
duke@1 100 */
duke@1 101 void indent() {
duke@1 102 lmargin = lmargin + width;
duke@1 103 }
duke@1 104
duke@1 105 /** Decrease left margin by indentation width.
duke@1 106 */
duke@1 107 void undent() {
duke@1 108 lmargin = lmargin - width;
duke@1 109 }
duke@1 110
duke@1 111 /** Enter a new precedence level. Emit a `(' if new precedence level
duke@1 112 * is less than precedence level so far.
duke@1 113 * @param contextPrec The precedence level in force so far.
duke@1 114 * @param ownPrec The new precedence level.
duke@1 115 */
duke@1 116 void open(int contextPrec, int ownPrec) throws IOException {
duke@1 117 if (ownPrec < contextPrec) out.write("(");
duke@1 118 }
duke@1 119
duke@1 120 /** Leave precedence level. Emit a `(' if inner precedence level
duke@1 121 * is less than precedence level we revert to.
duke@1 122 * @param contextPrec The precedence level we revert to.
duke@1 123 * @param ownPrec The inner precedence level.
duke@1 124 */
duke@1 125 void close(int contextPrec, int ownPrec) throws IOException {
duke@1 126 if (ownPrec < contextPrec) out.write(")");
duke@1 127 }
duke@1 128
duke@1 129 /** Print string, replacing all non-ascii character with unicode escapes.
duke@1 130 */
duke@1 131 public void print(Object s) throws IOException {
duke@1 132 out.write(Convert.escapeUnicode(s.toString()));
duke@1 133 }
duke@1 134
duke@1 135 /** Print new line.
duke@1 136 */
duke@1 137 public void println() throws IOException {
duke@1 138 out.write(lineSep);
duke@1 139 }
duke@1 140
mcimadamore@1348 141 public static String toSimpleString(JCTree tree) {
mcimadamore@1348 142 return toSimpleString(tree, PREFERRED_LENGTH);
mcimadamore@1348 143 }
mcimadamore@1348 144
mcimadamore@1347 145 public static String toSimpleString(JCTree tree, int maxLength) {
mcimadamore@1347 146 StringWriter s = new StringWriter();
mcimadamore@1347 147 try {
mcimadamore@1347 148 new Pretty(s, false).printExpr(tree);
mcimadamore@1347 149 }
mcimadamore@1347 150 catch (IOException e) {
mcimadamore@1347 151 // should never happen, because StringWriter is defined
mcimadamore@1347 152 // never to throw any IOExceptions
mcimadamore@1347 153 throw new AssertionError(e);
mcimadamore@1347 154 }
mcimadamore@1347 155 //we need to (i) replace all line terminators with a space and (ii) remove
mcimadamore@1347 156 //occurrences of 'missing' in the Pretty output (generated when types are missing)
jjg@1486 157 String res = s.toString().trim().replaceAll("\\s+", " ").replaceAll("/\\*missing\\*/", "");
mcimadamore@1347 158 if (res.length() < maxLength) {
mcimadamore@1347 159 return res;
mcimadamore@1347 160 } else {
jjg@1486 161 int head = (maxLength - trimSequence.length()) * 2 / 3;
jjg@1486 162 int tail = maxLength - trimSequence.length() - head;
jjg@1486 163 return res.substring(0, head) + trimSequence + res.substring(res.length() - tail);
mcimadamore@1347 164 }
mcimadamore@1347 165 }
mcimadamore@1347 166
duke@1 167 String lineSep = System.getProperty("line.separator");
duke@1 168
duke@1 169 /**************************************************************************
duke@1 170 * Traversal methods
duke@1 171 *************************************************************************/
duke@1 172
duke@1 173 /** Exception to propogate IOException through visitXXX methods */
duke@1 174 private static class UncheckedIOException extends Error {
duke@1 175 static final long serialVersionUID = -4032692679158424751L;
duke@1 176 UncheckedIOException(IOException e) {
duke@1 177 super(e.getMessage(), e);
duke@1 178 }
duke@1 179 }
duke@1 180
duke@1 181 /** Visitor argument: the current precedence level.
duke@1 182 */
duke@1 183 int prec;
duke@1 184
duke@1 185 /** Visitor method: print expression tree.
duke@1 186 * @param prec The current precedence level.
duke@1 187 */
duke@1 188 public void printExpr(JCTree tree, int prec) throws IOException {
duke@1 189 int prevPrec = this.prec;
duke@1 190 try {
duke@1 191 this.prec = prec;
duke@1 192 if (tree == null) print("/*missing*/");
duke@1 193 else {
duke@1 194 tree.accept(this);
duke@1 195 }
duke@1 196 } catch (UncheckedIOException ex) {
duke@1 197 IOException e = new IOException(ex.getMessage());
duke@1 198 e.initCause(ex);
duke@1 199 throw e;
duke@1 200 } finally {
duke@1 201 this.prec = prevPrec;
duke@1 202 }
duke@1 203 }
duke@1 204
duke@1 205 /** Derived visitor method: print expression tree at minimum precedence level
duke@1 206 * for expression.
duke@1 207 */
duke@1 208 public void printExpr(JCTree tree) throws IOException {
duke@1 209 printExpr(tree, TreeInfo.noPrec);
duke@1 210 }
duke@1 211
duke@1 212 /** Derived visitor method: print statement tree.
duke@1 213 */
duke@1 214 public void printStat(JCTree tree) throws IOException {
duke@1 215 printExpr(tree, TreeInfo.notExpression);
duke@1 216 }
duke@1 217
duke@1 218 /** Derived visitor method: print list of expression trees, separated by given string.
duke@1 219 * @param sep the separator string
duke@1 220 */
duke@1 221 public <T extends JCTree> void printExprs(List<T> trees, String sep) throws IOException {
duke@1 222 if (trees.nonEmpty()) {
duke@1 223 printExpr(trees.head);
duke@1 224 for (List<T> l = trees.tail; l.nonEmpty(); l = l.tail) {
duke@1 225 print(sep);
duke@1 226 printExpr(l.head);
duke@1 227 }
duke@1 228 }
duke@1 229 }
duke@1 230
duke@1 231 /** Derived visitor method: print list of expression trees, separated by commas.
duke@1 232 */
duke@1 233 public <T extends JCTree> void printExprs(List<T> trees) throws IOException {
duke@1 234 printExprs(trees, ", ");
duke@1 235 }
duke@1 236
duke@1 237 /** Derived visitor method: print list of statements, each on a separate line.
duke@1 238 */
duke@1 239 public void printStats(List<? extends JCTree> trees) throws IOException {
duke@1 240 for (List<? extends JCTree> l = trees; l.nonEmpty(); l = l.tail) {
duke@1 241 align();
duke@1 242 printStat(l.head);
duke@1 243 println();
duke@1 244 }
duke@1 245 }
duke@1 246
duke@1 247 /** Print a set of modifiers.
duke@1 248 */
duke@1 249 public void printFlags(long flags) throws IOException {
duke@1 250 if ((flags & SYNTHETIC) != 0) print("/*synthetic*/ ");
duke@1 251 print(TreeInfo.flagNames(flags));
mcimadamore@1366 252 if ((flags & ExtendedStandardFlags) != 0) print(" ");
duke@1 253 if ((flags & ANNOTATION) != 0) print("@");
duke@1 254 }
duke@1 255
duke@1 256 public void printAnnotations(List<JCAnnotation> trees) throws IOException {
duke@1 257 for (List<JCAnnotation> l = trees; l.nonEmpty(); l = l.tail) {
duke@1 258 printStat(l.head);
duke@1 259 println();
duke@1 260 align();
duke@1 261 }
duke@1 262 }
duke@1 263
duke@1 264 /** Print documentation comment, if it exists
duke@1 265 * @param tree The tree for which a documentation comment should be printed.
duke@1 266 */
duke@1 267 public void printDocComment(JCTree tree) throws IOException {
duke@1 268 if (docComments != null) {
jjg@1280 269 String dc = docComments.getCommentText(tree);
duke@1 270 if (dc != null) {
duke@1 271 print("/**"); println();
duke@1 272 int pos = 0;
duke@1 273 int endpos = lineEndPos(dc, pos);
duke@1 274 while (pos < dc.length()) {
duke@1 275 align();
duke@1 276 print(" *");
duke@1 277 if (pos < dc.length() && dc.charAt(pos) > ' ') print(" ");
duke@1 278 print(dc.substring(pos, endpos)); println();
duke@1 279 pos = endpos + 1;
duke@1 280 endpos = lineEndPos(dc, pos);
duke@1 281 }
duke@1 282 align(); print(" */"); println();
duke@1 283 align();
duke@1 284 }
duke@1 285 }
duke@1 286 }
duke@1 287 //where
duke@1 288 static int lineEndPos(String s, int start) {
duke@1 289 int pos = s.indexOf('\n', start);
duke@1 290 if (pos < 0) pos = s.length();
duke@1 291 return pos;
duke@1 292 }
duke@1 293
jjg@1326 294 /** If type parameter list is non-empty, print it enclosed in
jjg@1326 295 * {@literal "<...>"} brackets.
duke@1 296 */
duke@1 297 public void printTypeParameters(List<JCTypeParameter> trees) throws IOException {
duke@1 298 if (trees.nonEmpty()) {
duke@1 299 print("<");
duke@1 300 printExprs(trees);
duke@1 301 print(">");
duke@1 302 }
duke@1 303 }
duke@1 304
duke@1 305 /** Print a block.
duke@1 306 */
duke@1 307 public void printBlock(List<? extends JCTree> stats) throws IOException {
duke@1 308 print("{");
duke@1 309 println();
duke@1 310 indent();
duke@1 311 printStats(stats);
duke@1 312 undent();
duke@1 313 align();
duke@1 314 print("}");
duke@1 315 }
duke@1 316
duke@1 317 /** Print a block.
duke@1 318 */
duke@1 319 public void printEnumBody(List<JCTree> stats) throws IOException {
duke@1 320 print("{");
duke@1 321 println();
duke@1 322 indent();
duke@1 323 boolean first = true;
duke@1 324 for (List<JCTree> l = stats; l.nonEmpty(); l = l.tail) {
duke@1 325 if (isEnumerator(l.head)) {
duke@1 326 if (!first) {
duke@1 327 print(",");
duke@1 328 println();
duke@1 329 }
duke@1 330 align();
duke@1 331 printStat(l.head);
duke@1 332 first = false;
duke@1 333 }
duke@1 334 }
duke@1 335 print(";");
duke@1 336 println();
duke@1 337 for (List<JCTree> l = stats; l.nonEmpty(); l = l.tail) {
duke@1 338 if (!isEnumerator(l.head)) {
duke@1 339 align();
duke@1 340 printStat(l.head);
duke@1 341 println();
duke@1 342 }
duke@1 343 }
duke@1 344 undent();
duke@1 345 align();
duke@1 346 print("}");
duke@1 347 }
duke@1 348
duke@1 349 /** Is the given tree an enumerator definition? */
duke@1 350 boolean isEnumerator(JCTree t) {
jjg@1127 351 return t.hasTag(VARDEF) && (((JCVariableDecl) t).mods.flags & ENUM) != 0;
duke@1 352 }
duke@1 353
duke@1 354 /** Print unit consisting of package clause and import statements in toplevel,
duke@1 355 * followed by class definition. if class definition == null,
duke@1 356 * print all definitions in toplevel.
duke@1 357 * @param tree The toplevel tree
duke@1 358 * @param cdef The class definition, which is assumed to be part of the
duke@1 359 * toplevel tree.
duke@1 360 */
duke@1 361 public void printUnit(JCCompilationUnit tree, JCClassDecl cdef) throws IOException {
duke@1 362 docComments = tree.docComments;
duke@1 363 printDocComment(tree);
duke@1 364 if (tree.pid != null) {
duke@1 365 print("package ");
duke@1 366 printExpr(tree.pid);
duke@1 367 print(";");
duke@1 368 println();
duke@1 369 }
duke@1 370 boolean firstImport = true;
duke@1 371 for (List<JCTree> l = tree.defs;
jjg@1127 372 l.nonEmpty() && (cdef == null || l.head.hasTag(IMPORT));
duke@1 373 l = l.tail) {
jjg@1127 374 if (l.head.hasTag(IMPORT)) {
duke@1 375 JCImport imp = (JCImport)l.head;
duke@1 376 Name name = TreeInfo.name(imp.qualid);
jjg@113 377 if (name == name.table.names.asterisk ||
duke@1 378 cdef == null ||
duke@1 379 isUsed(TreeInfo.symbol(imp.qualid), cdef)) {
duke@1 380 if (firstImport) {
duke@1 381 firstImport = false;
duke@1 382 println();
duke@1 383 }
duke@1 384 printStat(imp);
duke@1 385 }
duke@1 386 } else {
duke@1 387 printStat(l.head);
duke@1 388 }
duke@1 389 }
duke@1 390 if (cdef != null) {
duke@1 391 printStat(cdef);
duke@1 392 println();
duke@1 393 }
duke@1 394 }
duke@1 395 // where
duke@1 396 boolean isUsed(final Symbol t, JCTree cdef) {
duke@1 397 class UsedVisitor extends TreeScanner {
duke@1 398 public void scan(JCTree tree) {
duke@1 399 if (tree!=null && !result) tree.accept(this);
duke@1 400 }
duke@1 401 boolean result = false;
duke@1 402 public void visitIdent(JCIdent tree) {
duke@1 403 if (tree.sym == t) result = true;
duke@1 404 }
duke@1 405 }
duke@1 406 UsedVisitor v = new UsedVisitor();
duke@1 407 v.scan(cdef);
duke@1 408 return v.result;
duke@1 409 }
duke@1 410
duke@1 411 /**************************************************************************
duke@1 412 * Visitor methods
duke@1 413 *************************************************************************/
duke@1 414
duke@1 415 public void visitTopLevel(JCCompilationUnit tree) {
duke@1 416 try {
duke@1 417 printUnit(tree, null);
duke@1 418 } catch (IOException e) {
duke@1 419 throw new UncheckedIOException(e);
duke@1 420 }
duke@1 421 }
duke@1 422
duke@1 423 public void visitImport(JCImport tree) {
duke@1 424 try {
duke@1 425 print("import ");
duke@1 426 if (tree.staticImport) print("static ");
duke@1 427 printExpr(tree.qualid);
duke@1 428 print(";");
duke@1 429 println();
duke@1 430 } catch (IOException e) {
duke@1 431 throw new UncheckedIOException(e);
duke@1 432 }
duke@1 433 }
duke@1 434
duke@1 435 public void visitClassDef(JCClassDecl tree) {
duke@1 436 try {
duke@1 437 println(); align();
duke@1 438 printDocComment(tree);
duke@1 439 printAnnotations(tree.mods.annotations);
duke@1 440 printFlags(tree.mods.flags & ~INTERFACE);
duke@1 441 Name enclClassNamePrev = enclClassName;
duke@1 442 enclClassName = tree.name;
duke@1 443 if ((tree.mods.flags & INTERFACE) != 0) {
duke@1 444 print("interface " + tree.name);
duke@1 445 printTypeParameters(tree.typarams);
duke@1 446 if (tree.implementing.nonEmpty()) {
duke@1 447 print(" extends ");
duke@1 448 printExprs(tree.implementing);
duke@1 449 }
duke@1 450 } else {
duke@1 451 if ((tree.mods.flags & ENUM) != 0)
duke@1 452 print("enum " + tree.name);
duke@1 453 else
duke@1 454 print("class " + tree.name);
duke@1 455 printTypeParameters(tree.typarams);
duke@1 456 if (tree.extending != null) {
duke@1 457 print(" extends ");
duke@1 458 printExpr(tree.extending);
duke@1 459 }
duke@1 460 if (tree.implementing.nonEmpty()) {
duke@1 461 print(" implements ");
duke@1 462 printExprs(tree.implementing);
duke@1 463 }
duke@1 464 }
duke@1 465 print(" ");
duke@1 466 if ((tree.mods.flags & ENUM) != 0) {
duke@1 467 printEnumBody(tree.defs);
duke@1 468 } else {
duke@1 469 printBlock(tree.defs);
duke@1 470 }
duke@1 471 enclClassName = enclClassNamePrev;
duke@1 472 } catch (IOException e) {
duke@1 473 throw new UncheckedIOException(e);
duke@1 474 }
duke@1 475 }
duke@1 476
duke@1 477 public void visitMethodDef(JCMethodDecl tree) {
duke@1 478 try {
duke@1 479 // when producing source output, omit anonymous constructors
jjg@113 480 if (tree.name == tree.name.table.names.init &&
duke@1 481 enclClassName == null &&
duke@1 482 sourceOutput) return;
duke@1 483 println(); align();
duke@1 484 printDocComment(tree);
duke@1 485 printExpr(tree.mods);
duke@1 486 printTypeParameters(tree.typarams);
jjg@113 487 if (tree.name == tree.name.table.names.init) {
duke@1 488 print(enclClassName != null ? enclClassName : tree.name);
duke@1 489 } else {
duke@1 490 printExpr(tree.restype);
duke@1 491 print(" " + tree.name);
duke@1 492 }
duke@1 493 print("(");
duke@1 494 printExprs(tree.params);
duke@1 495 print(")");
duke@1 496 if (tree.thrown.nonEmpty()) {
duke@1 497 print(" throws ");
duke@1 498 printExprs(tree.thrown);
duke@1 499 }
jjg@461 500 if (tree.defaultValue != null) {
jjg@461 501 print(" default ");
jjg@461 502 printExpr(tree.defaultValue);
jjg@461 503 }
duke@1 504 if (tree.body != null) {
duke@1 505 print(" ");
duke@1 506 printStat(tree.body);
duke@1 507 } else {
duke@1 508 print(";");
duke@1 509 }
duke@1 510 } catch (IOException e) {
duke@1 511 throw new UncheckedIOException(e);
duke@1 512 }
duke@1 513 }
duke@1 514
duke@1 515 public void visitVarDef(JCVariableDecl tree) {
duke@1 516 try {
jjg@1280 517 if (docComments != null && docComments.hasComment(tree)) {
duke@1 518 println(); align();
duke@1 519 }
duke@1 520 printDocComment(tree);
duke@1 521 if ((tree.mods.flags & ENUM) != 0) {
duke@1 522 print("/*public static final*/ ");
duke@1 523 print(tree.name);
duke@1 524 if (tree.init != null) {
jjg@1127 525 if (sourceOutput && tree.init.hasTag(NEWCLASS)) {
jjg@439 526 print(" /*enum*/ ");
jjg@439 527 JCNewClass init = (JCNewClass) tree.init;
jjg@439 528 if (init.args != null && init.args.nonEmpty()) {
jjg@439 529 print("(");
jjg@439 530 print(init.args);
jjg@439 531 print(")");
jjg@439 532 }
jjg@439 533 if (init.def != null && init.def.defs != null) {
jjg@439 534 print(" ");
jjg@439 535 printBlock(init.def.defs);
jjg@439 536 }
jjg@439 537 return;
jjg@439 538 }
duke@1 539 print(" /* = ");
duke@1 540 printExpr(tree.init);
duke@1 541 print(" */");
duke@1 542 }
duke@1 543 } else {
duke@1 544 printExpr(tree.mods);
duke@1 545 if ((tree.mods.flags & VARARGS) != 0) {
duke@1 546 printExpr(((JCArrayTypeTree) tree.vartype).elemtype);
duke@1 547 print("... " + tree.name);
duke@1 548 } else {
duke@1 549 printExpr(tree.vartype);
duke@1 550 print(" " + tree.name);
duke@1 551 }
duke@1 552 if (tree.init != null) {
duke@1 553 print(" = ");
duke@1 554 printExpr(tree.init);
duke@1 555 }
duke@1 556 if (prec == TreeInfo.notExpression) print(";");
duke@1 557 }
duke@1 558 } catch (IOException e) {
duke@1 559 throw new UncheckedIOException(e);
duke@1 560 }
duke@1 561 }
duke@1 562
duke@1 563 public void visitSkip(JCSkip tree) {
duke@1 564 try {
duke@1 565 print(";");
duke@1 566 } catch (IOException e) {
duke@1 567 throw new UncheckedIOException(e);
duke@1 568 }
duke@1 569 }
duke@1 570
duke@1 571 public void visitBlock(JCBlock tree) {
duke@1 572 try {
duke@1 573 printFlags(tree.flags);
duke@1 574 printBlock(tree.stats);
duke@1 575 } catch (IOException e) {
duke@1 576 throw new UncheckedIOException(e);
duke@1 577 }
duke@1 578 }
duke@1 579
duke@1 580 public void visitDoLoop(JCDoWhileLoop tree) {
duke@1 581 try {
duke@1 582 print("do ");
duke@1 583 printStat(tree.body);
duke@1 584 align();
duke@1 585 print(" while ");
jjg@1127 586 if (tree.cond.hasTag(PARENS)) {
duke@1 587 printExpr(tree.cond);
duke@1 588 } else {
duke@1 589 print("(");
duke@1 590 printExpr(tree.cond);
duke@1 591 print(")");
duke@1 592 }
duke@1 593 print(";");
duke@1 594 } catch (IOException e) {
duke@1 595 throw new UncheckedIOException(e);
duke@1 596 }
duke@1 597 }
duke@1 598
duke@1 599 public void visitWhileLoop(JCWhileLoop tree) {
duke@1 600 try {
duke@1 601 print("while ");
jjg@1127 602 if (tree.cond.hasTag(PARENS)) {
duke@1 603 printExpr(tree.cond);
duke@1 604 } else {
duke@1 605 print("(");
duke@1 606 printExpr(tree.cond);
duke@1 607 print(")");
duke@1 608 }
duke@1 609 print(" ");
duke@1 610 printStat(tree.body);
duke@1 611 } catch (IOException e) {
duke@1 612 throw new UncheckedIOException(e);
duke@1 613 }
duke@1 614 }
duke@1 615
duke@1 616 public void visitForLoop(JCForLoop tree) {
duke@1 617 try {
duke@1 618 print("for (");
duke@1 619 if (tree.init.nonEmpty()) {
jjg@1127 620 if (tree.init.head.hasTag(VARDEF)) {
duke@1 621 printExpr(tree.init.head);
duke@1 622 for (List<JCStatement> l = tree.init.tail; l.nonEmpty(); l = l.tail) {
duke@1 623 JCVariableDecl vdef = (JCVariableDecl)l.head;
duke@1 624 print(", " + vdef.name + " = ");
duke@1 625 printExpr(vdef.init);
duke@1 626 }
duke@1 627 } else {
duke@1 628 printExprs(tree.init);
duke@1 629 }
duke@1 630 }
duke@1 631 print("; ");
duke@1 632 if (tree.cond != null) printExpr(tree.cond);
duke@1 633 print("; ");
duke@1 634 printExprs(tree.step);
duke@1 635 print(") ");
duke@1 636 printStat(tree.body);
duke@1 637 } catch (IOException e) {
duke@1 638 throw new UncheckedIOException(e);
duke@1 639 }
duke@1 640 }
duke@1 641
duke@1 642 public void visitForeachLoop(JCEnhancedForLoop tree) {
duke@1 643 try {
duke@1 644 print("for (");
duke@1 645 printExpr(tree.var);
duke@1 646 print(" : ");
duke@1 647 printExpr(tree.expr);
duke@1 648 print(") ");
duke@1 649 printStat(tree.body);
duke@1 650 } catch (IOException e) {
duke@1 651 throw new UncheckedIOException(e);
duke@1 652 }
duke@1 653 }
duke@1 654
duke@1 655 public void visitLabelled(JCLabeledStatement tree) {
duke@1 656 try {
duke@1 657 print(tree.label + ": ");
duke@1 658 printStat(tree.body);
duke@1 659 } catch (IOException e) {
duke@1 660 throw new UncheckedIOException(e);
duke@1 661 }
duke@1 662 }
duke@1 663
duke@1 664 public void visitSwitch(JCSwitch tree) {
duke@1 665 try {
duke@1 666 print("switch ");
jjg@1127 667 if (tree.selector.hasTag(PARENS)) {
duke@1 668 printExpr(tree.selector);
duke@1 669 } else {
duke@1 670 print("(");
duke@1 671 printExpr(tree.selector);
duke@1 672 print(")");
duke@1 673 }
duke@1 674 print(" {");
duke@1 675 println();
duke@1 676 printStats(tree.cases);
duke@1 677 align();
duke@1 678 print("}");
duke@1 679 } catch (IOException e) {
duke@1 680 throw new UncheckedIOException(e);
duke@1 681 }
duke@1 682 }
duke@1 683
duke@1 684 public void visitCase(JCCase tree) {
duke@1 685 try {
duke@1 686 if (tree.pat == null) {
duke@1 687 print("default");
duke@1 688 } else {
duke@1 689 print("case ");
duke@1 690 printExpr(tree.pat);
duke@1 691 }
duke@1 692 print(": ");
duke@1 693 println();
duke@1 694 indent();
duke@1 695 printStats(tree.stats);
duke@1 696 undent();
duke@1 697 align();
duke@1 698 } catch (IOException e) {
duke@1 699 throw new UncheckedIOException(e);
duke@1 700 }
duke@1 701 }
duke@1 702
duke@1 703 public void visitSynchronized(JCSynchronized tree) {
duke@1 704 try {
duke@1 705 print("synchronized ");
jjg@1127 706 if (tree.lock.hasTag(PARENS)) {
duke@1 707 printExpr(tree.lock);
duke@1 708 } else {
duke@1 709 print("(");
duke@1 710 printExpr(tree.lock);
duke@1 711 print(")");
duke@1 712 }
duke@1 713 print(" ");
duke@1 714 printStat(tree.body);
duke@1 715 } catch (IOException e) {
duke@1 716 throw new UncheckedIOException(e);
duke@1 717 }
duke@1 718 }
duke@1 719
duke@1 720 public void visitTry(JCTry tree) {
duke@1 721 try {
duke@1 722 print("try ");
darcy@609 723 if (tree.resources.nonEmpty()) {
darcy@609 724 print("(");
darcy@609 725 boolean first = true;
darcy@609 726 for (JCTree var : tree.resources) {
darcy@609 727 if (!first) {
darcy@609 728 println();
darcy@609 729 indent();
darcy@609 730 }
darcy@609 731 printStat(var);
darcy@609 732 first = false;
darcy@609 733 }
darcy@609 734 print(") ");
darcy@609 735 }
duke@1 736 printStat(tree.body);
duke@1 737 for (List<JCCatch> l = tree.catchers; l.nonEmpty(); l = l.tail) {
duke@1 738 printStat(l.head);
duke@1 739 }
duke@1 740 if (tree.finalizer != null) {
duke@1 741 print(" finally ");
duke@1 742 printStat(tree.finalizer);
duke@1 743 }
duke@1 744 } catch (IOException e) {
duke@1 745 throw new UncheckedIOException(e);
duke@1 746 }
duke@1 747 }
duke@1 748
duke@1 749 public void visitCatch(JCCatch tree) {
duke@1 750 try {
duke@1 751 print(" catch (");
duke@1 752 printExpr(tree.param);
duke@1 753 print(") ");
duke@1 754 printStat(tree.body);
duke@1 755 } catch (IOException e) {
duke@1 756 throw new UncheckedIOException(e);
duke@1 757 }
duke@1 758 }
duke@1 759
duke@1 760 public void visitConditional(JCConditional tree) {
duke@1 761 try {
duke@1 762 open(prec, TreeInfo.condPrec);
duke@1 763 printExpr(tree.cond, TreeInfo.condPrec);
duke@1 764 print(" ? ");
duke@1 765 printExpr(tree.truepart, TreeInfo.condPrec);
duke@1 766 print(" : ");
duke@1 767 printExpr(tree.falsepart, TreeInfo.condPrec);
duke@1 768 close(prec, TreeInfo.condPrec);
duke@1 769 } catch (IOException e) {
duke@1 770 throw new UncheckedIOException(e);
duke@1 771 }
duke@1 772 }
duke@1 773
duke@1 774 public void visitIf(JCIf tree) {
duke@1 775 try {
duke@1 776 print("if ");
jjg@1127 777 if (tree.cond.hasTag(PARENS)) {
duke@1 778 printExpr(tree.cond);
duke@1 779 } else {
duke@1 780 print("(");
duke@1 781 printExpr(tree.cond);
duke@1 782 print(")");
duke@1 783 }
duke@1 784 print(" ");
duke@1 785 printStat(tree.thenpart);
duke@1 786 if (tree.elsepart != null) {
duke@1 787 print(" else ");
duke@1 788 printStat(tree.elsepart);
duke@1 789 }
duke@1 790 } catch (IOException e) {
duke@1 791 throw new UncheckedIOException(e);
duke@1 792 }
duke@1 793 }
duke@1 794
duke@1 795 public void visitExec(JCExpressionStatement tree) {
duke@1 796 try {
duke@1 797 printExpr(tree.expr);
duke@1 798 if (prec == TreeInfo.notExpression) print(";");
duke@1 799 } catch (IOException e) {
duke@1 800 throw new UncheckedIOException(e);
duke@1 801 }
duke@1 802 }
duke@1 803
duke@1 804 public void visitBreak(JCBreak tree) {
duke@1 805 try {
duke@1 806 print("break");
duke@1 807 if (tree.label != null) print(" " + tree.label);
duke@1 808 print(";");
duke@1 809 } catch (IOException e) {
duke@1 810 throw new UncheckedIOException(e);
duke@1 811 }
duke@1 812 }
duke@1 813
duke@1 814 public void visitContinue(JCContinue tree) {
duke@1 815 try {
duke@1 816 print("continue");
duke@1 817 if (tree.label != null) print(" " + tree.label);
duke@1 818 print(";");
duke@1 819 } catch (IOException e) {
duke@1 820 throw new UncheckedIOException(e);
duke@1 821 }
duke@1 822 }
duke@1 823
duke@1 824 public void visitReturn(JCReturn tree) {
duke@1 825 try {
duke@1 826 print("return");
duke@1 827 if (tree.expr != null) {
duke@1 828 print(" ");
duke@1 829 printExpr(tree.expr);
duke@1 830 }
duke@1 831 print(";");
duke@1 832 } catch (IOException e) {
duke@1 833 throw new UncheckedIOException(e);
duke@1 834 }
duke@1 835 }
duke@1 836
duke@1 837 public void visitThrow(JCThrow tree) {
duke@1 838 try {
duke@1 839 print("throw ");
duke@1 840 printExpr(tree.expr);
duke@1 841 print(";");
duke@1 842 } catch (IOException e) {
duke@1 843 throw new UncheckedIOException(e);
duke@1 844 }
duke@1 845 }
duke@1 846
duke@1 847 public void visitAssert(JCAssert tree) {
duke@1 848 try {
duke@1 849 print("assert ");
duke@1 850 printExpr(tree.cond);
duke@1 851 if (tree.detail != null) {
duke@1 852 print(" : ");
duke@1 853 printExpr(tree.detail);
duke@1 854 }
duke@1 855 print(";");
duke@1 856 } catch (IOException e) {
duke@1 857 throw new UncheckedIOException(e);
duke@1 858 }
duke@1 859 }
duke@1 860
duke@1 861 public void visitApply(JCMethodInvocation tree) {
duke@1 862 try {
duke@1 863 if (!tree.typeargs.isEmpty()) {
jjg@1127 864 if (tree.meth.hasTag(SELECT)) {
duke@1 865 JCFieldAccess left = (JCFieldAccess)tree.meth;
duke@1 866 printExpr(left.selected);
duke@1 867 print(".<");
duke@1 868 printExprs(tree.typeargs);
duke@1 869 print(">" + left.name);
duke@1 870 } else {
duke@1 871 print("<");
duke@1 872 printExprs(tree.typeargs);
duke@1 873 print(">");
duke@1 874 printExpr(tree.meth);
duke@1 875 }
duke@1 876 } else {
duke@1 877 printExpr(tree.meth);
duke@1 878 }
duke@1 879 print("(");
duke@1 880 printExprs(tree.args);
duke@1 881 print(")");
duke@1 882 } catch (IOException e) {
duke@1 883 throw new UncheckedIOException(e);
duke@1 884 }
duke@1 885 }
duke@1 886
duke@1 887 public void visitNewClass(JCNewClass tree) {
duke@1 888 try {
duke@1 889 if (tree.encl != null) {
duke@1 890 printExpr(tree.encl);
duke@1 891 print(".");
duke@1 892 }
duke@1 893 print("new ");
duke@1 894 if (!tree.typeargs.isEmpty()) {
duke@1 895 print("<");
duke@1 896 printExprs(tree.typeargs);
duke@1 897 print(">");
duke@1 898 }
duke@1 899 printExpr(tree.clazz);
duke@1 900 print("(");
duke@1 901 printExprs(tree.args);
duke@1 902 print(")");
duke@1 903 if (tree.def != null) {
duke@1 904 Name enclClassNamePrev = enclClassName;
duke@1 905 enclClassName =
duke@1 906 tree.def.name != null ? tree.def.name :
jjg@113 907 tree.type != null && tree.type.tsym.name != tree.type.tsym.name.table.names.empty
jjg@113 908 ? tree.type.tsym.name : null;
duke@1 909 if ((tree.def.mods.flags & Flags.ENUM) != 0) print("/*enum*/");
duke@1 910 printBlock(tree.def.defs);
duke@1 911 enclClassName = enclClassNamePrev;
duke@1 912 }
duke@1 913 } catch (IOException e) {
duke@1 914 throw new UncheckedIOException(e);
duke@1 915 }
duke@1 916 }
duke@1 917
duke@1 918 public void visitNewArray(JCNewArray tree) {
duke@1 919 try {
duke@1 920 if (tree.elemtype != null) {
duke@1 921 print("new ");
duke@1 922 JCTree elem = tree.elemtype;
jjg@1127 923 if (elem.hasTag(TYPEARRAY))
jjg@815 924 printBaseElementType((JCArrayTypeTree) elem);
jjg@815 925 else
jjg@815 926 printExpr(elem);
duke@1 927 for (List<JCExpression> l = tree.dims; l.nonEmpty(); l = l.tail) {
duke@1 928 print("[");
duke@1 929 printExpr(l.head);
duke@1 930 print("]");
duke@1 931 }
duke@1 932 if (elem instanceof JCArrayTypeTree)
duke@1 933 printBrackets((JCArrayTypeTree) elem);
duke@1 934 }
duke@1 935 if (tree.elems != null) {
jjg@815 936 if (tree.elemtype != null) print("[]");
duke@1 937 print("{");
duke@1 938 printExprs(tree.elems);
duke@1 939 print("}");
duke@1 940 }
duke@1 941 } catch (IOException e) {
duke@1 942 throw new UncheckedIOException(e);
duke@1 943 }
duke@1 944 }
duke@1 945
mcimadamore@1142 946 public void visitLambda(JCLambda tree) {
mcimadamore@1142 947 try {
mcimadamore@1142 948 print("(");
mcimadamore@1510 949 if (tree.paramKind == JCLambda.ParameterKind.EXPLICIT) {
mcimadamore@1348 950 printExprs(tree.params);
mcimadamore@1348 951 } else {
mcimadamore@1348 952 String sep = "";
mcimadamore@1348 953 for (JCVariableDecl param : tree.params) {
mcimadamore@1348 954 print(sep);
mcimadamore@1348 955 print(param.name);
mcimadamore@1348 956 sep = ",";
mcimadamore@1348 957 }
mcimadamore@1348 958 }
mcimadamore@1142 959 print(")->");
mcimadamore@1142 960 printExpr(tree.body);
mcimadamore@1142 961 } catch (IOException e) {
mcimadamore@1142 962 throw new UncheckedIOException(e);
mcimadamore@1142 963 }
mcimadamore@1142 964 }
mcimadamore@1142 965
duke@1 966 public void visitParens(JCParens tree) {
duke@1 967 try {
duke@1 968 print("(");
duke@1 969 printExpr(tree.expr);
duke@1 970 print(")");
duke@1 971 } catch (IOException e) {
duke@1 972 throw new UncheckedIOException(e);
duke@1 973 }
duke@1 974 }
duke@1 975
duke@1 976 public void visitAssign(JCAssign tree) {
duke@1 977 try {
duke@1 978 open(prec, TreeInfo.assignPrec);
duke@1 979 printExpr(tree.lhs, TreeInfo.assignPrec + 1);
duke@1 980 print(" = ");
duke@1 981 printExpr(tree.rhs, TreeInfo.assignPrec);
duke@1 982 close(prec, TreeInfo.assignPrec);
duke@1 983 } catch (IOException e) {
duke@1 984 throw new UncheckedIOException(e);
duke@1 985 }
duke@1 986 }
duke@1 987
jjg@1127 988 public String operatorName(JCTree.Tag tag) {
duke@1 989 switch(tag) {
jjg@1127 990 case POS: return "+";
jjg@1127 991 case NEG: return "-";
jjg@1127 992 case NOT: return "!";
jjg@1127 993 case COMPL: return "~";
jjg@1127 994 case PREINC: return "++";
jjg@1127 995 case PREDEC: return "--";
jjg@1127 996 case POSTINC: return "++";
jjg@1127 997 case POSTDEC: return "--";
jjg@1127 998 case NULLCHK: return "<*nullchk*>";
jjg@1127 999 case OR: return "||";
jjg@1127 1000 case AND: return "&&";
jjg@1127 1001 case EQ: return "==";
jjg@1127 1002 case NE: return "!=";
jjg@1127 1003 case LT: return "<";
jjg@1127 1004 case GT: return ">";
jjg@1127 1005 case LE: return "<=";
jjg@1127 1006 case GE: return ">=";
jjg@1127 1007 case BITOR: return "|";
jjg@1127 1008 case BITXOR: return "^";
jjg@1127 1009 case BITAND: return "&";
jjg@1127 1010 case SL: return "<<";
jjg@1127 1011 case SR: return ">>";
jjg@1127 1012 case USR: return ">>>";
jjg@1127 1013 case PLUS: return "+";
jjg@1127 1014 case MINUS: return "-";
jjg@1127 1015 case MUL: return "*";
jjg@1127 1016 case DIV: return "/";
jjg@1127 1017 case MOD: return "%";
duke@1 1018 default: throw new Error();
duke@1 1019 }
duke@1 1020 }
duke@1 1021
duke@1 1022 public void visitAssignop(JCAssignOp tree) {
duke@1 1023 try {
duke@1 1024 open(prec, TreeInfo.assignopPrec);
duke@1 1025 printExpr(tree.lhs, TreeInfo.assignopPrec + 1);
jjg@1127 1026 print(" " + operatorName(tree.getTag().noAssignOp()) + "= ");
duke@1 1027 printExpr(tree.rhs, TreeInfo.assignopPrec);
duke@1 1028 close(prec, TreeInfo.assignopPrec);
duke@1 1029 } catch (IOException e) {
duke@1 1030 throw new UncheckedIOException(e);
duke@1 1031 }
duke@1 1032 }
duke@1 1033
duke@1 1034 public void visitUnary(JCUnary tree) {
duke@1 1035 try {
duke@1 1036 int ownprec = TreeInfo.opPrec(tree.getTag());
duke@1 1037 String opname = operatorName(tree.getTag());
duke@1 1038 open(prec, ownprec);
jjg@1127 1039 if (!tree.getTag().isPostUnaryOp()) {
duke@1 1040 print(opname);
duke@1 1041 printExpr(tree.arg, ownprec);
duke@1 1042 } else {
duke@1 1043 printExpr(tree.arg, ownprec);
duke@1 1044 print(opname);
duke@1 1045 }
duke@1 1046 close(prec, ownprec);
duke@1 1047 } catch (IOException e) {
duke@1 1048 throw new UncheckedIOException(e);
duke@1 1049 }
duke@1 1050 }
duke@1 1051
duke@1 1052 public void visitBinary(JCBinary tree) {
duke@1 1053 try {
duke@1 1054 int ownprec = TreeInfo.opPrec(tree.getTag());
duke@1 1055 String opname = operatorName(tree.getTag());
duke@1 1056 open(prec, ownprec);
duke@1 1057 printExpr(tree.lhs, ownprec);
duke@1 1058 print(" " + opname + " ");
duke@1 1059 printExpr(tree.rhs, ownprec + 1);
duke@1 1060 close(prec, ownprec);
duke@1 1061 } catch (IOException e) {
duke@1 1062 throw new UncheckedIOException(e);
duke@1 1063 }
duke@1 1064 }
duke@1 1065
duke@1 1066 public void visitTypeCast(JCTypeCast tree) {
duke@1 1067 try {
duke@1 1068 open(prec, TreeInfo.prefixPrec);
duke@1 1069 print("(");
duke@1 1070 printExpr(tree.clazz);
duke@1 1071 print(")");
duke@1 1072 printExpr(tree.expr, TreeInfo.prefixPrec);
duke@1 1073 close(prec, TreeInfo.prefixPrec);
duke@1 1074 } catch (IOException e) {
duke@1 1075 throw new UncheckedIOException(e);
duke@1 1076 }
duke@1 1077 }
duke@1 1078
duke@1 1079 public void visitTypeTest(JCInstanceOf tree) {
duke@1 1080 try {
duke@1 1081 open(prec, TreeInfo.ordPrec);
duke@1 1082 printExpr(tree.expr, TreeInfo.ordPrec);
duke@1 1083 print(" instanceof ");
duke@1 1084 printExpr(tree.clazz, TreeInfo.ordPrec + 1);
duke@1 1085 close(prec, TreeInfo.ordPrec);
duke@1 1086 } catch (IOException e) {
duke@1 1087 throw new UncheckedIOException(e);
duke@1 1088 }
duke@1 1089 }
duke@1 1090
duke@1 1091 public void visitIndexed(JCArrayAccess tree) {
duke@1 1092 try {
duke@1 1093 printExpr(tree.indexed, TreeInfo.postfixPrec);
duke@1 1094 print("[");
duke@1 1095 printExpr(tree.index);
duke@1 1096 print("]");
duke@1 1097 } catch (IOException e) {
duke@1 1098 throw new UncheckedIOException(e);
duke@1 1099 }
duke@1 1100 }
duke@1 1101
duke@1 1102 public void visitSelect(JCFieldAccess tree) {
duke@1 1103 try {
duke@1 1104 printExpr(tree.selected, TreeInfo.postfixPrec);
duke@1 1105 print("." + tree.name);
duke@1 1106 } catch (IOException e) {
duke@1 1107 throw new UncheckedIOException(e);
duke@1 1108 }
duke@1 1109 }
duke@1 1110
mcimadamore@1143 1111 public void visitReference(JCMemberReference tree) {
mcimadamore@1143 1112 try {
mcimadamore@1143 1113 printExpr(tree.expr);
mcimadamore@1415 1114 print("::");
mcimadamore@1143 1115 if (tree.typeargs != null) {
mcimadamore@1143 1116 print("<");
mcimadamore@1143 1117 printExprs(tree.typeargs);
mcimadamore@1143 1118 print(">");
mcimadamore@1143 1119 }
mcimadamore@1143 1120 print(tree.getMode() == ReferenceMode.INVOKE ? tree.name : "new");
mcimadamore@1143 1121 } catch (IOException e) {
mcimadamore@1143 1122 throw new UncheckedIOException(e);
mcimadamore@1143 1123 }
mcimadamore@1143 1124 }
mcimadamore@1143 1125
duke@1 1126 public void visitIdent(JCIdent tree) {
duke@1 1127 try {
duke@1 1128 print(tree.name);
duke@1 1129 } catch (IOException e) {
duke@1 1130 throw new UncheckedIOException(e);
duke@1 1131 }
duke@1 1132 }
duke@1 1133
duke@1 1134 public void visitLiteral(JCLiteral tree) {
duke@1 1135 try {
duke@1 1136 switch (tree.typetag) {
jjg@1374 1137 case INT:
duke@1 1138 print(tree.value.toString());
duke@1 1139 break;
jjg@1374 1140 case LONG:
duke@1 1141 print(tree.value + "L");
duke@1 1142 break;
jjg@1374 1143 case FLOAT:
duke@1 1144 print(tree.value + "F");
duke@1 1145 break;
jjg@1374 1146 case DOUBLE:
duke@1 1147 print(tree.value.toString());
duke@1 1148 break;
jjg@1374 1149 case CHAR:
duke@1 1150 print("\'" +
duke@1 1151 Convert.quote(
duke@1 1152 String.valueOf((char)((Number)tree.value).intValue())) +
duke@1 1153 "\'");
duke@1 1154 break;
jjg@1374 1155 case BOOLEAN:
duke@1 1156 print(((Number)tree.value).intValue() == 1 ? "true" : "false");
duke@1 1157 break;
jjg@1374 1158 case BOT:
duke@1 1159 print("null");
duke@1 1160 break;
duke@1 1161 default:
duke@1 1162 print("\"" + Convert.quote(tree.value.toString()) + "\"");
duke@1 1163 break;
duke@1 1164 }
duke@1 1165 } catch (IOException e) {
duke@1 1166 throw new UncheckedIOException(e);
duke@1 1167 }
duke@1 1168 }
duke@1 1169
duke@1 1170 public void visitTypeIdent(JCPrimitiveTypeTree tree) {
duke@1 1171 try {
duke@1 1172 switch(tree.typetag) {
jjg@1374 1173 case BYTE:
duke@1 1174 print("byte");
duke@1 1175 break;
jjg@1374 1176 case CHAR:
duke@1 1177 print("char");
duke@1 1178 break;
jjg@1374 1179 case SHORT:
duke@1 1180 print("short");
duke@1 1181 break;
jjg@1374 1182 case INT:
duke@1 1183 print("int");
duke@1 1184 break;
jjg@1374 1185 case LONG:
duke@1 1186 print("long");
duke@1 1187 break;
jjg@1374 1188 case FLOAT:
duke@1 1189 print("float");
duke@1 1190 break;
jjg@1374 1191 case DOUBLE:
duke@1 1192 print("double");
duke@1 1193 break;
jjg@1374 1194 case BOOLEAN:
duke@1 1195 print("boolean");
duke@1 1196 break;
jjg@1374 1197 case VOID:
duke@1 1198 print("void");
duke@1 1199 break;
duke@1 1200 default:
duke@1 1201 print("error");
duke@1 1202 break;
duke@1 1203 }
duke@1 1204 } catch (IOException e) {
duke@1 1205 throw new UncheckedIOException(e);
duke@1 1206 }
duke@1 1207 }
duke@1 1208
duke@1 1209 public void visitTypeArray(JCArrayTypeTree tree) {
duke@1 1210 try {
duke@1 1211 printBaseElementType(tree);
duke@1 1212 printBrackets(tree);
duke@1 1213 } catch (IOException e) {
duke@1 1214 throw new UncheckedIOException(e);
duke@1 1215 }
duke@1 1216 }
duke@1 1217
duke@1 1218 // Prints the inner element type of a nested array
jjg@308 1219 private void printBaseElementType(JCTree tree) throws IOException {
jjg@470 1220 printExpr(TreeInfo.innermostType(tree));
duke@1 1221 }
duke@1 1222
duke@1 1223 // prints the brackets of a nested array in reverse order
duke@1 1224 private void printBrackets(JCArrayTypeTree tree) throws IOException {
duke@1 1225 JCTree elem;
duke@1 1226 while (true) {
duke@1 1227 elem = tree.elemtype;
duke@1 1228 print("[]");
jjg@1127 1229 if (!elem.hasTag(TYPEARRAY)) break;
duke@1 1230 tree = (JCArrayTypeTree) elem;
duke@1 1231 }
duke@1 1232 }
duke@1 1233
duke@1 1234 public void visitTypeApply(JCTypeApply tree) {
duke@1 1235 try {
duke@1 1236 printExpr(tree.clazz);
duke@1 1237 print("<");
duke@1 1238 printExprs(tree.arguments);
duke@1 1239 print(">");
duke@1 1240 } catch (IOException e) {
duke@1 1241 throw new UncheckedIOException(e);
duke@1 1242 }
duke@1 1243 }
duke@1 1244
darcy@969 1245 public void visitTypeUnion(JCTypeUnion tree) {
mcimadamore@550 1246 try {
jjg@724 1247 printExprs(tree.alternatives, " | ");
mcimadamore@550 1248 } catch (IOException e) {
mcimadamore@550 1249 throw new UncheckedIOException(e);
mcimadamore@550 1250 }
mcimadamore@550 1251 }
mcimadamore@550 1252
mcimadamore@1436 1253 public void visitTypeIntersection(JCTypeIntersection tree) {
mcimadamore@1436 1254 try {
mcimadamore@1436 1255 printExprs(tree.bounds, " & ");
mcimadamore@1436 1256 } catch (IOException e) {
mcimadamore@1436 1257 throw new UncheckedIOException(e);
mcimadamore@1436 1258 }
mcimadamore@1436 1259 }
mcimadamore@1436 1260
duke@1 1261 public void visitTypeParameter(JCTypeParameter tree) {
duke@1 1262 try {
duke@1 1263 print(tree.name);
duke@1 1264 if (tree.bounds.nonEmpty()) {
duke@1 1265 print(" extends ");
duke@1 1266 printExprs(tree.bounds, " & ");
duke@1 1267 }
duke@1 1268 } catch (IOException e) {
duke@1 1269 throw new UncheckedIOException(e);
duke@1 1270 }
duke@1 1271 }
duke@1 1272
duke@1 1273 @Override
duke@1 1274 public void visitWildcard(JCWildcard tree) {
duke@1 1275 try {
duke@1 1276 print(tree.kind);
duke@1 1277 if (tree.kind.kind != BoundKind.UNBOUND)
duke@1 1278 printExpr(tree.inner);
duke@1 1279 } catch (IOException e) {
duke@1 1280 throw new UncheckedIOException(e);
duke@1 1281 }
duke@1 1282 }
duke@1 1283
duke@1 1284 @Override
duke@1 1285 public void visitTypeBoundKind(TypeBoundKind tree) {
duke@1 1286 try {
duke@1 1287 print(String.valueOf(tree.kind));
duke@1 1288 } catch (IOException e) {
duke@1 1289 throw new UncheckedIOException(e);
duke@1 1290 }
duke@1 1291 }
duke@1 1292
duke@1 1293 public void visitErroneous(JCErroneous tree) {
duke@1 1294 try {
duke@1 1295 print("(ERROR)");
duke@1 1296 } catch (IOException e) {
duke@1 1297 throw new UncheckedIOException(e);
duke@1 1298 }
duke@1 1299 }
duke@1 1300
duke@1 1301 public void visitLetExpr(LetExpr tree) {
duke@1 1302 try {
duke@1 1303 print("(let " + tree.defs + " in " + tree.expr + ")");
duke@1 1304 } catch (IOException e) {
duke@1 1305 throw new UncheckedIOException(e);
duke@1 1306 }
duke@1 1307 }
duke@1 1308
duke@1 1309 public void visitModifiers(JCModifiers mods) {
duke@1 1310 try {
duke@1 1311 printAnnotations(mods.annotations);
duke@1 1312 printFlags(mods.flags);
duke@1 1313 } catch (IOException e) {
duke@1 1314 throw new UncheckedIOException(e);
duke@1 1315 }
duke@1 1316 }
duke@1 1317
duke@1 1318 public void visitAnnotation(JCAnnotation tree) {
duke@1 1319 try {
duke@1 1320 print("@");
duke@1 1321 printExpr(tree.annotationType);
duke@1 1322 print("(");
duke@1 1323 printExprs(tree.args);
duke@1 1324 print(")");
duke@1 1325 } catch (IOException e) {
duke@1 1326 throw new UncheckedIOException(e);
duke@1 1327 }
duke@1 1328 }
duke@1 1329
duke@1 1330 public void visitTree(JCTree tree) {
duke@1 1331 try {
duke@1 1332 print("(UNKNOWN: " + tree + ")");
duke@1 1333 println();
duke@1 1334 } catch (IOException e) {
duke@1 1335 throw new UncheckedIOException(e);
duke@1 1336 }
duke@1 1337 }
jjg@308 1338
duke@1 1339 }

mercurial