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

Tue, 28 Dec 2010 15:54:52 -0800

author
ohair
date
Tue, 28 Dec 2010 15:54:52 -0800
changeset 798
4868a36f6fd8
parent 767
7e3e9f6d013f
child 815
d17f37522154
permissions
-rw-r--r--

6962318: Update copyright year
Reviewed-by: xdono

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

mercurial