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) { jjg@308: tree.annotations = translate(tree.annotations); jjg@308: List> dimAnnos = List.nil(); jjg@308: for (List origDimAnnos : tree.dimAnnotations) jjg@308: dimAnnos = dimAnnos.append(translate(origDimAnnos)); jjg@308: tree.dimAnnotations = dimAnnos; 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) { jjg@308: tree.annotations = translate(tree.annotations); 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: jjg@308: public void visitAnnotatedType(JCAnnotatedType tree) { jjg@308: tree.annotations = translate(tree.annotations); jjg@308: tree.underlyingType = translate(tree.underlyingType); jjg@308: result = tree; jjg@308: } jjg@308: duke@1: public void visitTree(JCTree tree) { duke@1: throw new AssertionError(tree); duke@1: } duke@1: }