duke@1: /*
duke@1: * Copyright 1999-2006 Sun Microsystems, Inc. All Rights Reserved.
duke@1: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1: *
duke@1: * This code is free software; you can redistribute it and/or modify it
duke@1: * under the terms of the GNU General Public License version 2 only, as
duke@1: * published by the Free Software Foundation. Sun designates this
duke@1: * particular file as subject to the "Classpath" exception as provided
duke@1: * by Sun in the LICENSE file that accompanied this code.
duke@1: *
duke@1: * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1: * version 2 for more details (a copy is included in the LICENSE file that
duke@1: * accompanied this code).
duke@1: *
duke@1: * You should have received a copy of the GNU General Public License version
duke@1: * 2 along with this work; if not, write to the Free Software Foundation,
duke@1: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1: *
duke@1: * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
duke@1: * CA 95054 USA or visit www.sun.com if you need additional information or
duke@1: * have any questions.
duke@1: */
duke@1:
duke@1: package com.sun.tools.javac.tree;
duke@1:
duke@1: import com.sun.tools.javac.util.*;
duke@1: import com.sun.tools.javac.tree.JCTree.*;
duke@1:
duke@1: /** A subclass of Tree.Visitor, this class defines
duke@1: * a general tree translator pattern. Translation proceeds recursively in
duke@1: * left-to-right order down a tree, constructing translated nodes by
duke@1: * overwriting existing ones. There is one visitor method in this class
duke@1: * for every possible kind of tree node. To obtain a specific
duke@1: * translator, it suffices to override those visitor methods which
duke@1: * do some interesting work. The translator class itself takes care of all
duke@1: * navigational aspects.
duke@1: *
duke@1: *
This is NOT part of any API supported by Sun Microsystems. If
duke@1: * you write code that depends on this, you do so at your own risk.
duke@1: * This code and its internal interfaces are subject to change or
duke@1: * deletion without notice.
duke@1: */
duke@1: public class TreeTranslator extends JCTree.Visitor {
duke@1:
duke@1: /** Visitor result field: a tree
duke@1: */
duke@1: protected JCTree result;
duke@1:
duke@1: /** Visitor method: Translate a single node.
duke@1: */
duke@1: @SuppressWarnings("unchecked")
duke@1: public T translate(T tree) {
duke@1: if (tree == null) {
duke@1: return null;
duke@1: } else {
duke@1: tree.accept(this);
duke@1: JCTree result = this.result;
duke@1: this.result = null;
duke@1: return (T)result; // XXX cast
duke@1: }
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of nodes.
duke@1: */
duke@1: public List translate(List trees) {
duke@1: if (trees == null) return null;
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of variable definitions.
duke@1: */
duke@1: public List translateVarDefs(List trees) {
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of type parameters.
duke@1: */
duke@1: public List translateTypeParams(List trees) {
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of case parts of switch statements.
duke@1: */
duke@1: public List translateCases(List trees) {
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of catch clauses in try statements.
duke@1: */
duke@1: public List translateCatchers(List trees) {
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /** Visitor method: translate a list of catch clauses in try statements.
duke@1: */
duke@1: public List translateAnnotations(List trees) {
duke@1: for (List l = trees; l.nonEmpty(); l = l.tail)
duke@1: l.head = translate(l.head);
duke@1: return trees;
duke@1: }
duke@1:
duke@1: /* ***************************************************************************
duke@1: * Visitor methods
duke@1: ****************************************************************************/
duke@1:
duke@1: public void visitTopLevel(JCCompilationUnit tree) {
duke@1: tree.pid = translate(tree.pid);
duke@1: tree.defs = translate(tree.defs);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitImport(JCImport tree) {
duke@1: tree.qualid = translate(tree.qualid);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitClassDef(JCClassDecl tree) {
duke@1: tree.mods = translate(tree.mods);
duke@1: tree.typarams = translateTypeParams(tree.typarams);
duke@1: tree.extending = translate(tree.extending);
duke@1: tree.implementing = translate(tree.implementing);
duke@1: tree.defs = translate(tree.defs);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitMethodDef(JCMethodDecl tree) {
duke@1: tree.mods = translate(tree.mods);
duke@1: tree.restype = translate(tree.restype);
duke@1: tree.typarams = translateTypeParams(tree.typarams);
duke@1: tree.params = translateVarDefs(tree.params);
duke@1: tree.thrown = translate(tree.thrown);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitVarDef(JCVariableDecl tree) {
duke@1: tree.mods = translate(tree.mods);
duke@1: tree.vartype = translate(tree.vartype);
duke@1: tree.init = translate(tree.init);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitSkip(JCSkip tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitBlock(JCBlock tree) {
duke@1: tree.stats = translate(tree.stats);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitDoLoop(JCDoWhileLoop tree) {
duke@1: tree.body = translate(tree.body);
duke@1: tree.cond = translate(tree.cond);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitWhileLoop(JCWhileLoop tree) {
duke@1: tree.cond = translate(tree.cond);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitForLoop(JCForLoop tree) {
duke@1: tree.init = translate(tree.init);
duke@1: tree.cond = translate(tree.cond);
duke@1: tree.step = translate(tree.step);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitForeachLoop(JCEnhancedForLoop tree) {
duke@1: tree.var = translate(tree.var);
duke@1: tree.expr = translate(tree.expr);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitLabelled(JCLabeledStatement tree) {
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitSwitch(JCSwitch tree) {
duke@1: tree.selector = translate(tree.selector);
duke@1: tree.cases = translateCases(tree.cases);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitCase(JCCase tree) {
duke@1: tree.pat = translate(tree.pat);
duke@1: tree.stats = translate(tree.stats);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitSynchronized(JCSynchronized tree) {
duke@1: tree.lock = translate(tree.lock);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTry(JCTry tree) {
duke@1: tree.body = translate(tree.body);
duke@1: tree.catchers = translateCatchers(tree.catchers);
duke@1: tree.finalizer = translate(tree.finalizer);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitCatch(JCCatch tree) {
duke@1: tree.param = translate(tree.param);
duke@1: tree.body = translate(tree.body);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitConditional(JCConditional tree) {
duke@1: tree.cond = translate(tree.cond);
duke@1: tree.truepart = translate(tree.truepart);
duke@1: tree.falsepart = translate(tree.falsepart);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitIf(JCIf tree) {
duke@1: tree.cond = translate(tree.cond);
duke@1: tree.thenpart = translate(tree.thenpart);
duke@1: tree.elsepart = translate(tree.elsepart);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitExec(JCExpressionStatement tree) {
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitBreak(JCBreak tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitContinue(JCContinue tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitReturn(JCReturn tree) {
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitThrow(JCThrow tree) {
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitAssert(JCAssert tree) {
duke@1: tree.cond = translate(tree.cond);
duke@1: tree.detail = translate(tree.detail);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitApply(JCMethodInvocation tree) {
duke@1: tree.meth = translate(tree.meth);
duke@1: tree.args = translate(tree.args);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitNewClass(JCNewClass tree) {
duke@1: tree.encl = translate(tree.encl);
duke@1: tree.clazz = translate(tree.clazz);
duke@1: tree.args = translate(tree.args);
duke@1: tree.def = translate(tree.def);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitNewArray(JCNewArray tree) {
duke@1: tree.elemtype = translate(tree.elemtype);
duke@1: tree.dims = translate(tree.dims);
duke@1: tree.elems = translate(tree.elems);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitParens(JCParens tree) {
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitAssign(JCAssign tree) {
duke@1: tree.lhs = translate(tree.lhs);
duke@1: tree.rhs = translate(tree.rhs);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitAssignop(JCAssignOp tree) {
duke@1: tree.lhs = translate(tree.lhs);
duke@1: tree.rhs = translate(tree.rhs);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitUnary(JCUnary tree) {
duke@1: tree.arg = translate(tree.arg);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitBinary(JCBinary tree) {
duke@1: tree.lhs = translate(tree.lhs);
duke@1: tree.rhs = translate(tree.rhs);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeCast(JCTypeCast tree) {
duke@1: tree.clazz = translate(tree.clazz);
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeTest(JCInstanceOf tree) {
duke@1: tree.expr = translate(tree.expr);
duke@1: tree.clazz = translate(tree.clazz);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitIndexed(JCArrayAccess tree) {
duke@1: tree.indexed = translate(tree.indexed);
duke@1: tree.index = translate(tree.index);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitSelect(JCFieldAccess tree) {
duke@1: tree.selected = translate(tree.selected);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitIdent(JCIdent tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitLiteral(JCLiteral tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeIdent(JCPrimitiveTypeTree tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeArray(JCArrayTypeTree tree) {
duke@1: tree.elemtype = translate(tree.elemtype);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeApply(JCTypeApply tree) {
duke@1: tree.clazz = translate(tree.clazz);
duke@1: tree.arguments = translate(tree.arguments);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTypeParameter(JCTypeParameter tree) {
duke@1: tree.bounds = translate(tree.bounds);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: @Override
duke@1: public void visitWildcard(JCWildcard tree) {
duke@1: tree.kind = translate(tree.kind);
duke@1: tree.inner = translate(tree.inner);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: @Override
duke@1: public void visitTypeBoundKind(TypeBoundKind tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitErroneous(JCErroneous tree) {
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitLetExpr(LetExpr tree) {
duke@1: tree.defs = translateVarDefs(tree.defs);
duke@1: tree.expr = translate(tree.expr);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitModifiers(JCModifiers tree) {
duke@1: tree.annotations = translateAnnotations(tree.annotations);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitAnnotation(JCAnnotation tree) {
duke@1: tree.annotationType = translate(tree.annotationType);
duke@1: tree.args = translate(tree.args);
duke@1: result = tree;
duke@1: }
duke@1:
duke@1: public void visitTree(JCTree tree) {
duke@1: throw new AssertionError(tree);
duke@1: }
duke@1: }