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

Mon, 14 Nov 2011 15:11:10 -0800

author
ksrini
date
Mon, 14 Nov 2011 15:11:10 -0800
changeset 1138
7375d4979bd3
parent 1127
ca49d50318dc
child 1142
c896d95e7469
permissions
-rw-r--r--

7106166: (javac) re-factor EndPos parser
Reviewed-by: jjg

duke@1 1 /*
jjg@815 2 * Copyright (c) 1999, 2011, 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.util.*;
duke@1 29
duke@1 30 import java.io.IOException;
duke@1 31 import java.io.StringWriter;
duke@1 32 import javax.lang.model.element.Modifier;
duke@1 33 import javax.lang.model.type.TypeKind;
duke@1 34 import javax.tools.JavaFileObject;
duke@1 35
duke@1 36 import com.sun.tools.javac.util.*;
duke@1 37 import com.sun.tools.javac.util.JCDiagnostic.DiagnosticPosition;
duke@1 38 import com.sun.tools.javac.util.List;
duke@1 39 import com.sun.tools.javac.code.*;
jjg@767 40 import com.sun.tools.javac.code.Scope.*;
duke@1 41 import com.sun.tools.javac.code.Symbol.*;
ksrini@1138 42 import com.sun.tools.javac.parser.EndPosTable;
duke@1 43 import com.sun.source.tree.*;
duke@1 44
duke@1 45 import static com.sun.tools.javac.code.BoundKind.*;
jjg@1127 46 import static com.sun.tools.javac.tree.JCTree.Tag.*;
duke@1 47
duke@1 48 /**
duke@1 49 * Root class for abstract syntax tree nodes. It provides definitions
duke@1 50 * for specific tree nodes as subclasses nested inside.
duke@1 51 *
duke@1 52 * <p>Each subclass is highly standardized. It generally contains
duke@1 53 * only tree fields for the syntactic subcomponents of the node. Some
duke@1 54 * classes that represent identifier uses or definitions also define a
duke@1 55 * Symbol field that denotes the represented identifier. Classes for
duke@1 56 * non-local jumps also carry the jump target as a field. The root
duke@1 57 * class Tree itself defines fields for the tree's type and position.
duke@1 58 * No other fields are kept in a tree node; instead parameters are
duke@1 59 * passed to methods accessing the node.
duke@1 60 *
duke@1 61 * <p>Except for the methods defined by com.sun.source, the only
duke@1 62 * method defined in subclasses is `visit' which applies a given
duke@1 63 * visitor to the tree. The actual tree processing is done by visitor
duke@1 64 * classes in other packages. The abstract class Visitor, as well as
duke@1 65 * an Factory interface for trees, are defined as inner classes in
duke@1 66 * Tree.
duke@1 67 *
duke@1 68 * <p>To avoid ambiguities with the Tree API in com.sun.source all sub
duke@1 69 * classes should, by convention, start with JC (javac).
duke@1 70 *
jjg@581 71 * <p><b>This is NOT part of any supported API.
duke@1 72 * If you write code that depends on this, you do so at your own risk.
duke@1 73 * This code and its internal interfaces are subject to change or
duke@1 74 * deletion without notice.</b>
duke@1 75 *
duke@1 76 * @see TreeMaker
duke@1 77 * @see TreeInfo
duke@1 78 * @see TreeTranslator
duke@1 79 * @see Pretty
duke@1 80 */
duke@1 81 public abstract class JCTree implements Tree, Cloneable, DiagnosticPosition {
duke@1 82
duke@1 83 /* Tree tag values, identifying kinds of trees */
jjg@1127 84 public enum Tag{
jjg@1127 85 /** For methods that return an invalid tag if a given condition is not met
jjg@1127 86 */
jjg@1127 87 NO_TAG,
duke@1 88
jjg@1127 89 /** Toplevel nodes, of type TopLevel, representing entire source files.
jjg@1127 90 */
jjg@1127 91 TOPLEVEL,
duke@1 92
jjg@1127 93 /** Import clauses, of type Import.
jjg@1127 94 */
jjg@1127 95 IMPORT,
duke@1 96
jjg@1127 97 /** Class definitions, of type ClassDef.
jjg@1127 98 */
jjg@1127 99 CLASSDEF,
duke@1 100
jjg@1127 101 /** Method definitions, of type MethodDef.
jjg@1127 102 */
jjg@1127 103 METHODDEF,
duke@1 104
jjg@1127 105 /** Variable definitions, of type VarDef.
jjg@1127 106 */
jjg@1127 107 VARDEF,
duke@1 108
jjg@1127 109 /** The no-op statement ";", of type Skip
jjg@1127 110 */
jjg@1127 111 SKIP,
duke@1 112
jjg@1127 113 /** Blocks, of type Block.
jjg@1127 114 */
jjg@1127 115 BLOCK,
duke@1 116
jjg@1127 117 /** Do-while loops, of type DoLoop.
jjg@1127 118 */
jjg@1127 119 DOLOOP,
duke@1 120
jjg@1127 121 /** While-loops, of type WhileLoop.
jjg@1127 122 */
jjg@1127 123 WHILELOOP,
duke@1 124
jjg@1127 125 /** For-loops, of type ForLoop.
jjg@1127 126 */
jjg@1127 127 FORLOOP,
duke@1 128
jjg@1127 129 /** Foreach-loops, of type ForeachLoop.
jjg@1127 130 */
jjg@1127 131 FOREACHLOOP,
duke@1 132
jjg@1127 133 /** Labelled statements, of type Labelled.
jjg@1127 134 */
jjg@1127 135 LABELLED,
duke@1 136
jjg@1127 137 /** Switch statements, of type Switch.
jjg@1127 138 */
jjg@1127 139 SWITCH,
duke@1 140
jjg@1127 141 /** Case parts in switch statements, of type Case.
jjg@1127 142 */
jjg@1127 143 CASE,
duke@1 144
jjg@1127 145 /** Synchronized statements, of type Synchonized.
jjg@1127 146 */
jjg@1127 147 SYNCHRONIZED,
duke@1 148
jjg@1127 149 /** Try statements, of type Try.
jjg@1127 150 */
jjg@1127 151 TRY,
duke@1 152
jjg@1127 153 /** Catch clauses in try statements, of type Catch.
jjg@1127 154 */
jjg@1127 155 CATCH,
duke@1 156
jjg@1127 157 /** Conditional expressions, of type Conditional.
jjg@1127 158 */
jjg@1127 159 CONDEXPR,
duke@1 160
jjg@1127 161 /** Conditional statements, of type If.
jjg@1127 162 */
jjg@1127 163 IF,
duke@1 164
jjg@1127 165 /** Expression statements, of type Exec.
jjg@1127 166 */
jjg@1127 167 EXEC,
duke@1 168
jjg@1127 169 /** Break statements, of type Break.
jjg@1127 170 */
jjg@1127 171 BREAK,
duke@1 172
jjg@1127 173 /** Continue statements, of type Continue.
jjg@1127 174 */
jjg@1127 175 CONTINUE,
duke@1 176
jjg@1127 177 /** Return statements, of type Return.
jjg@1127 178 */
jjg@1127 179 RETURN,
duke@1 180
jjg@1127 181 /** Throw statements, of type Throw.
jjg@1127 182 */
jjg@1127 183 THROW,
duke@1 184
jjg@1127 185 /** Assert statements, of type Assert.
jjg@1127 186 */
jjg@1127 187 ASSERT,
duke@1 188
jjg@1127 189 /** Method invocation expressions, of type Apply.
jjg@1127 190 */
jjg@1127 191 APPLY,
duke@1 192
jjg@1127 193 /** Class instance creation expressions, of type NewClass.
jjg@1127 194 */
jjg@1127 195 NEWCLASS,
duke@1 196
jjg@1127 197 /** Array creation expressions, of type NewArray.
jjg@1127 198 */
jjg@1127 199 NEWARRAY,
duke@1 200
jjg@1127 201 /** Parenthesized subexpressions, of type Parens.
jjg@1127 202 */
jjg@1127 203 PARENS,
duke@1 204
jjg@1127 205 /** Assignment expressions, of type Assign.
jjg@1127 206 */
jjg@1127 207 ASSIGN,
duke@1 208
jjg@1127 209 /** Type cast expressions, of type TypeCast.
jjg@1127 210 */
jjg@1127 211 TYPECAST,
duke@1 212
jjg@1127 213 /** Type test expressions, of type TypeTest.
jjg@1127 214 */
jjg@1127 215 TYPETEST,
duke@1 216
jjg@1127 217 /** Indexed array expressions, of type Indexed.
jjg@1127 218 */
jjg@1127 219 INDEXED,
duke@1 220
jjg@1127 221 /** Selections, of type Select.
jjg@1127 222 */
jjg@1127 223 SELECT,
duke@1 224
jjg@1127 225 /** Simple identifiers, of type Ident.
jjg@1127 226 */
jjg@1127 227 IDENT,
duke@1 228
jjg@1127 229 /** Literals, of type Literal.
jjg@1127 230 */
jjg@1127 231 LITERAL,
duke@1 232
jjg@1127 233 /** Basic type identifiers, of type TypeIdent.
jjg@1127 234 */
jjg@1127 235 TYPEIDENT,
duke@1 236
jjg@1127 237 /** Array types, of type TypeArray.
jjg@1127 238 */
jjg@1127 239 TYPEARRAY,
duke@1 240
jjg@1127 241 /** Parameterized types, of type TypeApply.
jjg@1127 242 */
jjg@1127 243 TYPEAPPLY,
duke@1 244
jjg@1127 245 /** Union types, of type TypeUnion
jjg@1127 246 */
jjg@1127 247 TYPEUNION,
mcimadamore@550 248
jjg@1127 249 /** Formal type parameters, of type TypeParameter.
jjg@1127 250 */
jjg@1127 251 TYPEPARAMETER,
duke@1 252
jjg@1127 253 /** Type argument.
jjg@1127 254 */
jjg@1127 255 WILDCARD,
duke@1 256
jjg@1127 257 /** Bound kind: extends, super, exact, or unbound
jjg@1127 258 */
jjg@1127 259 TYPEBOUNDKIND,
duke@1 260
jjg@1127 261 /** metadata: Annotation.
jjg@1127 262 */
jjg@1127 263 ANNOTATION,
duke@1 264
jjg@1127 265 /** metadata: Modifiers
jjg@1127 266 */
jjg@1127 267 MODIFIERS,
duke@1 268
jjg@1127 269 ANNOTATED_TYPE,
jjg@308 270
jjg@1127 271 /** Error trees, of type Erroneous.
jjg@1127 272 */
jjg@1127 273 ERRONEOUS,
duke@1 274
jjg@1127 275 /** Unary operators, of type Unary.
jjg@1127 276 */
jjg@1127 277 POS, // +
jjg@1127 278 NEG, // -
jjg@1127 279 NOT, // !
jjg@1127 280 COMPL, // ~
jjg@1127 281 PREINC, // ++ _
jjg@1127 282 PREDEC, // -- _
jjg@1127 283 POSTINC, // _ ++
jjg@1127 284 POSTDEC, // _ --
duke@1 285
jjg@1127 286 /** unary operator for null reference checks, only used internally.
jjg@1127 287 */
jjg@1127 288 NULLCHK,
duke@1 289
jjg@1127 290 /** Binary operators, of type Binary.
jjg@1127 291 */
jjg@1127 292 OR, // ||
jjg@1127 293 AND, // &&
jjg@1127 294 BITOR, // |
jjg@1127 295 BITXOR, // ^
jjg@1127 296 BITAND, // &
jjg@1127 297 EQ, // ==
jjg@1127 298 NE, // !=
jjg@1127 299 LT, // <
jjg@1127 300 GT, // >
jjg@1127 301 LE, // <=
jjg@1127 302 GE, // >=
jjg@1127 303 SL, // <<
jjg@1127 304 SR, // >>
jjg@1127 305 USR, // >>>
jjg@1127 306 PLUS, // +
jjg@1127 307 MINUS, // -
jjg@1127 308 MUL, // *
jjg@1127 309 DIV, // /
jjg@1127 310 MOD, // %
duke@1 311
jjg@1127 312 /** Assignment operators, of type Assignop.
jjg@1127 313 */
jjg@1127 314 BITOR_ASG(BITOR), // |=
jjg@1127 315 BITXOR_ASG(BITXOR), // ^=
jjg@1127 316 BITAND_ASG(BITAND), // &=
duke@1 317
jjg@1127 318 SL_ASG(SL), // <<=
jjg@1127 319 SR_ASG(SR), // >>=
jjg@1127 320 USR_ASG(USR), // >>>=
jjg@1127 321 PLUS_ASG(PLUS), // +=
jjg@1127 322 MINUS_ASG(MINUS), // -=
jjg@1127 323 MUL_ASG(MUL), // *=
jjg@1127 324 DIV_ASG(DIV), // /=
jjg@1127 325 MOD_ASG(MOD), // %=
duke@1 326
jjg@1127 327 /** A synthetic let expression, of type LetExpr.
jjg@1127 328 */
jjg@1127 329 LETEXPR; // ala scheme
duke@1 330
jjg@1127 331 private Tag noAssignTag;
duke@1 332
jjg@1127 333 private static int numberOfOperators = MOD.ordinal() - POS.ordinal() + 1;
jjg@1127 334
jjg@1127 335 private Tag(Tag noAssignTag) {
jjg@1127 336 this.noAssignTag = noAssignTag;
jjg@1127 337 }
jjg@1127 338
jjg@1127 339 private Tag() { }
jjg@1127 340
jjg@1127 341 public static int getNumberOfOperators() {
jjg@1127 342 return numberOfOperators;
jjg@1127 343 }
jjg@1127 344
jjg@1127 345 public Tag noAssignOp() {
jjg@1127 346 if (noAssignTag != null)
jjg@1127 347 return noAssignTag;
jjg@1127 348 throw new AssertionError("noAssignOp() method is not available for non assignment tags");
jjg@1127 349 }
jjg@1127 350
jjg@1127 351 public boolean isPostUnaryOp() {
jjg@1127 352 return (this == POSTINC || this == POSTDEC);
jjg@1127 353 }
jjg@1127 354
jjg@1127 355 public boolean isIncOrDecUnaryOp() {
jjg@1127 356 return (this == PREINC || this == PREDEC || this == POSTINC || this == POSTDEC);
jjg@1127 357 }
jjg@1127 358
jjg@1127 359 public boolean isAssignop() {
jjg@1127 360 return noAssignTag != null;
jjg@1127 361 }
jjg@1127 362
jjg@1127 363 public int operatorIndex() {
jjg@1127 364 return (this.ordinal() - POS.ordinal());
jjg@1127 365 }
jjg@1127 366 }
duke@1 367
duke@1 368 /* The (encoded) position in the source file. @see util.Position.
duke@1 369 */
duke@1 370 public int pos;
duke@1 371
duke@1 372 /* The type of this node.
duke@1 373 */
duke@1 374 public Type type;
duke@1 375
duke@1 376 /* The tag of this node -- one of the constants declared above.
duke@1 377 */
jjg@1127 378 public abstract Tag getTag();
jjg@1127 379
jjg@1127 380 /* Returns true if the tag of this node is equals to tag.
jjg@1127 381 */
jjg@1127 382 public boolean hasTag(Tag tag) {
jjg@1127 383 return tag == getTag();
jjg@1127 384 }
duke@1 385
duke@1 386 /** Convert a tree to a pretty-printed string. */
jjg@662 387 @Override
duke@1 388 public String toString() {
duke@1 389 StringWriter s = new StringWriter();
duke@1 390 try {
duke@1 391 new Pretty(s, false).printExpr(this);
duke@1 392 }
duke@1 393 catch (IOException e) {
duke@1 394 // should never happen, because StringWriter is defined
duke@1 395 // never to throw any IOExceptions
duke@1 396 throw new AssertionError(e);
duke@1 397 }
duke@1 398 return s.toString();
duke@1 399 }
duke@1 400
duke@1 401 /** Set position field and return this tree.
duke@1 402 */
duke@1 403 public JCTree setPos(int pos) {
duke@1 404 this.pos = pos;
duke@1 405 return this;
duke@1 406 }
duke@1 407
duke@1 408 /** Set type field and return this tree.
duke@1 409 */
duke@1 410 public JCTree setType(Type type) {
duke@1 411 this.type = type;
duke@1 412 return this;
duke@1 413 }
duke@1 414
duke@1 415 /** Visit this tree with a given visitor.
duke@1 416 */
duke@1 417 public abstract void accept(Visitor v);
duke@1 418
duke@1 419 public abstract <R,D> R accept(TreeVisitor<R,D> v, D d);
duke@1 420
duke@1 421 /** Return a shallow copy of this tree.
duke@1 422 */
jjg@662 423 @Override
duke@1 424 public Object clone() {
duke@1 425 try {
duke@1 426 return super.clone();
duke@1 427 } catch(CloneNotSupportedException e) {
duke@1 428 throw new RuntimeException(e);
duke@1 429 }
duke@1 430 }
duke@1 431
duke@1 432 /** Get a default position for this tree node.
duke@1 433 */
duke@1 434 public DiagnosticPosition pos() {
duke@1 435 return this;
duke@1 436 }
duke@1 437
duke@1 438 // for default DiagnosticPosition
duke@1 439 public JCTree getTree() {
duke@1 440 return this;
duke@1 441 }
duke@1 442
duke@1 443 // for default DiagnosticPosition
duke@1 444 public int getStartPosition() {
duke@1 445 return TreeInfo.getStartPos(this);
duke@1 446 }
duke@1 447
duke@1 448 // for default DiagnosticPosition
duke@1 449 public int getPreferredPosition() {
duke@1 450 return pos;
duke@1 451 }
duke@1 452
duke@1 453 // for default DiagnosticPosition
ksrini@1138 454 public int getEndPosition(EndPosTable endPosTable) {
duke@1 455 return TreeInfo.getEndPos(this, endPosTable);
duke@1 456 }
duke@1 457
duke@1 458 /**
duke@1 459 * Everything in one source file is kept in a TopLevel structure.
duke@1 460 * @param pid The tree representing the package clause.
duke@1 461 * @param sourcefile The source file name.
duke@1 462 * @param defs All definitions in this file (ClassDef, Import, and Skip)
duke@1 463 * @param packge The package it belongs to.
duke@1 464 * @param namedImportScope A scope for all named imports.
duke@1 465 * @param starImportScope A scope for all import-on-demands.
duke@1 466 * @param lineMap Line starting positions, defined only
duke@1 467 * if option -g is set.
duke@1 468 * @param docComments A hashtable that stores all documentation comments
duke@1 469 * indexed by the tree nodes they refer to.
duke@1 470 * defined only if option -s is set.
ksrini@1138 471 * @param endPositions An object encapsulating ending positions of source
duke@1 472 * ranges indexed by the tree nodes they belong to.
duke@1 473 * Defined only if option -Xjcov is set.
duke@1 474 */
duke@1 475 public static class JCCompilationUnit extends JCTree implements CompilationUnitTree {
duke@1 476 public List<JCAnnotation> packageAnnotations;
duke@1 477 public JCExpression pid;
duke@1 478 public List<JCTree> defs;
duke@1 479 public JavaFileObject sourcefile;
duke@1 480 public PackageSymbol packge;
jjg@767 481 public ImportScope namedImportScope;
jjg@767 482 public StarImportScope starImportScope;
duke@1 483 public Position.LineMap lineMap = null;
duke@1 484 public Map<JCTree, String> docComments = null;
ksrini@1138 485 public EndPosTable endPositions = null;
duke@1 486 protected JCCompilationUnit(List<JCAnnotation> packageAnnotations,
duke@1 487 JCExpression pid,
duke@1 488 List<JCTree> defs,
duke@1 489 JavaFileObject sourcefile,
duke@1 490 PackageSymbol packge,
jjg@767 491 ImportScope namedImportScope,
jjg@767 492 StarImportScope starImportScope) {
duke@1 493 this.packageAnnotations = packageAnnotations;
duke@1 494 this.pid = pid;
duke@1 495 this.defs = defs;
duke@1 496 this.sourcefile = sourcefile;
duke@1 497 this.packge = packge;
duke@1 498 this.namedImportScope = namedImportScope;
duke@1 499 this.starImportScope = starImportScope;
duke@1 500 }
duke@1 501 @Override
duke@1 502 public void accept(Visitor v) { v.visitTopLevel(this); }
duke@1 503
duke@1 504 public Kind getKind() { return Kind.COMPILATION_UNIT; }
duke@1 505 public List<JCAnnotation> getPackageAnnotations() {
duke@1 506 return packageAnnotations;
duke@1 507 }
duke@1 508 public List<JCImport> getImports() {
duke@1 509 ListBuffer<JCImport> imports = new ListBuffer<JCImport>();
duke@1 510 for (JCTree tree : defs) {
jjg@1127 511 if (tree.hasTag(IMPORT))
duke@1 512 imports.append((JCImport)tree);
jjg@1127 513 else if (!tree.hasTag(SKIP))
duke@1 514 break;
duke@1 515 }
duke@1 516 return imports.toList();
duke@1 517 }
duke@1 518 public JCExpression getPackageName() { return pid; }
duke@1 519 public JavaFileObject getSourceFile() {
duke@1 520 return sourcefile;
duke@1 521 }
duke@1 522 public Position.LineMap getLineMap() {
duke@1 523 return lineMap;
duke@1 524 }
duke@1 525 public List<JCTree> getTypeDecls() {
duke@1 526 List<JCTree> typeDefs;
duke@1 527 for (typeDefs = defs; !typeDefs.isEmpty(); typeDefs = typeDefs.tail)
jjg@1127 528 if (!typeDefs.head.hasTag(IMPORT))
duke@1 529 break;
duke@1 530 return typeDefs;
duke@1 531 }
duke@1 532 @Override
duke@1 533 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 534 return v.visitCompilationUnit(this, d);
duke@1 535 }
duke@1 536
duke@1 537 @Override
jjg@1127 538 public Tag getTag() {
duke@1 539 return TOPLEVEL;
duke@1 540 }
duke@1 541 }
duke@1 542
duke@1 543 /**
duke@1 544 * An import clause.
duke@1 545 * @param qualid The imported class(es).
duke@1 546 */
duke@1 547 public static class JCImport extends JCTree implements ImportTree {
duke@1 548 public boolean staticImport;
duke@1 549 public JCTree qualid;
duke@1 550 protected JCImport(JCTree qualid, boolean importStatic) {
duke@1 551 this.qualid = qualid;
duke@1 552 this.staticImport = importStatic;
duke@1 553 }
duke@1 554 @Override
duke@1 555 public void accept(Visitor v) { v.visitImport(this); }
duke@1 556
duke@1 557 public boolean isStatic() { return staticImport; }
duke@1 558 public JCTree getQualifiedIdentifier() { return qualid; }
duke@1 559
duke@1 560 public Kind getKind() { return Kind.IMPORT; }
duke@1 561 @Override
duke@1 562 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 563 return v.visitImport(this, d);
duke@1 564 }
duke@1 565
duke@1 566 @Override
jjg@1127 567 public Tag getTag() {
duke@1 568 return IMPORT;
duke@1 569 }
duke@1 570 }
duke@1 571
duke@1 572 public static abstract class JCStatement extends JCTree implements StatementTree {
duke@1 573 @Override
duke@1 574 public JCStatement setType(Type type) {
duke@1 575 super.setType(type);
duke@1 576 return this;
duke@1 577 }
duke@1 578 @Override
duke@1 579 public JCStatement setPos(int pos) {
duke@1 580 super.setPos(pos);
duke@1 581 return this;
duke@1 582 }
duke@1 583 }
duke@1 584
duke@1 585 public static abstract class JCExpression extends JCTree implements ExpressionTree {
duke@1 586 @Override
duke@1 587 public JCExpression setType(Type type) {
duke@1 588 super.setType(type);
duke@1 589 return this;
duke@1 590 }
duke@1 591 @Override
duke@1 592 public JCExpression setPos(int pos) {
duke@1 593 super.setPos(pos);
duke@1 594 return this;
duke@1 595 }
duke@1 596 }
duke@1 597
duke@1 598 /**
duke@1 599 * A class definition.
duke@1 600 * @param modifiers the modifiers
duke@1 601 * @param name the name of the class
duke@1 602 * @param typarams formal class parameters
duke@1 603 * @param extending the classes this class extends
duke@1 604 * @param implementing the interfaces implemented by this class
duke@1 605 * @param defs all variables and methods defined in this class
duke@1 606 * @param sym the symbol
duke@1 607 */
duke@1 608 public static class JCClassDecl extends JCStatement implements ClassTree {
duke@1 609 public JCModifiers mods;
duke@1 610 public Name name;
duke@1 611 public List<JCTypeParameter> typarams;
jjg@904 612 public JCExpression extending;
duke@1 613 public List<JCExpression> implementing;
duke@1 614 public List<JCTree> defs;
duke@1 615 public ClassSymbol sym;
duke@1 616 protected JCClassDecl(JCModifiers mods,
duke@1 617 Name name,
duke@1 618 List<JCTypeParameter> typarams,
jjg@904 619 JCExpression extending,
duke@1 620 List<JCExpression> implementing,
duke@1 621 List<JCTree> defs,
duke@1 622 ClassSymbol sym)
duke@1 623 {
duke@1 624 this.mods = mods;
duke@1 625 this.name = name;
duke@1 626 this.typarams = typarams;
duke@1 627 this.extending = extending;
duke@1 628 this.implementing = implementing;
duke@1 629 this.defs = defs;
duke@1 630 this.sym = sym;
duke@1 631 }
duke@1 632 @Override
duke@1 633 public void accept(Visitor v) { v.visitClassDef(this); }
duke@1 634
jjg@662 635 public Kind getKind() {
jjg@662 636 if ((mods.flags & Flags.ANNOTATION) != 0)
jjg@662 637 return Kind.ANNOTATION_TYPE;
jjg@662 638 else if ((mods.flags & Flags.INTERFACE) != 0)
jjg@662 639 return Kind.INTERFACE;
jjg@662 640 else if ((mods.flags & Flags.ENUM) != 0)
jjg@662 641 return Kind.ENUM;
jjg@662 642 else
jjg@662 643 return Kind.CLASS;
jjg@662 644 }
jjg@662 645
duke@1 646 public JCModifiers getModifiers() { return mods; }
duke@1 647 public Name getSimpleName() { return name; }
duke@1 648 public List<JCTypeParameter> getTypeParameters() {
duke@1 649 return typarams;
duke@1 650 }
duke@1 651 public JCTree getExtendsClause() { return extending; }
duke@1 652 public List<JCExpression> getImplementsClause() {
duke@1 653 return implementing;
duke@1 654 }
duke@1 655 public List<JCTree> getMembers() {
duke@1 656 return defs;
duke@1 657 }
duke@1 658 @Override
duke@1 659 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 660 return v.visitClass(this, d);
duke@1 661 }
duke@1 662
duke@1 663 @Override
jjg@1127 664 public Tag getTag() {
duke@1 665 return CLASSDEF;
duke@1 666 }
duke@1 667 }
duke@1 668
duke@1 669 /**
duke@1 670 * A method definition.
duke@1 671 * @param modifiers method modifiers
duke@1 672 * @param name method name
duke@1 673 * @param restype type of method return value
duke@1 674 * @param typarams type parameters
duke@1 675 * @param params value parameters
duke@1 676 * @param thrown exceptions thrown by this method
duke@1 677 * @param stats statements in the method
duke@1 678 * @param sym method symbol
duke@1 679 */
duke@1 680 public static class JCMethodDecl extends JCTree implements MethodTree {
duke@1 681 public JCModifiers mods;
duke@1 682 public Name name;
duke@1 683 public JCExpression restype;
duke@1 684 public List<JCTypeParameter> typarams;
duke@1 685 public List<JCVariableDecl> params;
duke@1 686 public List<JCExpression> thrown;
duke@1 687 public JCBlock body;
duke@1 688 public JCExpression defaultValue; // for annotation types
duke@1 689 public MethodSymbol sym;
duke@1 690 protected JCMethodDecl(JCModifiers mods,
duke@1 691 Name name,
duke@1 692 JCExpression restype,
duke@1 693 List<JCTypeParameter> typarams,
duke@1 694 List<JCVariableDecl> params,
duke@1 695 List<JCExpression> thrown,
duke@1 696 JCBlock body,
duke@1 697 JCExpression defaultValue,
duke@1 698 MethodSymbol sym)
duke@1 699 {
duke@1 700 this.mods = mods;
duke@1 701 this.name = name;
duke@1 702 this.restype = restype;
duke@1 703 this.typarams = typarams;
duke@1 704 this.params = params;
duke@1 705 this.thrown = thrown;
duke@1 706 this.body = body;
duke@1 707 this.defaultValue = defaultValue;
duke@1 708 this.sym = sym;
duke@1 709 }
duke@1 710 @Override
duke@1 711 public void accept(Visitor v) { v.visitMethodDef(this); }
duke@1 712
duke@1 713 public Kind getKind() { return Kind.METHOD; }
duke@1 714 public JCModifiers getModifiers() { return mods; }
duke@1 715 public Name getName() { return name; }
duke@1 716 public JCTree getReturnType() { return restype; }
duke@1 717 public List<JCTypeParameter> getTypeParameters() {
duke@1 718 return typarams;
duke@1 719 }
duke@1 720 public List<JCVariableDecl> getParameters() {
duke@1 721 return params;
duke@1 722 }
duke@1 723 public List<JCExpression> getThrows() {
duke@1 724 return thrown;
duke@1 725 }
duke@1 726 public JCBlock getBody() { return body; }
duke@1 727 public JCTree getDefaultValue() { // for annotation types
duke@1 728 return defaultValue;
duke@1 729 }
duke@1 730 @Override
duke@1 731 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 732 return v.visitMethod(this, d);
duke@1 733 }
duke@1 734
duke@1 735 @Override
jjg@1127 736 public Tag getTag() {
duke@1 737 return METHODDEF;
duke@1 738 }
duke@1 739 }
duke@1 740
duke@1 741 /**
duke@1 742 * A variable definition.
duke@1 743 * @param modifiers variable modifiers
duke@1 744 * @param name variable name
duke@1 745 * @param vartype type of the variable
duke@1 746 * @param init variables initial value
duke@1 747 * @param sym symbol
duke@1 748 */
duke@1 749 public static class JCVariableDecl extends JCStatement implements VariableTree {
duke@1 750 public JCModifiers mods;
duke@1 751 public Name name;
duke@1 752 public JCExpression vartype;
duke@1 753 public JCExpression init;
duke@1 754 public VarSymbol sym;
duke@1 755 protected JCVariableDecl(JCModifiers mods,
duke@1 756 Name name,
duke@1 757 JCExpression vartype,
duke@1 758 JCExpression init,
duke@1 759 VarSymbol sym) {
duke@1 760 this.mods = mods;
duke@1 761 this.name = name;
duke@1 762 this.vartype = vartype;
duke@1 763 this.init = init;
duke@1 764 this.sym = sym;
duke@1 765 }
duke@1 766 @Override
duke@1 767 public void accept(Visitor v) { v.visitVarDef(this); }
duke@1 768
duke@1 769 public Kind getKind() { return Kind.VARIABLE; }
duke@1 770 public JCModifiers getModifiers() { return mods; }
duke@1 771 public Name getName() { return name; }
duke@1 772 public JCTree getType() { return vartype; }
duke@1 773 public JCExpression getInitializer() {
duke@1 774 return init;
duke@1 775 }
duke@1 776 @Override
duke@1 777 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 778 return v.visitVariable(this, d);
duke@1 779 }
duke@1 780
duke@1 781 @Override
jjg@1127 782 public Tag getTag() {
duke@1 783 return VARDEF;
duke@1 784 }
duke@1 785 }
duke@1 786
duke@1 787 /**
duke@1 788 * A no-op statement ";".
duke@1 789 */
duke@1 790 public static class JCSkip extends JCStatement implements EmptyStatementTree {
duke@1 791 protected JCSkip() {
duke@1 792 }
duke@1 793 @Override
duke@1 794 public void accept(Visitor v) { v.visitSkip(this); }
duke@1 795
duke@1 796 public Kind getKind() { return Kind.EMPTY_STATEMENT; }
duke@1 797 @Override
duke@1 798 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 799 return v.visitEmptyStatement(this, d);
duke@1 800 }
duke@1 801
duke@1 802 @Override
jjg@1127 803 public Tag getTag() {
duke@1 804 return SKIP;
duke@1 805 }
duke@1 806 }
duke@1 807
duke@1 808 /**
duke@1 809 * A statement block.
duke@1 810 * @param stats statements
duke@1 811 * @param flags flags
duke@1 812 */
duke@1 813 public static class JCBlock extends JCStatement implements BlockTree {
duke@1 814 public long flags;
duke@1 815 public List<JCStatement> stats;
duke@1 816 /** Position of closing brace, optional. */
duke@1 817 public int endpos = Position.NOPOS;
duke@1 818 protected JCBlock(long flags, List<JCStatement> stats) {
duke@1 819 this.stats = stats;
duke@1 820 this.flags = flags;
duke@1 821 }
duke@1 822 @Override
duke@1 823 public void accept(Visitor v) { v.visitBlock(this); }
duke@1 824
duke@1 825 public Kind getKind() { return Kind.BLOCK; }
duke@1 826 public List<JCStatement> getStatements() {
duke@1 827 return stats;
duke@1 828 }
duke@1 829 public boolean isStatic() { return (flags & Flags.STATIC) != 0; }
duke@1 830 @Override
duke@1 831 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 832 return v.visitBlock(this, d);
duke@1 833 }
duke@1 834
duke@1 835 @Override
jjg@1127 836 public Tag getTag() {
duke@1 837 return BLOCK;
duke@1 838 }
duke@1 839 }
duke@1 840
duke@1 841 /**
duke@1 842 * A do loop
duke@1 843 */
duke@1 844 public static class JCDoWhileLoop extends JCStatement implements DoWhileLoopTree {
duke@1 845 public JCStatement body;
duke@1 846 public JCExpression cond;
duke@1 847 protected JCDoWhileLoop(JCStatement body, JCExpression cond) {
duke@1 848 this.body = body;
duke@1 849 this.cond = cond;
duke@1 850 }
duke@1 851 @Override
duke@1 852 public void accept(Visitor v) { v.visitDoLoop(this); }
duke@1 853
duke@1 854 public Kind getKind() { return Kind.DO_WHILE_LOOP; }
duke@1 855 public JCExpression getCondition() { return cond; }
duke@1 856 public JCStatement getStatement() { return body; }
duke@1 857 @Override
duke@1 858 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 859 return v.visitDoWhileLoop(this, d);
duke@1 860 }
duke@1 861
duke@1 862 @Override
jjg@1127 863 public Tag getTag() {
duke@1 864 return DOLOOP;
duke@1 865 }
duke@1 866 }
duke@1 867
duke@1 868 /**
duke@1 869 * A while loop
duke@1 870 */
duke@1 871 public static class JCWhileLoop extends JCStatement implements WhileLoopTree {
duke@1 872 public JCExpression cond;
duke@1 873 public JCStatement body;
duke@1 874 protected JCWhileLoop(JCExpression cond, JCStatement body) {
duke@1 875 this.cond = cond;
duke@1 876 this.body = body;
duke@1 877 }
duke@1 878 @Override
duke@1 879 public void accept(Visitor v) { v.visitWhileLoop(this); }
duke@1 880
duke@1 881 public Kind getKind() { return Kind.WHILE_LOOP; }
duke@1 882 public JCExpression getCondition() { return cond; }
duke@1 883 public JCStatement getStatement() { return body; }
duke@1 884 @Override
duke@1 885 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 886 return v.visitWhileLoop(this, d);
duke@1 887 }
duke@1 888
duke@1 889 @Override
jjg@1127 890 public Tag getTag() {
duke@1 891 return WHILELOOP;
duke@1 892 }
duke@1 893 }
duke@1 894
duke@1 895 /**
duke@1 896 * A for loop.
duke@1 897 */
duke@1 898 public static class JCForLoop extends JCStatement implements ForLoopTree {
duke@1 899 public List<JCStatement> init;
duke@1 900 public JCExpression cond;
duke@1 901 public List<JCExpressionStatement> step;
duke@1 902 public JCStatement body;
duke@1 903 protected JCForLoop(List<JCStatement> init,
duke@1 904 JCExpression cond,
duke@1 905 List<JCExpressionStatement> update,
duke@1 906 JCStatement body)
duke@1 907 {
duke@1 908 this.init = init;
duke@1 909 this.cond = cond;
duke@1 910 this.step = update;
duke@1 911 this.body = body;
duke@1 912 }
duke@1 913 @Override
duke@1 914 public void accept(Visitor v) { v.visitForLoop(this); }
duke@1 915
duke@1 916 public Kind getKind() { return Kind.FOR_LOOP; }
duke@1 917 public JCExpression getCondition() { return cond; }
duke@1 918 public JCStatement getStatement() { return body; }
duke@1 919 public List<JCStatement> getInitializer() {
duke@1 920 return init;
duke@1 921 }
duke@1 922 public List<JCExpressionStatement> getUpdate() {
duke@1 923 return step;
duke@1 924 }
duke@1 925 @Override
duke@1 926 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 927 return v.visitForLoop(this, d);
duke@1 928 }
duke@1 929
duke@1 930 @Override
jjg@1127 931 public Tag getTag() {
duke@1 932 return FORLOOP;
duke@1 933 }
duke@1 934 }
duke@1 935
duke@1 936 /**
duke@1 937 * The enhanced for loop.
duke@1 938 */
duke@1 939 public static class JCEnhancedForLoop extends JCStatement implements EnhancedForLoopTree {
duke@1 940 public JCVariableDecl var;
duke@1 941 public JCExpression expr;
duke@1 942 public JCStatement body;
duke@1 943 protected JCEnhancedForLoop(JCVariableDecl var, JCExpression expr, JCStatement body) {
duke@1 944 this.var = var;
duke@1 945 this.expr = expr;
duke@1 946 this.body = body;
duke@1 947 }
duke@1 948 @Override
duke@1 949 public void accept(Visitor v) { v.visitForeachLoop(this); }
duke@1 950
duke@1 951 public Kind getKind() { return Kind.ENHANCED_FOR_LOOP; }
duke@1 952 public JCVariableDecl getVariable() { return var; }
duke@1 953 public JCExpression getExpression() { return expr; }
duke@1 954 public JCStatement getStatement() { return body; }
duke@1 955 @Override
duke@1 956 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 957 return v.visitEnhancedForLoop(this, d);
duke@1 958 }
duke@1 959 @Override
jjg@1127 960 public Tag getTag() {
duke@1 961 return FOREACHLOOP;
duke@1 962 }
duke@1 963 }
duke@1 964
duke@1 965 /**
duke@1 966 * A labelled expression or statement.
duke@1 967 */
duke@1 968 public static class JCLabeledStatement extends JCStatement implements LabeledStatementTree {
duke@1 969 public Name label;
duke@1 970 public JCStatement body;
duke@1 971 protected JCLabeledStatement(Name label, JCStatement body) {
duke@1 972 this.label = label;
duke@1 973 this.body = body;
duke@1 974 }
duke@1 975 @Override
duke@1 976 public void accept(Visitor v) { v.visitLabelled(this); }
duke@1 977 public Kind getKind() { return Kind.LABELED_STATEMENT; }
duke@1 978 public Name getLabel() { return label; }
duke@1 979 public JCStatement getStatement() { return body; }
duke@1 980 @Override
duke@1 981 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 982 return v.visitLabeledStatement(this, d);
duke@1 983 }
duke@1 984 @Override
jjg@1127 985 public Tag getTag() {
duke@1 986 return LABELLED;
duke@1 987 }
duke@1 988 }
duke@1 989
duke@1 990 /**
duke@1 991 * A "switch ( ) { }" construction.
duke@1 992 */
duke@1 993 public static class JCSwitch extends JCStatement implements SwitchTree {
duke@1 994 public JCExpression selector;
duke@1 995 public List<JCCase> cases;
duke@1 996 protected JCSwitch(JCExpression selector, List<JCCase> cases) {
duke@1 997 this.selector = selector;
duke@1 998 this.cases = cases;
duke@1 999 }
duke@1 1000 @Override
duke@1 1001 public void accept(Visitor v) { v.visitSwitch(this); }
duke@1 1002
duke@1 1003 public Kind getKind() { return Kind.SWITCH; }
duke@1 1004 public JCExpression getExpression() { return selector; }
duke@1 1005 public List<JCCase> getCases() { return cases; }
duke@1 1006 @Override
duke@1 1007 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1008 return v.visitSwitch(this, d);
duke@1 1009 }
duke@1 1010 @Override
jjg@1127 1011 public Tag getTag() {
duke@1 1012 return SWITCH;
duke@1 1013 }
duke@1 1014 }
duke@1 1015
duke@1 1016 /**
duke@1 1017 * A "case :" of a switch.
duke@1 1018 */
duke@1 1019 public static class JCCase extends JCStatement implements CaseTree {
duke@1 1020 public JCExpression pat;
duke@1 1021 public List<JCStatement> stats;
duke@1 1022 protected JCCase(JCExpression pat, List<JCStatement> stats) {
duke@1 1023 this.pat = pat;
duke@1 1024 this.stats = stats;
duke@1 1025 }
duke@1 1026 @Override
duke@1 1027 public void accept(Visitor v) { v.visitCase(this); }
duke@1 1028
duke@1 1029 public Kind getKind() { return Kind.CASE; }
duke@1 1030 public JCExpression getExpression() { return pat; }
duke@1 1031 public List<JCStatement> getStatements() { return stats; }
duke@1 1032 @Override
duke@1 1033 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1034 return v.visitCase(this, d);
duke@1 1035 }
duke@1 1036 @Override
jjg@1127 1037 public Tag getTag() {
duke@1 1038 return CASE;
duke@1 1039 }
duke@1 1040 }
duke@1 1041
duke@1 1042 /**
duke@1 1043 * A synchronized block.
duke@1 1044 */
duke@1 1045 public static class JCSynchronized extends JCStatement implements SynchronizedTree {
duke@1 1046 public JCExpression lock;
duke@1 1047 public JCBlock body;
duke@1 1048 protected JCSynchronized(JCExpression lock, JCBlock body) {
duke@1 1049 this.lock = lock;
duke@1 1050 this.body = body;
duke@1 1051 }
duke@1 1052 @Override
duke@1 1053 public void accept(Visitor v) { v.visitSynchronized(this); }
duke@1 1054
duke@1 1055 public Kind getKind() { return Kind.SYNCHRONIZED; }
duke@1 1056 public JCExpression getExpression() { return lock; }
duke@1 1057 public JCBlock getBlock() { return body; }
duke@1 1058 @Override
duke@1 1059 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1060 return v.visitSynchronized(this, d);
duke@1 1061 }
duke@1 1062 @Override
jjg@1127 1063 public Tag getTag() {
duke@1 1064 return SYNCHRONIZED;
duke@1 1065 }
duke@1 1066 }
duke@1 1067
duke@1 1068 /**
duke@1 1069 * A "try { } catch ( ) { } finally { }" block.
duke@1 1070 */
duke@1 1071 public static class JCTry extends JCStatement implements TryTree {
duke@1 1072 public JCBlock body;
duke@1 1073 public List<JCCatch> catchers;
duke@1 1074 public JCBlock finalizer;
darcy@609 1075 public List<JCTree> resources;
darcy@609 1076 protected JCTry(List<JCTree> resources,
darcy@609 1077 JCBlock body,
darcy@609 1078 List<JCCatch> catchers,
darcy@609 1079 JCBlock finalizer) {
duke@1 1080 this.body = body;
duke@1 1081 this.catchers = catchers;
duke@1 1082 this.finalizer = finalizer;
darcy@609 1083 this.resources = resources;
duke@1 1084 }
duke@1 1085 @Override
duke@1 1086 public void accept(Visitor v) { v.visitTry(this); }
duke@1 1087
duke@1 1088 public Kind getKind() { return Kind.TRY; }
duke@1 1089 public JCBlock getBlock() { return body; }
duke@1 1090 public List<JCCatch> getCatches() {
duke@1 1091 return catchers;
duke@1 1092 }
duke@1 1093 public JCBlock getFinallyBlock() { return finalizer; }
duke@1 1094 @Override
duke@1 1095 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1096 return v.visitTry(this, d);
duke@1 1097 }
duke@1 1098 @Override
darcy@609 1099 public List<? extends JCTree> getResources() {
darcy@609 1100 return resources;
darcy@609 1101 }
darcy@609 1102 @Override
jjg@1127 1103 public Tag getTag() {
duke@1 1104 return TRY;
duke@1 1105 }
duke@1 1106 }
duke@1 1107
duke@1 1108 /**
duke@1 1109 * A catch block.
duke@1 1110 */
duke@1 1111 public static class JCCatch extends JCTree implements CatchTree {
duke@1 1112 public JCVariableDecl param;
duke@1 1113 public JCBlock body;
duke@1 1114 protected JCCatch(JCVariableDecl param, JCBlock body) {
duke@1 1115 this.param = param;
duke@1 1116 this.body = body;
duke@1 1117 }
duke@1 1118 @Override
duke@1 1119 public void accept(Visitor v) { v.visitCatch(this); }
duke@1 1120
duke@1 1121 public Kind getKind() { return Kind.CATCH; }
duke@1 1122 public JCVariableDecl getParameter() { return param; }
duke@1 1123 public JCBlock getBlock() { return body; }
duke@1 1124 @Override
duke@1 1125 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1126 return v.visitCatch(this, d);
duke@1 1127 }
duke@1 1128 @Override
jjg@1127 1129 public Tag getTag() {
duke@1 1130 return CATCH;
duke@1 1131 }
duke@1 1132 }
duke@1 1133
duke@1 1134 /**
duke@1 1135 * A ( ) ? ( ) : ( ) conditional expression
duke@1 1136 */
duke@1 1137 public static class JCConditional extends JCExpression implements ConditionalExpressionTree {
duke@1 1138 public JCExpression cond;
duke@1 1139 public JCExpression truepart;
duke@1 1140 public JCExpression falsepart;
duke@1 1141 protected JCConditional(JCExpression cond,
duke@1 1142 JCExpression truepart,
duke@1 1143 JCExpression falsepart)
duke@1 1144 {
duke@1 1145 this.cond = cond;
duke@1 1146 this.truepart = truepart;
duke@1 1147 this.falsepart = falsepart;
duke@1 1148 }
duke@1 1149 @Override
duke@1 1150 public void accept(Visitor v) { v.visitConditional(this); }
duke@1 1151
duke@1 1152 public Kind getKind() { return Kind.CONDITIONAL_EXPRESSION; }
duke@1 1153 public JCExpression getCondition() { return cond; }
duke@1 1154 public JCExpression getTrueExpression() { return truepart; }
duke@1 1155 public JCExpression getFalseExpression() { return falsepart; }
duke@1 1156 @Override
duke@1 1157 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1158 return v.visitConditionalExpression(this, d);
duke@1 1159 }
duke@1 1160 @Override
jjg@1127 1161 public Tag getTag() {
duke@1 1162 return CONDEXPR;
duke@1 1163 }
duke@1 1164 }
duke@1 1165
duke@1 1166 /**
duke@1 1167 * An "if ( ) { } else { }" block
duke@1 1168 */
duke@1 1169 public static class JCIf extends JCStatement implements IfTree {
duke@1 1170 public JCExpression cond;
duke@1 1171 public JCStatement thenpart;
duke@1 1172 public JCStatement elsepart;
duke@1 1173 protected JCIf(JCExpression cond,
duke@1 1174 JCStatement thenpart,
duke@1 1175 JCStatement elsepart)
duke@1 1176 {
duke@1 1177 this.cond = cond;
duke@1 1178 this.thenpart = thenpart;
duke@1 1179 this.elsepart = elsepart;
duke@1 1180 }
duke@1 1181 @Override
duke@1 1182 public void accept(Visitor v) { v.visitIf(this); }
duke@1 1183
duke@1 1184 public Kind getKind() { return Kind.IF; }
duke@1 1185 public JCExpression getCondition() { return cond; }
duke@1 1186 public JCStatement getThenStatement() { return thenpart; }
duke@1 1187 public JCStatement getElseStatement() { return elsepart; }
duke@1 1188 @Override
duke@1 1189 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1190 return v.visitIf(this, d);
duke@1 1191 }
duke@1 1192 @Override
jjg@1127 1193 public Tag getTag() {
duke@1 1194 return IF;
duke@1 1195 }
duke@1 1196 }
duke@1 1197
duke@1 1198 /**
duke@1 1199 * an expression statement
duke@1 1200 * @param expr expression structure
duke@1 1201 */
duke@1 1202 public static class JCExpressionStatement extends JCStatement implements ExpressionStatementTree {
duke@1 1203 public JCExpression expr;
duke@1 1204 protected JCExpressionStatement(JCExpression expr)
duke@1 1205 {
duke@1 1206 this.expr = expr;
duke@1 1207 }
duke@1 1208 @Override
duke@1 1209 public void accept(Visitor v) { v.visitExec(this); }
duke@1 1210
duke@1 1211 public Kind getKind() { return Kind.EXPRESSION_STATEMENT; }
duke@1 1212 public JCExpression getExpression() { return expr; }
duke@1 1213 @Override
duke@1 1214 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1215 return v.visitExpressionStatement(this, d);
duke@1 1216 }
duke@1 1217 @Override
jjg@1127 1218 public Tag getTag() {
duke@1 1219 return EXEC;
duke@1 1220 }
jjg@1091 1221
jjg@1091 1222 /** Convert a expression-statement tree to a pretty-printed string. */
jjg@1091 1223 @Override
jjg@1091 1224 public String toString() {
jjg@1091 1225 StringWriter s = new StringWriter();
jjg@1091 1226 try {
jjg@1091 1227 new Pretty(s, false).printStat(this);
jjg@1091 1228 }
jjg@1091 1229 catch (IOException e) {
jjg@1091 1230 // should never happen, because StringWriter is defined
jjg@1091 1231 // never to throw any IOExceptions
jjg@1091 1232 throw new AssertionError(e);
jjg@1091 1233 }
jjg@1091 1234 return s.toString();
jjg@1091 1235 }
duke@1 1236 }
duke@1 1237
duke@1 1238 /**
duke@1 1239 * A break from a loop or switch.
duke@1 1240 */
duke@1 1241 public static class JCBreak extends JCStatement implements BreakTree {
duke@1 1242 public Name label;
duke@1 1243 public JCTree target;
duke@1 1244 protected JCBreak(Name label, JCTree target) {
duke@1 1245 this.label = label;
duke@1 1246 this.target = target;
duke@1 1247 }
duke@1 1248 @Override
duke@1 1249 public void accept(Visitor v) { v.visitBreak(this); }
duke@1 1250
duke@1 1251 public Kind getKind() { return Kind.BREAK; }
duke@1 1252 public Name getLabel() { return label; }
duke@1 1253 @Override
duke@1 1254 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1255 return v.visitBreak(this, d);
duke@1 1256 }
duke@1 1257 @Override
jjg@1127 1258 public Tag getTag() {
duke@1 1259 return BREAK;
duke@1 1260 }
duke@1 1261 }
duke@1 1262
duke@1 1263 /**
duke@1 1264 * A continue of a loop.
duke@1 1265 */
duke@1 1266 public static class JCContinue extends JCStatement implements ContinueTree {
duke@1 1267 public Name label;
duke@1 1268 public JCTree target;
duke@1 1269 protected JCContinue(Name label, JCTree target) {
duke@1 1270 this.label = label;
duke@1 1271 this.target = target;
duke@1 1272 }
duke@1 1273 @Override
duke@1 1274 public void accept(Visitor v) { v.visitContinue(this); }
duke@1 1275
duke@1 1276 public Kind getKind() { return Kind.CONTINUE; }
duke@1 1277 public Name getLabel() { return label; }
duke@1 1278 @Override
duke@1 1279 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1280 return v.visitContinue(this, d);
duke@1 1281 }
duke@1 1282 @Override
jjg@1127 1283 public Tag getTag() {
duke@1 1284 return CONTINUE;
duke@1 1285 }
duke@1 1286 }
duke@1 1287
duke@1 1288 /**
duke@1 1289 * A return statement.
duke@1 1290 */
duke@1 1291 public static class JCReturn extends JCStatement implements ReturnTree {
duke@1 1292 public JCExpression expr;
duke@1 1293 protected JCReturn(JCExpression expr) {
duke@1 1294 this.expr = expr;
duke@1 1295 }
duke@1 1296 @Override
duke@1 1297 public void accept(Visitor v) { v.visitReturn(this); }
duke@1 1298
duke@1 1299 public Kind getKind() { return Kind.RETURN; }
duke@1 1300 public JCExpression getExpression() { return expr; }
duke@1 1301 @Override
duke@1 1302 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1303 return v.visitReturn(this, d);
duke@1 1304 }
duke@1 1305 @Override
jjg@1127 1306 public Tag getTag() {
duke@1 1307 return RETURN;
duke@1 1308 }
duke@1 1309 }
duke@1 1310
duke@1 1311 /**
duke@1 1312 * A throw statement.
duke@1 1313 */
duke@1 1314 public static class JCThrow extends JCStatement implements ThrowTree {
duke@1 1315 public JCExpression expr;
duke@1 1316 protected JCThrow(JCTree expr) {
duke@1 1317 this.expr = (JCExpression)expr;
duke@1 1318 }
duke@1 1319 @Override
duke@1 1320 public void accept(Visitor v) { v.visitThrow(this); }
duke@1 1321
duke@1 1322 public Kind getKind() { return Kind.THROW; }
duke@1 1323 public JCExpression getExpression() { return expr; }
duke@1 1324 @Override
duke@1 1325 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1326 return v.visitThrow(this, d);
duke@1 1327 }
duke@1 1328 @Override
jjg@1127 1329 public Tag getTag() {
duke@1 1330 return THROW;
duke@1 1331 }
duke@1 1332 }
duke@1 1333
duke@1 1334 /**
duke@1 1335 * An assert statement.
duke@1 1336 */
duke@1 1337 public static class JCAssert extends JCStatement implements AssertTree {
duke@1 1338 public JCExpression cond;
duke@1 1339 public JCExpression detail;
duke@1 1340 protected JCAssert(JCExpression cond, JCExpression detail) {
duke@1 1341 this.cond = cond;
duke@1 1342 this.detail = detail;
duke@1 1343 }
duke@1 1344 @Override
duke@1 1345 public void accept(Visitor v) { v.visitAssert(this); }
duke@1 1346
duke@1 1347 public Kind getKind() { return Kind.ASSERT; }
duke@1 1348 public JCExpression getCondition() { return cond; }
duke@1 1349 public JCExpression getDetail() { return detail; }
duke@1 1350 @Override
duke@1 1351 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1352 return v.visitAssert(this, d);
duke@1 1353 }
duke@1 1354 @Override
jjg@1127 1355 public Tag getTag() {
duke@1 1356 return ASSERT;
duke@1 1357 }
duke@1 1358 }
duke@1 1359
duke@1 1360 /**
duke@1 1361 * A method invocation
duke@1 1362 */
duke@1 1363 public static class JCMethodInvocation extends JCExpression implements MethodInvocationTree {
duke@1 1364 public List<JCExpression> typeargs;
duke@1 1365 public JCExpression meth;
duke@1 1366 public List<JCExpression> args;
duke@1 1367 public Type varargsElement;
duke@1 1368 protected JCMethodInvocation(List<JCExpression> typeargs,
duke@1 1369 JCExpression meth,
duke@1 1370 List<JCExpression> args)
duke@1 1371 {
duke@1 1372 this.typeargs = (typeargs == null) ? List.<JCExpression>nil()
duke@1 1373 : typeargs;
duke@1 1374 this.meth = meth;
duke@1 1375 this.args = args;
duke@1 1376 }
duke@1 1377 @Override
duke@1 1378 public void accept(Visitor v) { v.visitApply(this); }
duke@1 1379
duke@1 1380 public Kind getKind() { return Kind.METHOD_INVOCATION; }
duke@1 1381 public List<JCExpression> getTypeArguments() {
duke@1 1382 return typeargs;
duke@1 1383 }
duke@1 1384 public JCExpression getMethodSelect() { return meth; }
duke@1 1385 public List<JCExpression> getArguments() {
duke@1 1386 return args;
duke@1 1387 }
duke@1 1388 @Override
duke@1 1389 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1390 return v.visitMethodInvocation(this, d);
duke@1 1391 }
duke@1 1392 @Override
duke@1 1393 public JCMethodInvocation setType(Type type) {
duke@1 1394 super.setType(type);
duke@1 1395 return this;
duke@1 1396 }
duke@1 1397 @Override
jjg@1127 1398 public Tag getTag() {
duke@1 1399 return(APPLY);
duke@1 1400 }
duke@1 1401 }
duke@1 1402
duke@1 1403 /**
duke@1 1404 * A new(...) operation.
duke@1 1405 */
duke@1 1406 public static class JCNewClass extends JCExpression implements NewClassTree {
duke@1 1407 public JCExpression encl;
duke@1 1408 public List<JCExpression> typeargs;
duke@1 1409 public JCExpression clazz;
duke@1 1410 public List<JCExpression> args;
duke@1 1411 public JCClassDecl def;
duke@1 1412 public Symbol constructor;
duke@1 1413 public Type varargsElement;
mcimadamore@186 1414 public Type constructorType;
duke@1 1415 protected JCNewClass(JCExpression encl,
duke@1 1416 List<JCExpression> typeargs,
duke@1 1417 JCExpression clazz,
duke@1 1418 List<JCExpression> args,
duke@1 1419 JCClassDecl def)
duke@1 1420 {
duke@1 1421 this.encl = encl;
duke@1 1422 this.typeargs = (typeargs == null) ? List.<JCExpression>nil()
duke@1 1423 : typeargs;
duke@1 1424 this.clazz = clazz;
duke@1 1425 this.args = args;
duke@1 1426 this.def = def;
duke@1 1427 }
duke@1 1428 @Override
duke@1 1429 public void accept(Visitor v) { v.visitNewClass(this); }
duke@1 1430
duke@1 1431 public Kind getKind() { return Kind.NEW_CLASS; }
duke@1 1432 public JCExpression getEnclosingExpression() { // expr.new C< ... > ( ... )
duke@1 1433 return encl;
duke@1 1434 }
duke@1 1435 public List<JCExpression> getTypeArguments() {
duke@1 1436 return typeargs;
duke@1 1437 }
duke@1 1438 public JCExpression getIdentifier() { return clazz; }
duke@1 1439 public List<JCExpression> getArguments() {
duke@1 1440 return args;
duke@1 1441 }
duke@1 1442 public JCClassDecl getClassBody() { return def; }
duke@1 1443 @Override
duke@1 1444 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1445 return v.visitNewClass(this, d);
duke@1 1446 }
duke@1 1447 @Override
jjg@1127 1448 public Tag getTag() {
duke@1 1449 return NEWCLASS;
duke@1 1450 }
duke@1 1451 }
duke@1 1452
duke@1 1453 /**
duke@1 1454 * A new[...] operation.
duke@1 1455 */
duke@1 1456 public static class JCNewArray extends JCExpression implements NewArrayTree {
duke@1 1457 public JCExpression elemtype;
duke@1 1458 public List<JCExpression> dims;
duke@1 1459 public List<JCExpression> elems;
duke@1 1460 protected JCNewArray(JCExpression elemtype,
duke@1 1461 List<JCExpression> dims,
duke@1 1462 List<JCExpression> elems)
duke@1 1463 {
duke@1 1464 this.elemtype = elemtype;
duke@1 1465 this.dims = dims;
duke@1 1466 this.elems = elems;
duke@1 1467 }
duke@1 1468 @Override
duke@1 1469 public void accept(Visitor v) { v.visitNewArray(this); }
duke@1 1470
duke@1 1471 public Kind getKind() { return Kind.NEW_ARRAY; }
duke@1 1472 public JCExpression getType() { return elemtype; }
duke@1 1473 public List<JCExpression> getDimensions() {
duke@1 1474 return dims;
duke@1 1475 }
duke@1 1476 public List<JCExpression> getInitializers() {
duke@1 1477 return elems;
duke@1 1478 }
duke@1 1479 @Override
duke@1 1480 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1481 return v.visitNewArray(this, d);
duke@1 1482 }
duke@1 1483 @Override
jjg@1127 1484 public Tag getTag() {
duke@1 1485 return NEWARRAY;
duke@1 1486 }
duke@1 1487 }
duke@1 1488
duke@1 1489 /**
duke@1 1490 * A parenthesized subexpression ( ... )
duke@1 1491 */
duke@1 1492 public static class JCParens extends JCExpression implements ParenthesizedTree {
duke@1 1493 public JCExpression expr;
duke@1 1494 protected JCParens(JCExpression expr) {
duke@1 1495 this.expr = expr;
duke@1 1496 }
duke@1 1497 @Override
duke@1 1498 public void accept(Visitor v) { v.visitParens(this); }
duke@1 1499
duke@1 1500 public Kind getKind() { return Kind.PARENTHESIZED; }
duke@1 1501 public JCExpression getExpression() { return expr; }
duke@1 1502 @Override
duke@1 1503 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1504 return v.visitParenthesized(this, d);
duke@1 1505 }
duke@1 1506 @Override
jjg@1127 1507 public Tag getTag() {
duke@1 1508 return PARENS;
duke@1 1509 }
duke@1 1510 }
duke@1 1511
duke@1 1512 /**
duke@1 1513 * A assignment with "=".
duke@1 1514 */
duke@1 1515 public static class JCAssign extends JCExpression implements AssignmentTree {
duke@1 1516 public JCExpression lhs;
duke@1 1517 public JCExpression rhs;
duke@1 1518 protected JCAssign(JCExpression lhs, JCExpression rhs) {
duke@1 1519 this.lhs = lhs;
duke@1 1520 this.rhs = rhs;
duke@1 1521 }
duke@1 1522 @Override
duke@1 1523 public void accept(Visitor v) { v.visitAssign(this); }
duke@1 1524
duke@1 1525 public Kind getKind() { return Kind.ASSIGNMENT; }
duke@1 1526 public JCExpression getVariable() { return lhs; }
duke@1 1527 public JCExpression getExpression() { return rhs; }
duke@1 1528 @Override
duke@1 1529 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1530 return v.visitAssignment(this, d);
duke@1 1531 }
duke@1 1532 @Override
jjg@1127 1533 public Tag getTag() {
duke@1 1534 return ASSIGN;
duke@1 1535 }
duke@1 1536 }
duke@1 1537
duke@1 1538 /**
duke@1 1539 * An assignment with "+=", "|=" ...
duke@1 1540 */
duke@1 1541 public static class JCAssignOp extends JCExpression implements CompoundAssignmentTree {
jjg@1127 1542 private Tag opcode;
duke@1 1543 public JCExpression lhs;
duke@1 1544 public JCExpression rhs;
duke@1 1545 public Symbol operator;
jjg@1127 1546 protected JCAssignOp(Tag opcode, JCTree lhs, JCTree rhs, Symbol operator) {
duke@1 1547 this.opcode = opcode;
duke@1 1548 this.lhs = (JCExpression)lhs;
duke@1 1549 this.rhs = (JCExpression)rhs;
duke@1 1550 this.operator = operator;
duke@1 1551 }
duke@1 1552 @Override
duke@1 1553 public void accept(Visitor v) { v.visitAssignop(this); }
duke@1 1554
duke@1 1555 public Kind getKind() { return TreeInfo.tagToKind(getTag()); }
duke@1 1556 public JCExpression getVariable() { return lhs; }
duke@1 1557 public JCExpression getExpression() { return rhs; }
duke@1 1558 public Symbol getOperator() {
duke@1 1559 return operator;
duke@1 1560 }
duke@1 1561 @Override
duke@1 1562 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1563 return v.visitCompoundAssignment(this, d);
duke@1 1564 }
duke@1 1565 @Override
jjg@1127 1566 public Tag getTag() {
duke@1 1567 return opcode;
duke@1 1568 }
duke@1 1569 }
duke@1 1570
duke@1 1571 /**
duke@1 1572 * A unary operation.
duke@1 1573 */
duke@1 1574 public static class JCUnary extends JCExpression implements UnaryTree {
jjg@1127 1575 private Tag opcode;
duke@1 1576 public JCExpression arg;
duke@1 1577 public Symbol operator;
jjg@1127 1578 protected JCUnary(Tag opcode, JCExpression arg) {
duke@1 1579 this.opcode = opcode;
duke@1 1580 this.arg = arg;
duke@1 1581 }
duke@1 1582 @Override
duke@1 1583 public void accept(Visitor v) { v.visitUnary(this); }
duke@1 1584
duke@1 1585 public Kind getKind() { return TreeInfo.tagToKind(getTag()); }
duke@1 1586 public JCExpression getExpression() { return arg; }
duke@1 1587 public Symbol getOperator() {
duke@1 1588 return operator;
duke@1 1589 }
duke@1 1590 @Override
duke@1 1591 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1592 return v.visitUnary(this, d);
duke@1 1593 }
duke@1 1594 @Override
jjg@1127 1595 public Tag getTag() {
duke@1 1596 return opcode;
duke@1 1597 }
duke@1 1598
jjg@1127 1599 public void setTag(Tag tag) {
duke@1 1600 opcode = tag;
duke@1 1601 }
duke@1 1602 }
duke@1 1603
duke@1 1604 /**
duke@1 1605 * A binary operation.
duke@1 1606 */
duke@1 1607 public static class JCBinary extends JCExpression implements BinaryTree {
jjg@1127 1608 private Tag opcode;
duke@1 1609 public JCExpression lhs;
duke@1 1610 public JCExpression rhs;
duke@1 1611 public Symbol operator;
jjg@1127 1612 protected JCBinary(Tag opcode,
duke@1 1613 JCExpression lhs,
duke@1 1614 JCExpression rhs,
duke@1 1615 Symbol operator) {
duke@1 1616 this.opcode = opcode;
duke@1 1617 this.lhs = lhs;
duke@1 1618 this.rhs = rhs;
duke@1 1619 this.operator = operator;
duke@1 1620 }
duke@1 1621 @Override
duke@1 1622 public void accept(Visitor v) { v.visitBinary(this); }
duke@1 1623
duke@1 1624 public Kind getKind() { return TreeInfo.tagToKind(getTag()); }
duke@1 1625 public JCExpression getLeftOperand() { return lhs; }
duke@1 1626 public JCExpression getRightOperand() { return rhs; }
duke@1 1627 public Symbol getOperator() {
duke@1 1628 return operator;
duke@1 1629 }
duke@1 1630 @Override
duke@1 1631 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1632 return v.visitBinary(this, d);
duke@1 1633 }
duke@1 1634 @Override
jjg@1127 1635 public Tag getTag() {
duke@1 1636 return opcode;
duke@1 1637 }
duke@1 1638 }
duke@1 1639
duke@1 1640 /**
duke@1 1641 * A type cast.
duke@1 1642 */
duke@1 1643 public static class JCTypeCast extends JCExpression implements TypeCastTree {
duke@1 1644 public JCTree clazz;
duke@1 1645 public JCExpression expr;
duke@1 1646 protected JCTypeCast(JCTree clazz, JCExpression expr) {
duke@1 1647 this.clazz = clazz;
duke@1 1648 this.expr = expr;
duke@1 1649 }
duke@1 1650 @Override
duke@1 1651 public void accept(Visitor v) { v.visitTypeCast(this); }
duke@1 1652
duke@1 1653 public Kind getKind() { return Kind.TYPE_CAST; }
duke@1 1654 public JCTree getType() { return clazz; }
duke@1 1655 public JCExpression getExpression() { return expr; }
duke@1 1656 @Override
duke@1 1657 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1658 return v.visitTypeCast(this, d);
duke@1 1659 }
duke@1 1660 @Override
jjg@1127 1661 public Tag getTag() {
duke@1 1662 return TYPECAST;
duke@1 1663 }
duke@1 1664 }
duke@1 1665
duke@1 1666 /**
duke@1 1667 * A type test.
duke@1 1668 */
duke@1 1669 public static class JCInstanceOf extends JCExpression implements InstanceOfTree {
duke@1 1670 public JCExpression expr;
duke@1 1671 public JCTree clazz;
duke@1 1672 protected JCInstanceOf(JCExpression expr, JCTree clazz) {
duke@1 1673 this.expr = expr;
duke@1 1674 this.clazz = clazz;
duke@1 1675 }
duke@1 1676 @Override
duke@1 1677 public void accept(Visitor v) { v.visitTypeTest(this); }
duke@1 1678
duke@1 1679 public Kind getKind() { return Kind.INSTANCE_OF; }
duke@1 1680 public JCTree getType() { return clazz; }
duke@1 1681 public JCExpression getExpression() { return expr; }
duke@1 1682 @Override
duke@1 1683 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1684 return v.visitInstanceOf(this, d);
duke@1 1685 }
duke@1 1686 @Override
jjg@1127 1687 public Tag getTag() {
duke@1 1688 return TYPETEST;
duke@1 1689 }
duke@1 1690 }
duke@1 1691
duke@1 1692 /**
duke@1 1693 * An array selection
duke@1 1694 */
duke@1 1695 public static class JCArrayAccess extends JCExpression implements ArrayAccessTree {
duke@1 1696 public JCExpression indexed;
duke@1 1697 public JCExpression index;
duke@1 1698 protected JCArrayAccess(JCExpression indexed, JCExpression index) {
duke@1 1699 this.indexed = indexed;
duke@1 1700 this.index = index;
duke@1 1701 }
duke@1 1702 @Override
duke@1 1703 public void accept(Visitor v) { v.visitIndexed(this); }
duke@1 1704
duke@1 1705 public Kind getKind() { return Kind.ARRAY_ACCESS; }
duke@1 1706 public JCExpression getExpression() { return indexed; }
duke@1 1707 public JCExpression getIndex() { return index; }
duke@1 1708 @Override
duke@1 1709 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1710 return v.visitArrayAccess(this, d);
duke@1 1711 }
duke@1 1712 @Override
jjg@1127 1713 public Tag getTag() {
duke@1 1714 return INDEXED;
duke@1 1715 }
duke@1 1716 }
duke@1 1717
duke@1 1718 /**
duke@1 1719 * Selects through packages and classes
duke@1 1720 * @param selected selected Tree hierarchie
duke@1 1721 * @param selector name of field to select thru
duke@1 1722 * @param sym symbol of the selected class
duke@1 1723 */
duke@1 1724 public static class JCFieldAccess extends JCExpression implements MemberSelectTree {
duke@1 1725 public JCExpression selected;
duke@1 1726 public Name name;
duke@1 1727 public Symbol sym;
duke@1 1728 protected JCFieldAccess(JCExpression selected, Name name, Symbol sym) {
duke@1 1729 this.selected = selected;
duke@1 1730 this.name = name;
duke@1 1731 this.sym = sym;
duke@1 1732 }
duke@1 1733 @Override
duke@1 1734 public void accept(Visitor v) { v.visitSelect(this); }
duke@1 1735
duke@1 1736 public Kind getKind() { return Kind.MEMBER_SELECT; }
duke@1 1737 public JCExpression getExpression() { return selected; }
duke@1 1738 @Override
duke@1 1739 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1740 return v.visitMemberSelect(this, d);
duke@1 1741 }
duke@1 1742 public Name getIdentifier() { return name; }
duke@1 1743 @Override
jjg@1127 1744 public Tag getTag() {
duke@1 1745 return SELECT;
duke@1 1746 }
duke@1 1747 }
duke@1 1748
duke@1 1749 /**
duke@1 1750 * An identifier
duke@1 1751 * @param idname the name
duke@1 1752 * @param sym the symbol
duke@1 1753 */
duke@1 1754 public static class JCIdent extends JCExpression implements IdentifierTree {
duke@1 1755 public Name name;
duke@1 1756 public Symbol sym;
duke@1 1757 protected JCIdent(Name name, Symbol sym) {
duke@1 1758 this.name = name;
duke@1 1759 this.sym = sym;
duke@1 1760 }
duke@1 1761 @Override
duke@1 1762 public void accept(Visitor v) { v.visitIdent(this); }
duke@1 1763
duke@1 1764 public Kind getKind() { return Kind.IDENTIFIER; }
duke@1 1765 public Name getName() { return name; }
duke@1 1766 @Override
duke@1 1767 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1768 return v.visitIdentifier(this, d);
duke@1 1769 }
jjg@1127 1770 @Override
jjg@1127 1771 public Tag getTag() {
duke@1 1772 return IDENT;
duke@1 1773 }
duke@1 1774 }
duke@1 1775
duke@1 1776 /**
duke@1 1777 * A constant value given literally.
duke@1 1778 * @param value value representation
duke@1 1779 */
duke@1 1780 public static class JCLiteral extends JCExpression implements LiteralTree {
duke@1 1781 public int typetag;
duke@1 1782 public Object value;
duke@1 1783 protected JCLiteral(int typetag, Object value) {
duke@1 1784 this.typetag = typetag;
duke@1 1785 this.value = value;
duke@1 1786 }
duke@1 1787 @Override
duke@1 1788 public void accept(Visitor v) { v.visitLiteral(this); }
duke@1 1789
duke@1 1790 public Kind getKind() {
duke@1 1791 switch (typetag) {
duke@1 1792 case TypeTags.INT:
duke@1 1793 return Kind.INT_LITERAL;
duke@1 1794 case TypeTags.LONG:
duke@1 1795 return Kind.LONG_LITERAL;
duke@1 1796 case TypeTags.FLOAT:
duke@1 1797 return Kind.FLOAT_LITERAL;
duke@1 1798 case TypeTags.DOUBLE:
duke@1 1799 return Kind.DOUBLE_LITERAL;
duke@1 1800 case TypeTags.BOOLEAN:
duke@1 1801 return Kind.BOOLEAN_LITERAL;
duke@1 1802 case TypeTags.CHAR:
duke@1 1803 return Kind.CHAR_LITERAL;
duke@1 1804 case TypeTags.CLASS:
duke@1 1805 return Kind.STRING_LITERAL;
duke@1 1806 case TypeTags.BOT:
duke@1 1807 return Kind.NULL_LITERAL;
duke@1 1808 default:
duke@1 1809 throw new AssertionError("unknown literal kind " + this);
duke@1 1810 }
duke@1 1811 }
duke@1 1812 public Object getValue() {
duke@1 1813 switch (typetag) {
duke@1 1814 case TypeTags.BOOLEAN:
duke@1 1815 int bi = (Integer) value;
duke@1 1816 return (bi != 0);
duke@1 1817 case TypeTags.CHAR:
duke@1 1818 int ci = (Integer) value;
duke@1 1819 char c = (char) ci;
duke@1 1820 if (c != ci)
duke@1 1821 throw new AssertionError("bad value for char literal");
duke@1 1822 return c;
duke@1 1823 default:
duke@1 1824 return value;
duke@1 1825 }
duke@1 1826 }
duke@1 1827 @Override
duke@1 1828 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1829 return v.visitLiteral(this, d);
duke@1 1830 }
duke@1 1831 @Override
duke@1 1832 public JCLiteral setType(Type type) {
duke@1 1833 super.setType(type);
duke@1 1834 return this;
duke@1 1835 }
duke@1 1836 @Override
jjg@1127 1837 public Tag getTag() {
duke@1 1838 return LITERAL;
duke@1 1839 }
duke@1 1840 }
duke@1 1841
duke@1 1842 /**
duke@1 1843 * Identifies a basic type.
duke@1 1844 * @param tag the basic type id
duke@1 1845 * @see TypeTags
duke@1 1846 */
duke@1 1847 public static class JCPrimitiveTypeTree extends JCExpression implements PrimitiveTypeTree {
duke@1 1848 public int typetag;
duke@1 1849 protected JCPrimitiveTypeTree(int typetag) {
duke@1 1850 this.typetag = typetag;
duke@1 1851 }
duke@1 1852 @Override
duke@1 1853 public void accept(Visitor v) { v.visitTypeIdent(this); }
duke@1 1854
duke@1 1855 public Kind getKind() { return Kind.PRIMITIVE_TYPE; }
duke@1 1856 public TypeKind getPrimitiveTypeKind() {
duke@1 1857 switch (typetag) {
duke@1 1858 case TypeTags.BOOLEAN:
duke@1 1859 return TypeKind.BOOLEAN;
duke@1 1860 case TypeTags.BYTE:
duke@1 1861 return TypeKind.BYTE;
duke@1 1862 case TypeTags.SHORT:
duke@1 1863 return TypeKind.SHORT;
duke@1 1864 case TypeTags.INT:
duke@1 1865 return TypeKind.INT;
duke@1 1866 case TypeTags.LONG:
duke@1 1867 return TypeKind.LONG;
duke@1 1868 case TypeTags.CHAR:
duke@1 1869 return TypeKind.CHAR;
duke@1 1870 case TypeTags.FLOAT:
duke@1 1871 return TypeKind.FLOAT;
duke@1 1872 case TypeTags.DOUBLE:
duke@1 1873 return TypeKind.DOUBLE;
duke@1 1874 case TypeTags.VOID:
duke@1 1875 return TypeKind.VOID;
duke@1 1876 default:
duke@1 1877 throw new AssertionError("unknown primitive type " + this);
duke@1 1878 }
duke@1 1879 }
duke@1 1880 @Override
duke@1 1881 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1882 return v.visitPrimitiveType(this, d);
duke@1 1883 }
duke@1 1884 @Override
jjg@1127 1885 public Tag getTag() {
duke@1 1886 return TYPEIDENT;
duke@1 1887 }
duke@1 1888 }
duke@1 1889
duke@1 1890 /**
duke@1 1891 * An array type, A[]
duke@1 1892 */
duke@1 1893 public static class JCArrayTypeTree extends JCExpression implements ArrayTypeTree {
duke@1 1894 public JCExpression elemtype;
duke@1 1895 protected JCArrayTypeTree(JCExpression elemtype) {
duke@1 1896 this.elemtype = elemtype;
duke@1 1897 }
duke@1 1898 @Override
duke@1 1899 public void accept(Visitor v) { v.visitTypeArray(this); }
duke@1 1900
duke@1 1901 public Kind getKind() { return Kind.ARRAY_TYPE; }
duke@1 1902 public JCTree getType() { return elemtype; }
duke@1 1903 @Override
duke@1 1904 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1905 return v.visitArrayType(this, d);
duke@1 1906 }
duke@1 1907 @Override
jjg@1127 1908 public Tag getTag() {
duke@1 1909 return TYPEARRAY;
duke@1 1910 }
duke@1 1911 }
duke@1 1912
duke@1 1913 /**
duke@1 1914 * A parameterized type, T<...>
duke@1 1915 */
duke@1 1916 public static class JCTypeApply extends JCExpression implements ParameterizedTypeTree {
duke@1 1917 public JCExpression clazz;
duke@1 1918 public List<JCExpression> arguments;
duke@1 1919 protected JCTypeApply(JCExpression clazz, List<JCExpression> arguments) {
duke@1 1920 this.clazz = clazz;
duke@1 1921 this.arguments = arguments;
duke@1 1922 }
duke@1 1923 @Override
duke@1 1924 public void accept(Visitor v) { v.visitTypeApply(this); }
duke@1 1925
duke@1 1926 public Kind getKind() { return Kind.PARAMETERIZED_TYPE; }
duke@1 1927 public JCTree getType() { return clazz; }
duke@1 1928 public List<JCExpression> getTypeArguments() {
duke@1 1929 return arguments;
duke@1 1930 }
duke@1 1931 @Override
duke@1 1932 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1933 return v.visitParameterizedType(this, d);
duke@1 1934 }
duke@1 1935 @Override
jjg@1127 1936 public Tag getTag() {
duke@1 1937 return TYPEAPPLY;
duke@1 1938 }
duke@1 1939 }
duke@1 1940
duke@1 1941 /**
darcy@969 1942 * A union type, T1 | T2 | ... Tn (used in multicatch statements)
mcimadamore@550 1943 */
darcy@969 1944 public static class JCTypeUnion extends JCExpression implements UnionTypeTree {
mcimadamore@550 1945
jjg@724 1946 public List<JCExpression> alternatives;
mcimadamore@550 1947
darcy@969 1948 protected JCTypeUnion(List<JCExpression> components) {
jjg@724 1949 this.alternatives = components;
mcimadamore@550 1950 }
mcimadamore@550 1951 @Override
darcy@969 1952 public void accept(Visitor v) { v.visitTypeUnion(this); }
mcimadamore@550 1953
darcy@969 1954 public Kind getKind() { return Kind.UNION_TYPE; }
mcimadamore@550 1955
jjg@724 1956 public List<JCExpression> getTypeAlternatives() {
jjg@724 1957 return alternatives;
mcimadamore@550 1958 }
mcimadamore@550 1959 @Override
mcimadamore@550 1960 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
darcy@969 1961 return v.visitUnionType(this, d);
mcimadamore@550 1962 }
mcimadamore@550 1963 @Override
jjg@1127 1964 public Tag getTag() {
darcy@969 1965 return TYPEUNION;
mcimadamore@550 1966 }
mcimadamore@550 1967 }
mcimadamore@550 1968
mcimadamore@550 1969 /**
duke@1 1970 * A formal class parameter.
duke@1 1971 * @param name name
duke@1 1972 * @param bounds bounds
duke@1 1973 */
duke@1 1974 public static class JCTypeParameter extends JCTree implements TypeParameterTree {
duke@1 1975 public Name name;
duke@1 1976 public List<JCExpression> bounds;
jjg@815 1977 protected JCTypeParameter(Name name, List<JCExpression> bounds) {
duke@1 1978 this.name = name;
duke@1 1979 this.bounds = bounds;
duke@1 1980 }
duke@1 1981 @Override
duke@1 1982 public void accept(Visitor v) { v.visitTypeParameter(this); }
duke@1 1983
duke@1 1984 public Kind getKind() { return Kind.TYPE_PARAMETER; }
duke@1 1985 public Name getName() { return name; }
duke@1 1986 public List<JCExpression> getBounds() {
duke@1 1987 return bounds;
duke@1 1988 }
duke@1 1989 @Override
duke@1 1990 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 1991 return v.visitTypeParameter(this, d);
duke@1 1992 }
duke@1 1993 @Override
jjg@1127 1994 public Tag getTag() {
duke@1 1995 return TYPEPARAMETER;
duke@1 1996 }
duke@1 1997 }
duke@1 1998
duke@1 1999 public static class JCWildcard extends JCExpression implements WildcardTree {
duke@1 2000 public TypeBoundKind kind;
duke@1 2001 public JCTree inner;
duke@1 2002 protected JCWildcard(TypeBoundKind kind, JCTree inner) {
duke@1 2003 kind.getClass(); // null-check
duke@1 2004 this.kind = kind;
duke@1 2005 this.inner = inner;
duke@1 2006 }
duke@1 2007 @Override
duke@1 2008 public void accept(Visitor v) { v.visitWildcard(this); }
duke@1 2009
duke@1 2010 public Kind getKind() {
duke@1 2011 switch (kind.kind) {
duke@1 2012 case UNBOUND:
duke@1 2013 return Kind.UNBOUNDED_WILDCARD;
duke@1 2014 case EXTENDS:
duke@1 2015 return Kind.EXTENDS_WILDCARD;
duke@1 2016 case SUPER:
duke@1 2017 return Kind.SUPER_WILDCARD;
duke@1 2018 default:
duke@1 2019 throw new AssertionError("Unknown wildcard bound " + kind);
duke@1 2020 }
duke@1 2021 }
duke@1 2022 public JCTree getBound() { return inner; }
duke@1 2023 @Override
duke@1 2024 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2025 return v.visitWildcard(this, d);
duke@1 2026 }
duke@1 2027 @Override
jjg@1127 2028 public Tag getTag() {
duke@1 2029 return WILDCARD;
duke@1 2030 }
duke@1 2031 }
duke@1 2032
duke@1 2033 public static class TypeBoundKind extends JCTree {
duke@1 2034 public BoundKind kind;
duke@1 2035 protected TypeBoundKind(BoundKind kind) {
duke@1 2036 this.kind = kind;
duke@1 2037 }
duke@1 2038 @Override
duke@1 2039 public void accept(Visitor v) { v.visitTypeBoundKind(this); }
duke@1 2040
duke@1 2041 public Kind getKind() {
duke@1 2042 throw new AssertionError("TypeBoundKind is not part of a public API");
duke@1 2043 }
duke@1 2044 @Override
duke@1 2045 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2046 throw new AssertionError("TypeBoundKind is not part of a public API");
duke@1 2047 }
duke@1 2048 @Override
jjg@1127 2049 public Tag getTag() {
duke@1 2050 return TYPEBOUNDKIND;
duke@1 2051 }
duke@1 2052 }
duke@1 2053
duke@1 2054 public static class JCAnnotation extends JCExpression implements AnnotationTree {
duke@1 2055 public JCTree annotationType;
duke@1 2056 public List<JCExpression> args;
duke@1 2057 protected JCAnnotation(JCTree annotationType, List<JCExpression> args) {
duke@1 2058 this.annotationType = annotationType;
duke@1 2059 this.args = args;
duke@1 2060 }
duke@1 2061 @Override
duke@1 2062 public void accept(Visitor v) { v.visitAnnotation(this); }
duke@1 2063
duke@1 2064 public Kind getKind() { return Kind.ANNOTATION; }
duke@1 2065 public JCTree getAnnotationType() { return annotationType; }
duke@1 2066 public List<JCExpression> getArguments() {
duke@1 2067 return args;
duke@1 2068 }
duke@1 2069 @Override
duke@1 2070 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2071 return v.visitAnnotation(this, d);
duke@1 2072 }
duke@1 2073 @Override
jjg@1127 2074 public Tag getTag() {
duke@1 2075 return ANNOTATION;
duke@1 2076 }
duke@1 2077 }
duke@1 2078
duke@1 2079 public static class JCModifiers extends JCTree implements com.sun.source.tree.ModifiersTree {
duke@1 2080 public long flags;
duke@1 2081 public List<JCAnnotation> annotations;
duke@1 2082 protected JCModifiers(long flags, List<JCAnnotation> annotations) {
duke@1 2083 this.flags = flags;
duke@1 2084 this.annotations = annotations;
duke@1 2085 }
duke@1 2086 @Override
duke@1 2087 public void accept(Visitor v) { v.visitModifiers(this); }
duke@1 2088
duke@1 2089 public Kind getKind() { return Kind.MODIFIERS; }
duke@1 2090 public Set<Modifier> getFlags() {
duke@1 2091 return Flags.asModifierSet(flags);
duke@1 2092 }
duke@1 2093 public List<JCAnnotation> getAnnotations() {
duke@1 2094 return annotations;
duke@1 2095 }
duke@1 2096 @Override
duke@1 2097 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2098 return v.visitModifiers(this, d);
duke@1 2099 }
duke@1 2100 @Override
jjg@1127 2101 public Tag getTag() {
duke@1 2102 return MODIFIERS;
duke@1 2103 }
duke@1 2104 }
duke@1 2105
duke@1 2106 public static class JCErroneous extends JCExpression
duke@1 2107 implements com.sun.source.tree.ErroneousTree {
duke@1 2108 public List<? extends JCTree> errs;
duke@1 2109 protected JCErroneous(List<? extends JCTree> errs) {
duke@1 2110 this.errs = errs;
duke@1 2111 }
duke@1 2112 @Override
duke@1 2113 public void accept(Visitor v) { v.visitErroneous(this); }
duke@1 2114
duke@1 2115 public Kind getKind() { return Kind.ERRONEOUS; }
duke@1 2116
duke@1 2117 public List<? extends JCTree> getErrorTrees() {
duke@1 2118 return errs;
duke@1 2119 }
duke@1 2120
duke@1 2121 @Override
duke@1 2122 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2123 return v.visitErroneous(this, d);
duke@1 2124 }
duke@1 2125 @Override
jjg@1127 2126 public Tag getTag() {
duke@1 2127 return ERRONEOUS;
duke@1 2128 }
duke@1 2129 }
duke@1 2130
duke@1 2131 /** (let int x = 3; in x+2) */
duke@1 2132 public static class LetExpr extends JCExpression {
duke@1 2133 public List<JCVariableDecl> defs;
duke@1 2134 public JCTree expr;
duke@1 2135 protected LetExpr(List<JCVariableDecl> defs, JCTree expr) {
duke@1 2136 this.defs = defs;
duke@1 2137 this.expr = expr;
duke@1 2138 }
duke@1 2139 @Override
duke@1 2140 public void accept(Visitor v) { v.visitLetExpr(this); }
duke@1 2141
duke@1 2142 public Kind getKind() {
duke@1 2143 throw new AssertionError("LetExpr is not part of a public API");
duke@1 2144 }
duke@1 2145 @Override
duke@1 2146 public <R,D> R accept(TreeVisitor<R,D> v, D d) {
duke@1 2147 throw new AssertionError("LetExpr is not part of a public API");
duke@1 2148 }
duke@1 2149 @Override
jjg@1127 2150 public Tag getTag() {
duke@1 2151 return LETEXPR;
duke@1 2152 }
duke@1 2153 }
duke@1 2154
duke@1 2155 /** An interface for tree factories
duke@1 2156 */
duke@1 2157 public interface Factory {
duke@1 2158 JCCompilationUnit TopLevel(List<JCAnnotation> packageAnnotations,
duke@1 2159 JCExpression pid,
duke@1 2160 List<JCTree> defs);
duke@1 2161 JCImport Import(JCTree qualid, boolean staticImport);
duke@1 2162 JCClassDecl ClassDef(JCModifiers mods,
duke@1 2163 Name name,
duke@1 2164 List<JCTypeParameter> typarams,
jjg@904 2165 JCExpression extending,
duke@1 2166 List<JCExpression> implementing,
duke@1 2167 List<JCTree> defs);
duke@1 2168 JCMethodDecl MethodDef(JCModifiers mods,
duke@1 2169 Name name,
duke@1 2170 JCExpression restype,
duke@1 2171 List<JCTypeParameter> typarams,
duke@1 2172 List<JCVariableDecl> params,
duke@1 2173 List<JCExpression> thrown,
duke@1 2174 JCBlock body,
duke@1 2175 JCExpression defaultValue);
duke@1 2176 JCVariableDecl VarDef(JCModifiers mods,
duke@1 2177 Name name,
duke@1 2178 JCExpression vartype,
duke@1 2179 JCExpression init);
duke@1 2180 JCSkip Skip();
duke@1 2181 JCBlock Block(long flags, List<JCStatement> stats);
duke@1 2182 JCDoWhileLoop DoLoop(JCStatement body, JCExpression cond);
duke@1 2183 JCWhileLoop WhileLoop(JCExpression cond, JCStatement body);
duke@1 2184 JCForLoop ForLoop(List<JCStatement> init,
duke@1 2185 JCExpression cond,
duke@1 2186 List<JCExpressionStatement> step,
duke@1 2187 JCStatement body);
duke@1 2188 JCEnhancedForLoop ForeachLoop(JCVariableDecl var, JCExpression expr, JCStatement body);
duke@1 2189 JCLabeledStatement Labelled(Name label, JCStatement body);
duke@1 2190 JCSwitch Switch(JCExpression selector, List<JCCase> cases);
duke@1 2191 JCCase Case(JCExpression pat, List<JCStatement> stats);
duke@1 2192 JCSynchronized Synchronized(JCExpression lock, JCBlock body);
duke@1 2193 JCTry Try(JCBlock body, List<JCCatch> catchers, JCBlock finalizer);
darcy@609 2194 JCTry Try(List<JCTree> resources,
darcy@609 2195 JCBlock body,
darcy@609 2196 List<JCCatch> catchers,
darcy@609 2197 JCBlock finalizer);
duke@1 2198 JCCatch Catch(JCVariableDecl param, JCBlock body);
duke@1 2199 JCConditional Conditional(JCExpression cond,
duke@1 2200 JCExpression thenpart,
duke@1 2201 JCExpression elsepart);
duke@1 2202 JCIf If(JCExpression cond, JCStatement thenpart, JCStatement elsepart);
duke@1 2203 JCExpressionStatement Exec(JCExpression expr);
duke@1 2204 JCBreak Break(Name label);
duke@1 2205 JCContinue Continue(Name label);
duke@1 2206 JCReturn Return(JCExpression expr);
duke@1 2207 JCThrow Throw(JCTree expr);
duke@1 2208 JCAssert Assert(JCExpression cond, JCExpression detail);
duke@1 2209 JCMethodInvocation Apply(List<JCExpression> typeargs,
duke@1 2210 JCExpression fn,
duke@1 2211 List<JCExpression> args);
duke@1 2212 JCNewClass NewClass(JCExpression encl,
duke@1 2213 List<JCExpression> typeargs,
duke@1 2214 JCExpression clazz,
duke@1 2215 List<JCExpression> args,
duke@1 2216 JCClassDecl def);
duke@1 2217 JCNewArray NewArray(JCExpression elemtype,
duke@1 2218 List<JCExpression> dims,
duke@1 2219 List<JCExpression> elems);
duke@1 2220 JCParens Parens(JCExpression expr);
duke@1 2221 JCAssign Assign(JCExpression lhs, JCExpression rhs);
jjg@1127 2222 JCAssignOp Assignop(Tag opcode, JCTree lhs, JCTree rhs);
jjg@1127 2223 JCUnary Unary(Tag opcode, JCExpression arg);
jjg@1127 2224 JCBinary Binary(Tag opcode, JCExpression lhs, JCExpression rhs);
duke@1 2225 JCTypeCast TypeCast(JCTree expr, JCExpression type);
duke@1 2226 JCInstanceOf TypeTest(JCExpression expr, JCTree clazz);
duke@1 2227 JCArrayAccess Indexed(JCExpression indexed, JCExpression index);
duke@1 2228 JCFieldAccess Select(JCExpression selected, Name selector);
duke@1 2229 JCIdent Ident(Name idname);
duke@1 2230 JCLiteral Literal(int tag, Object value);
duke@1 2231 JCPrimitiveTypeTree TypeIdent(int typetag);
duke@1 2232 JCArrayTypeTree TypeArray(JCExpression elemtype);
duke@1 2233 JCTypeApply TypeApply(JCExpression clazz, List<JCExpression> arguments);
duke@1 2234 JCTypeParameter TypeParameter(Name name, List<JCExpression> bounds);
duke@1 2235 JCWildcard Wildcard(TypeBoundKind kind, JCTree type);
duke@1 2236 TypeBoundKind TypeBoundKind(BoundKind kind);
duke@1 2237 JCAnnotation Annotation(JCTree annotationType, List<JCExpression> args);
duke@1 2238 JCModifiers Modifiers(long flags, List<JCAnnotation> annotations);
duke@1 2239 JCErroneous Erroneous(List<? extends JCTree> errs);
duke@1 2240 LetExpr LetExpr(List<JCVariableDecl> defs, JCTree expr);
duke@1 2241 }
duke@1 2242
duke@1 2243 /** A generic visitor class for trees.
duke@1 2244 */
duke@1 2245 public static abstract class Visitor {
duke@1 2246 public void visitTopLevel(JCCompilationUnit that) { visitTree(that); }
duke@1 2247 public void visitImport(JCImport that) { visitTree(that); }
duke@1 2248 public void visitClassDef(JCClassDecl that) { visitTree(that); }
duke@1 2249 public void visitMethodDef(JCMethodDecl that) { visitTree(that); }
duke@1 2250 public void visitVarDef(JCVariableDecl that) { visitTree(that); }
duke@1 2251 public void visitSkip(JCSkip that) { visitTree(that); }
duke@1 2252 public void visitBlock(JCBlock that) { visitTree(that); }
duke@1 2253 public void visitDoLoop(JCDoWhileLoop that) { visitTree(that); }
duke@1 2254 public void visitWhileLoop(JCWhileLoop that) { visitTree(that); }
duke@1 2255 public void visitForLoop(JCForLoop that) { visitTree(that); }
duke@1 2256 public void visitForeachLoop(JCEnhancedForLoop that) { visitTree(that); }
duke@1 2257 public void visitLabelled(JCLabeledStatement that) { visitTree(that); }
duke@1 2258 public void visitSwitch(JCSwitch that) { visitTree(that); }
duke@1 2259 public void visitCase(JCCase that) { visitTree(that); }
duke@1 2260 public void visitSynchronized(JCSynchronized that) { visitTree(that); }
duke@1 2261 public void visitTry(JCTry that) { visitTree(that); }
duke@1 2262 public void visitCatch(JCCatch that) { visitTree(that); }
duke@1 2263 public void visitConditional(JCConditional that) { visitTree(that); }
duke@1 2264 public void visitIf(JCIf that) { visitTree(that); }
duke@1 2265 public void visitExec(JCExpressionStatement that) { visitTree(that); }
duke@1 2266 public void visitBreak(JCBreak that) { visitTree(that); }
duke@1 2267 public void visitContinue(JCContinue that) { visitTree(that); }
duke@1 2268 public void visitReturn(JCReturn that) { visitTree(that); }
duke@1 2269 public void visitThrow(JCThrow that) { visitTree(that); }
duke@1 2270 public void visitAssert(JCAssert that) { visitTree(that); }
duke@1 2271 public void visitApply(JCMethodInvocation that) { visitTree(that); }
duke@1 2272 public void visitNewClass(JCNewClass that) { visitTree(that); }
duke@1 2273 public void visitNewArray(JCNewArray that) { visitTree(that); }
duke@1 2274 public void visitParens(JCParens that) { visitTree(that); }
duke@1 2275 public void visitAssign(JCAssign that) { visitTree(that); }
duke@1 2276 public void visitAssignop(JCAssignOp that) { visitTree(that); }
duke@1 2277 public void visitUnary(JCUnary that) { visitTree(that); }
duke@1 2278 public void visitBinary(JCBinary that) { visitTree(that); }
duke@1 2279 public void visitTypeCast(JCTypeCast that) { visitTree(that); }
duke@1 2280 public void visitTypeTest(JCInstanceOf that) { visitTree(that); }
duke@1 2281 public void visitIndexed(JCArrayAccess that) { visitTree(that); }
duke@1 2282 public void visitSelect(JCFieldAccess that) { visitTree(that); }
duke@1 2283 public void visitIdent(JCIdent that) { visitTree(that); }
duke@1 2284 public void visitLiteral(JCLiteral that) { visitTree(that); }
duke@1 2285 public void visitTypeIdent(JCPrimitiveTypeTree that) { visitTree(that); }
duke@1 2286 public void visitTypeArray(JCArrayTypeTree that) { visitTree(that); }
duke@1 2287 public void visitTypeApply(JCTypeApply that) { visitTree(that); }
darcy@969 2288 public void visitTypeUnion(JCTypeUnion that) { visitTree(that); }
duke@1 2289 public void visitTypeParameter(JCTypeParameter that) { visitTree(that); }
duke@1 2290 public void visitWildcard(JCWildcard that) { visitTree(that); }
duke@1 2291 public void visitTypeBoundKind(TypeBoundKind that) { visitTree(that); }
duke@1 2292 public void visitAnnotation(JCAnnotation that) { visitTree(that); }
duke@1 2293 public void visitModifiers(JCModifiers that) { visitTree(that); }
duke@1 2294 public void visitErroneous(JCErroneous that) { visitTree(that); }
duke@1 2295 public void visitLetExpr(LetExpr that) { visitTree(that); }
duke@1 2296
jjg@816 2297 public void visitTree(JCTree that) { Assert.error(); }
duke@1 2298 }
duke@1 2299
duke@1 2300 }

mercurial