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

Wed, 23 Jan 2013 13:27:24 -0800

author
jjg
date
Wed, 23 Jan 2013 13:27:24 -0800
changeset 1521
71f35e4b93a5
parent 1436
f6f1fd261f57
child 1755
ddb4a2bfcd82
permissions
-rw-r--r--

8006775: JSR 308: Compiler changes in JDK8
Reviewed-by: jjg
Contributed-by: mernst@cs.washington.edu, wmdietl@cs.washington.edu, mpapi@csail.mit.edu, mahmood@notnoop.com

     1 /*
     2  * Copyright (c) 1999, 2013, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     8  * particular file as subject to the "Classpath" exception as provided
     9  * by Oracle in the LICENSE file that accompanied this code.
    10  *
    11  * This code is distributed in the hope that it will be useful, but WITHOUT
    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
    14  * version 2 for more details (a copy is included in the LICENSE file that
    15  * accompanied this code).
    16  *
    17  * You should have received a copy of the GNU General Public License version
    18  * 2 along with this work; if not, write to the Free Software Foundation,
    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
    20  *
    21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    22  * or visit www.oracle.com if you need additional information or have any
    23  * questions.
    24  */
    26 package com.sun.tools.javac.tree;
    28 import com.sun.tools.javac.util.*;
    29 import com.sun.tools.javac.tree.JCTree.*;
    31 /** A subclass of Tree.Visitor, this class defines
    32  *  a general tree translator pattern. Translation proceeds recursively in
    33  *  left-to-right order down a tree, constructing translated nodes by
    34  *  overwriting existing ones. There is one visitor method in this class
    35  *  for every possible kind of tree node.  To obtain a specific
    36  *  translator, it suffices to override those visitor methods which
    37  *  do some interesting work. The translator class itself takes care of all
    38  *  navigational aspects.
    39  *
    40  *  <p><b>This is NOT part of any supported API.
    41  *  If you write code that depends on this, you do so at your own risk.
    42  *  This code and its internal interfaces are subject to change or
    43  *  deletion without notice.</b>
    44  */
    45 public class TreeTranslator extends JCTree.Visitor {
    47     /** Visitor result field: a tree
    48      */
    49     protected JCTree result;
    51     /** Visitor method: Translate a single node.
    52      */
    53     @SuppressWarnings("unchecked")
    54     public <T extends JCTree> T translate(T tree) {
    55         if (tree == null) {
    56             return null;
    57         } else {
    58             tree.accept(this);
    59             JCTree result = this.result;
    60             this.result = null;
    61             return (T)result; // XXX cast
    62         }
    63     }
    65     /** Visitor method: translate a list of nodes.
    66      */
    67     public <T extends JCTree> List<T> translate(List<T> trees) {
    68         if (trees == null) return null;
    69         for (List<T> l = trees; l.nonEmpty(); l = l.tail)
    70             l.head = translate(l.head);
    71         return trees;
    72     }
    74     /**  Visitor method: translate a list of variable definitions.
    75      */
    76     public List<JCVariableDecl> translateVarDefs(List<JCVariableDecl> trees) {
    77         for (List<JCVariableDecl> l = trees; l.nonEmpty(); l = l.tail)
    78             l.head = translate(l.head);
    79         return trees;
    80     }
    82     /**  Visitor method: translate a list of type parameters.
    83      */
    84     public List<JCTypeParameter> translateTypeParams(List<JCTypeParameter> trees) {
    85         for (List<JCTypeParameter> l = trees; l.nonEmpty(); l = l.tail)
    86             l.head = translate(l.head);
    87         return trees;
    88     }
    90     /**  Visitor method: translate a list of case parts of switch statements.
    91      */
    92     public List<JCCase> translateCases(List<JCCase> trees) {
    93         for (List<JCCase> l = trees; l.nonEmpty(); l = l.tail)
    94             l.head = translate(l.head);
    95         return trees;
    96     }
    98     /**  Visitor method: translate a list of catch clauses in try statements.
    99      */
   100     public List<JCCatch> translateCatchers(List<JCCatch> trees) {
   101         for (List<JCCatch> l = trees; l.nonEmpty(); l = l.tail)
   102             l.head = translate(l.head);
   103         return trees;
   104     }
   106     /**  Visitor method: translate a list of catch clauses in try statements.
   107      */
   108     public List<JCAnnotation> translateAnnotations(List<JCAnnotation> trees) {
   109         for (List<JCAnnotation> l = trees; l.nonEmpty(); l = l.tail)
   110             l.head = translate(l.head);
   111         return trees;
   112     }
   114 /* ***************************************************************************
   115  * Visitor methods
   116  ****************************************************************************/
   118     public void visitTopLevel(JCCompilationUnit tree) {
   119         tree.pid = translate(tree.pid);
   120         tree.defs = translate(tree.defs);
   121         result = tree;
   122     }
   124     public void visitImport(JCImport tree) {
   125         tree.qualid = translate(tree.qualid);
   126         result = tree;
   127     }
   129     public void visitClassDef(JCClassDecl tree) {
   130         tree.mods = translate(tree.mods);
   131         tree.typarams = translateTypeParams(tree.typarams);
   132         tree.extending = translate(tree.extending);
   133         tree.implementing = translate(tree.implementing);
   134         tree.defs = translate(tree.defs);
   135         result = tree;
   136     }
   138     public void visitMethodDef(JCMethodDecl tree) {
   139         tree.mods = translate(tree.mods);
   140         tree.restype = translate(tree.restype);
   141         tree.typarams = translateTypeParams(tree.typarams);
   142         tree.recvparam = translate(tree.recvparam);
   143         tree.params = translateVarDefs(tree.params);
   144         tree.thrown = translate(tree.thrown);
   145         tree.body = translate(tree.body);
   146         result = tree;
   147     }
   149     public void visitVarDef(JCVariableDecl tree) {
   150         tree.mods = translate(tree.mods);
   151         tree.vartype = translate(tree.vartype);
   152         tree.init = translate(tree.init);
   153         result = tree;
   154     }
   156     public void visitSkip(JCSkip tree) {
   157         result = tree;
   158     }
   160     public void visitBlock(JCBlock tree) {
   161         tree.stats = translate(tree.stats);
   162         result = tree;
   163     }
   165     public void visitDoLoop(JCDoWhileLoop tree) {
   166         tree.body = translate(tree.body);
   167         tree.cond = translate(tree.cond);
   168         result = tree;
   169     }
   171     public void visitWhileLoop(JCWhileLoop tree) {
   172         tree.cond = translate(tree.cond);
   173         tree.body = translate(tree.body);
   174         result = tree;
   175     }
   177     public void visitForLoop(JCForLoop tree) {
   178         tree.init = translate(tree.init);
   179         tree.cond = translate(tree.cond);
   180         tree.step = translate(tree.step);
   181         tree.body = translate(tree.body);
   182         result = tree;
   183     }
   185     public void visitForeachLoop(JCEnhancedForLoop tree) {
   186         tree.var = translate(tree.var);
   187         tree.expr = translate(tree.expr);
   188         tree.body = translate(tree.body);
   189         result = tree;
   190     }
   192     public void visitLabelled(JCLabeledStatement tree) {
   193         tree.body = translate(tree.body);
   194         result = tree;
   195     }
   197     public void visitSwitch(JCSwitch tree) {
   198         tree.selector = translate(tree.selector);
   199         tree.cases = translateCases(tree.cases);
   200         result = tree;
   201     }
   203     public void visitCase(JCCase tree) {
   204         tree.pat = translate(tree.pat);
   205         tree.stats = translate(tree.stats);
   206         result = tree;
   207     }
   209     public void visitSynchronized(JCSynchronized tree) {
   210         tree.lock = translate(tree.lock);
   211         tree.body = translate(tree.body);
   212         result = tree;
   213     }
   215     public void visitTry(JCTry tree) {
   216         tree.resources = translate(tree.resources);
   217         tree.body = translate(tree.body);
   218         tree.catchers = translateCatchers(tree.catchers);
   219         tree.finalizer = translate(tree.finalizer);
   220         result = tree;
   221     }
   223     public void visitCatch(JCCatch tree) {
   224         tree.param = translate(tree.param);
   225         tree.body = translate(tree.body);
   226         result = tree;
   227     }
   229     public void visitConditional(JCConditional tree) {
   230         tree.cond = translate(tree.cond);
   231         tree.truepart = translate(tree.truepart);
   232         tree.falsepart = translate(tree.falsepart);
   233         result = tree;
   234     }
   236     public void visitIf(JCIf tree) {
   237         tree.cond = translate(tree.cond);
   238         tree.thenpart = translate(tree.thenpart);
   239         tree.elsepart = translate(tree.elsepart);
   240         result = tree;
   241     }
   243     public void visitExec(JCExpressionStatement tree) {
   244         tree.expr = translate(tree.expr);
   245         result = tree;
   246     }
   248     public void visitBreak(JCBreak tree) {
   249         result = tree;
   250     }
   252     public void visitContinue(JCContinue tree) {
   253         result = tree;
   254     }
   256     public void visitReturn(JCReturn tree) {
   257         tree.expr = translate(tree.expr);
   258         result = tree;
   259     }
   261     public void visitThrow(JCThrow tree) {
   262         tree.expr = translate(tree.expr);
   263         result = tree;
   264     }
   266     public void visitAssert(JCAssert tree) {
   267         tree.cond = translate(tree.cond);
   268         tree.detail = translate(tree.detail);
   269         result = tree;
   270     }
   272     public void visitApply(JCMethodInvocation tree) {
   273         tree.meth = translate(tree.meth);
   274         tree.args = translate(tree.args);
   275         result = tree;
   276     }
   278     public void visitNewClass(JCNewClass tree) {
   279         tree.encl = translate(tree.encl);
   280         tree.clazz = translate(tree.clazz);
   281         tree.args = translate(tree.args);
   282         tree.def = translate(tree.def);
   283         result = tree;
   284     }
   286     public void visitLambda(JCLambda tree) {
   287         tree.params = translate(tree.params);
   288         tree.body = translate(tree.body);
   289         result = tree;
   290     }
   292     public void visitNewArray(JCNewArray tree) {
   293         tree.annotations = translate(tree.annotations);
   294         List<List<JCAnnotation>> dimAnnos = List.nil();
   295         for (List<JCAnnotation> origDimAnnos : tree.dimAnnotations)
   296             dimAnnos = dimAnnos.append(translate(origDimAnnos));
   297         tree.dimAnnotations = dimAnnos;
   298         tree.elemtype = translate(tree.elemtype);
   299         tree.dims = translate(tree.dims);
   300         tree.elems = translate(tree.elems);
   301         result = tree;
   302     }
   304     public void visitParens(JCParens tree) {
   305         tree.expr = translate(tree.expr);
   306         result = tree;
   307     }
   309     public void visitAssign(JCAssign tree) {
   310         tree.lhs = translate(tree.lhs);
   311         tree.rhs = translate(tree.rhs);
   312         result = tree;
   313     }
   315     public void visitAssignop(JCAssignOp tree) {
   316         tree.lhs = translate(tree.lhs);
   317         tree.rhs = translate(tree.rhs);
   318         result = tree;
   319     }
   321     public void visitUnary(JCUnary tree) {
   322         tree.arg = translate(tree.arg);
   323         result = tree;
   324     }
   326     public void visitBinary(JCBinary tree) {
   327         tree.lhs = translate(tree.lhs);
   328         tree.rhs = translate(tree.rhs);
   329         result = tree;
   330     }
   332     public void visitTypeCast(JCTypeCast tree) {
   333         tree.clazz = translate(tree.clazz);
   334         tree.expr = translate(tree.expr);
   335         result = tree;
   336     }
   338     public void visitTypeTest(JCInstanceOf tree) {
   339         tree.expr = translate(tree.expr);
   340         tree.clazz = translate(tree.clazz);
   341         result = tree;
   342     }
   344     public void visitIndexed(JCArrayAccess tree) {
   345         tree.indexed = translate(tree.indexed);
   346         tree.index = translate(tree.index);
   347         result = tree;
   348     }
   350     public void visitSelect(JCFieldAccess tree) {
   351         tree.selected = translate(tree.selected);
   352         result = tree;
   353     }
   355     public void visitReference(JCMemberReference tree) {
   356         tree.expr = translate(tree.expr);
   357         result = tree;
   358     }
   360     public void visitIdent(JCIdent tree) {
   361         result = tree;
   362     }
   364     public void visitLiteral(JCLiteral tree) {
   365         result = tree;
   366     }
   368     public void visitTypeIdent(JCPrimitiveTypeTree tree) {
   369         result = tree;
   370     }
   372     public void visitTypeArray(JCArrayTypeTree tree) {
   373         tree.elemtype = translate(tree.elemtype);
   374         result = tree;
   375     }
   377     public void visitTypeApply(JCTypeApply tree) {
   378         tree.clazz = translate(tree.clazz);
   379         tree.arguments = translate(tree.arguments);
   380         result = tree;
   381     }
   383     public void visitTypeUnion(JCTypeUnion tree) {
   384         tree.alternatives = translate(tree.alternatives);
   385         result = tree;
   386     }
   388     public void visitTypeIntersection(JCTypeIntersection tree) {
   389         tree.bounds = translate(tree.bounds);
   390         result = tree;
   391     }
   393     public void visitTypeParameter(JCTypeParameter tree) {
   394         tree.annotations = translate(tree.annotations);
   395         tree.bounds = translate(tree.bounds);
   396         result = tree;
   397     }
   399     @Override
   400     public void visitWildcard(JCWildcard tree) {
   401         tree.kind = translate(tree.kind);
   402         tree.inner = translate(tree.inner);
   403         result = tree;
   404     }
   406     @Override
   407     public void visitTypeBoundKind(TypeBoundKind tree) {
   408         result = tree;
   409     }
   411     public void visitErroneous(JCErroneous tree) {
   412         result = tree;
   413     }
   415     public void visitLetExpr(LetExpr tree) {
   416         tree.defs = translateVarDefs(tree.defs);
   417         tree.expr = translate(tree.expr);
   418         result = tree;
   419     }
   421     public void visitModifiers(JCModifiers tree) {
   422         tree.annotations = translateAnnotations(tree.annotations);
   423         result = tree;
   424     }
   426     public void visitAnnotation(JCAnnotation tree) {
   427         tree.annotationType = translate(tree.annotationType);
   428         tree.args = translate(tree.args);
   429         result = tree;
   430     }
   432     public void visitAnnotatedType(JCAnnotatedType tree) {
   433         tree.annotations = translate(tree.annotations);
   434         tree.underlyingType = translate(tree.underlyingType);
   435         result = tree;
   436     }
   438     public void visitTree(JCTree tree) {
   439         throw new AssertionError(tree);
   440     }
   441 }

mercurial