langtools/src/share/classes/javax/lang/model/util/ElementScanner6.java
author darcy
Wed, 02 Jun 2010 19:08:47 -0700
changeset 5841 7a8448425bb7
parent 5520 86e4b9a9da40
child 7681 1f0819a3341f
permissions -rw-r--r--
6933147: Provided new utility visitors supporting SourceVersion.RELEASE_7 Reviewed-by: jjg
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
     2
 * Copyright (c) 2005, 2006, Oracle and/or its affiliates. All rights reserved.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
06bc494ca11e Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    10
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
06bc494ca11e Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
06bc494ca11e Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
06bc494ca11e Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
06bc494ca11e Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
06bc494ca11e Initial load
duke
parents:
diff changeset
    16
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
06bc494ca11e Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
06bc494ca11e Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
06bc494ca11e Initial load
duke
parents:
diff changeset
    20
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 10
diff changeset
    23
 * questions.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    24
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    25
06bc494ca11e Initial load
duke
parents:
diff changeset
    26
package javax.lang.model.util;
06bc494ca11e Initial load
duke
parents:
diff changeset
    27
06bc494ca11e Initial load
duke
parents:
diff changeset
    28
import javax.lang.model.element.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    29
import javax.annotation.processing.SupportedSourceVersion;
06bc494ca11e Initial load
duke
parents:
diff changeset
    30
import static javax.lang.model.element.ElementKind.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    31
import javax.lang.model.SourceVersion;
06bc494ca11e Initial load
duke
parents:
diff changeset
    32
import static javax.lang.model.SourceVersion.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    33
06bc494ca11e Initial load
duke
parents:
diff changeset
    34
06bc494ca11e Initial load
duke
parents:
diff changeset
    35
/**
06bc494ca11e Initial load
duke
parents:
diff changeset
    36
 * A scanning visitor of program elements with default behavior
06bc494ca11e Initial load
duke
parents:
diff changeset
    37
 * appropriate for the {@link SourceVersion#RELEASE_6 RELEASE_6}
06bc494ca11e Initial load
duke
parents:
diff changeset
    38
 * source version.  The <tt>visit<i>XYZ</i></tt> methods in this
06bc494ca11e Initial load
duke
parents:
diff changeset
    39
 * class scan their component elements by calling {@code scan} on
06bc494ca11e Initial load
duke
parents:
diff changeset
    40
 * their {@linkplain Element#getEnclosedElements enclosed elements},
06bc494ca11e Initial load
duke
parents:
diff changeset
    41
 * {@linkplain ExecutableElement#getParameters parameters}, etc., as
06bc494ca11e Initial load
duke
parents:
diff changeset
    42
 * indicated in the individual method specifications.  A subclass can
06bc494ca11e Initial load
duke
parents:
diff changeset
    43
 * control the order elements are visited by overriding the
06bc494ca11e Initial load
duke
parents:
diff changeset
    44
 * <tt>visit<i>XYZ</i></tt> methods.  Note that clients of a scanner
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
 * may get the desired behavior be invoking {@code v.scan(e, p)} rather
06bc494ca11e Initial load
duke
parents:
diff changeset
    46
 * than {@code v.visit(e, p)} on the root objects of interest.
06bc494ca11e Initial load
duke
parents:
diff changeset
    47
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    48
 * <p>When a subclass overrides a <tt>visit<i>XYZ</i></tt> method, the
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
 * new method can cause the enclosed elements to be scanned in the
06bc494ca11e Initial load
duke
parents:
diff changeset
    50
 * default way by calling <tt>super.visit<i>XYZ</i></tt>.  In this
06bc494ca11e Initial load
duke
parents:
diff changeset
    51
 * fashion, the concrete visitor can control the ordering of traversal
06bc494ca11e Initial load
duke
parents:
diff changeset
    52
 * over the component elements with respect to the additional
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
 * processing; for example, consistently calling
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
 * <tt>super.visit<i>XYZ</i></tt> at the start of the overridden
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
 * methods will yield a preorder traversal, etc.  If the component
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
 * elements should be traversed in some other order, instead of
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
 * calling <tt>super.visit<i>XYZ</i></tt>, an overriding visit method
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
 * should call {@code scan} with the elements in the desired order.
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
 * <p> Methods in this class may be overridden subject to their
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
 * general contract.  Note that annotating methods in concrete
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
 * subclasses with {@link java.lang.Override @Override} will help
06bc494ca11e Initial load
duke
parents:
diff changeset
    63
 * ensure that methods are overridden as intended.
06bc494ca11e Initial load
duke
parents:
diff changeset
    64
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    65
 * <p> <b>WARNING:</b> The {@code ElementVisitor} interface
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
 * implemented by this class may have methods added to it in the
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
 * future to accommodate new, currently unknown, language structures
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
 * added to future versions of the Java&trade; programming language.
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
 * Therefore, methods whose names begin with {@code "visit"} may be
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
 * added to this class in the future; to avoid incompatibilities,
06bc494ca11e Initial load
duke
parents:
diff changeset
    71
 * classes which extend this class should not declare any instance
06bc494ca11e Initial load
duke
parents:
diff changeset
    72
 * methods with names beginning with {@code "visit"}.
06bc494ca11e Initial load
duke
parents:
diff changeset
    73
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    74
 * <p>When such a new visit method is added, the default
06bc494ca11e Initial load
duke
parents:
diff changeset
    75
 * implementation in this class will be to call the {@link
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
 * #visitUnknown visitUnknown} method.  A new element scanner visitor
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
 * class will also be introduced to correspond to the new language
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
 * level; this visitor will have different default behavior for the
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
 * visit method in question.  When the new visitor is introduced, all
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
 * or portions of this visitor may be deprecated.
06bc494ca11e Initial load
duke
parents:
diff changeset
    81
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    82
 * @param <R> the return type of this visitor's methods.  Use {@link
06bc494ca11e Initial load
duke
parents:
diff changeset
    83
 *            Void} for visitors that do not need to return results.
06bc494ca11e Initial load
duke
parents:
diff changeset
    84
 * @param <P> the type of the additional parameter to this visitor's
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
 *            methods.  Use {@code Void} for visitors that do not need an
06bc494ca11e Initial load
duke
parents:
diff changeset
    86
 *            additional parameter.
06bc494ca11e Initial load
duke
parents:
diff changeset
    87
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    88
 * @author Joseph D. Darcy
06bc494ca11e Initial load
duke
parents:
diff changeset
    89
 * @author Scott Seligman
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
 * @author Peter von der Ah&eacute;
5841
7a8448425bb7 6933147: Provided new utility visitors supporting SourceVersion.RELEASE_7
darcy
parents: 5520
diff changeset
    91
 *
7a8448425bb7 6933147: Provided new utility visitors supporting SourceVersion.RELEASE_7
darcy
parents: 5520
diff changeset
    92
 * @see ElementScanner7
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    93
 * @since 1.6
06bc494ca11e Initial load
duke
parents:
diff changeset
    94
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
@SupportedSourceVersion(RELEASE_6)
06bc494ca11e Initial load
duke
parents:
diff changeset
    96
public class ElementScanner6<R, P> extends AbstractElementVisitor6<R, P> {
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    98
     * The specified default value.
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   100
    protected final R DEFAULT_VALUE;
06bc494ca11e Initial load
duke
parents:
diff changeset
   101
06bc494ca11e Initial load
duke
parents:
diff changeset
   102
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
     * Constructor for concrete subclasses; uses {@code null} for the
06bc494ca11e Initial load
duke
parents:
diff changeset
   104
     * default value.
06bc494ca11e Initial load
duke
parents:
diff changeset
   105
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   106
    protected ElementScanner6(){
06bc494ca11e Initial load
duke
parents:
diff changeset
   107
        DEFAULT_VALUE = null;
06bc494ca11e Initial load
duke
parents:
diff changeset
   108
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   109
06bc494ca11e Initial load
duke
parents:
diff changeset
   110
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   111
     * Constructor for concrete subclasses; uses the argument for the
06bc494ca11e Initial load
duke
parents:
diff changeset
   112
     * default value.
06bc494ca11e Initial load
duke
parents:
diff changeset
   113
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
    protected ElementScanner6(R defaultValue){
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
        DEFAULT_VALUE = defaultValue;
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
06bc494ca11e Initial load
duke
parents:
diff changeset
   118
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
     * Iterates over the given elements and calls {@link
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
     * #scan(Element, Object) scan(Element, P)} on each one.  Returns
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
     * the result of the last call to {@code scan} or {@code
06bc494ca11e Initial load
duke
parents:
diff changeset
   122
     * DEFAULT_VALUE} for an empty iterable.
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   124
     * @param iterable the elements to scan
06bc494ca11e Initial load
duke
parents:
diff changeset
   125
     * @param  p additional parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
     * @return the scan of the last element or {@code DEFAULT_VALUE} if no elements
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   128
    public final R scan(Iterable<? extends Element> iterable, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
        R result = DEFAULT_VALUE;
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
        for(Element e : iterable)
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
            result = scan(e, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   132
        return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   133
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   134
06bc494ca11e Initial load
duke
parents:
diff changeset
   135
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
     * Processes an element by calling {@code e.accept(this, p)};
06bc494ca11e Initial load
duke
parents:
diff changeset
   137
     * this method may be overridden by subclasses.
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
     * @return the result of visiting {@code e}.
06bc494ca11e Initial load
duke
parents:
diff changeset
   139
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   140
    public R scan(Element e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   141
        return e.accept(this, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   142
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   143
06bc494ca11e Initial load
duke
parents:
diff changeset
   144
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   145
     * Convenience method equivalent to {@code v.scan(e, null)}.
06bc494ca11e Initial load
duke
parents:
diff changeset
   146
     * @return the result of scanning {@code e}.
06bc494ca11e Initial load
duke
parents:
diff changeset
   147
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   148
    public final R scan(Element e) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   149
        return scan(e, null);
06bc494ca11e Initial load
duke
parents:
diff changeset
   150
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   151
06bc494ca11e Initial load
duke
parents:
diff changeset
   152
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   153
     * {@inheritDoc} This implementation scans the enclosed elements.
06bc494ca11e Initial load
duke
parents:
diff changeset
   154
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   155
     * @param e  the element to visit
06bc494ca11e Initial load
duke
parents:
diff changeset
   156
     * @param p  a visitor-specified parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   157
     * @return the result of scanning
06bc494ca11e Initial load
duke
parents:
diff changeset
   158
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
    public R visitPackage(PackageElement e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   160
        return scan(e.getEnclosedElements(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   161
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   162
06bc494ca11e Initial load
duke
parents:
diff changeset
   163
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
     * {@inheritDoc} This implementation scans the enclosed elements.
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
     * @param e  the element to visit
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
     * @param p  a visitor-specified parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
     * @return the result of scanning
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   170
    public R visitType(TypeElement e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
        return scan(e.getEnclosedElements(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   173
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
     * {@inheritDoc} This implementation scans the enclosed elements.
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
     * @param e  the element to visit
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
     * @param p  a visitor-specified parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
     * @return the result of scanning
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
    public R visitVariable(VariableElement e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   182
        return scan(e.getEnclosedElements(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
06bc494ca11e Initial load
duke
parents:
diff changeset
   185
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   186
     * {@inheritDoc} This implementation scans the parameters.
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
     * @param e  the element to visit
06bc494ca11e Initial load
duke
parents:
diff changeset
   189
     * @param p  a visitor-specified parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   190
     * @return the result of scanning
06bc494ca11e Initial load
duke
parents:
diff changeset
   191
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   192
    public R visitExecutable(ExecutableElement e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   193
        return scan(e.getParameters(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   194
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   195
06bc494ca11e Initial load
duke
parents:
diff changeset
   196
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   197
     * {@inheritDoc} This implementation scans the enclosed elements.
06bc494ca11e Initial load
duke
parents:
diff changeset
   198
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   199
     * @param e  the element to visit
06bc494ca11e Initial load
duke
parents:
diff changeset
   200
     * @param p  a visitor-specified parameter
06bc494ca11e Initial load
duke
parents:
diff changeset
   201
     * @return the result of scanning
06bc494ca11e Initial load
duke
parents:
diff changeset
   202
     */
06bc494ca11e Initial load
duke
parents:
diff changeset
   203
    public R visitTypeParameter(TypeParameterElement e, P p) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   204
        return scan(e.getEnclosedElements(), p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   205
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   206
}