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

Thu, 04 Aug 2016 23:36:47 -0700

author
asaha
date
Thu, 04 Aug 2016 23:36:47 -0700
changeset 3270
8a30511b2ea4
parent 2395
9c577131ffa6
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8162511: 8u111 L10n resource file updates
Summary: 8u111 L10n resource file updates
Reviewed-by: coffeys
Contributed-by: li.jiang@oracle.com

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

mercurial