src/share/classes/javax/lang/model/util/ElementKindVisitor6.java

Wed, 13 Apr 2011 11:35:43 -0700

author
jjh
date
Wed, 13 Apr 2011 11:35:43 -0700
changeset 972
694ff82ca68e
parent 851
cad51b6eb7a6
child 1054
111bbf1ad913
permissions
-rw-r--r--

7032975: API files in javax.annotation.processing need to be updated for references to JLS
7032972: API files in javax.tools need to updated for references to JVM Spec with editions/hyperlinks
7032978: API files in javax.tools need to be updated for references to JLS with editions/hyperlinks
Summary: Removed URLs and 'edition' references
Reviewed-by: jjg, darcy

duke@1 1 /*
darcy@851 2 * Copyright (c) 2005, 2011, 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 javax.lang.model.util;
duke@1 27
duke@1 28 import javax.lang.model.element.*;
duke@1 29 import static javax.lang.model.element.ElementKind.*;
duke@1 30 import javax.annotation.processing.SupportedSourceVersion;
duke@1 31 import static javax.lang.model.SourceVersion.*;
duke@1 32 import javax.lang.model.SourceVersion;
duke@1 33
duke@1 34
duke@1 35 /**
duke@1 36 * A visitor of program elements based on their {@linkplain
duke@1 37 * ElementKind kind} with default behavior appropriate for the {@link
duke@1 38 * SourceVersion#RELEASE_6 RELEASE_6} source version. For {@linkplain
duke@1 39 * Element elements} <tt><i>XYZ</i></tt> that may have more than one
duke@1 40 * kind, the <tt>visit<i>XYZ</i></tt> methods in this class delegate
duke@1 41 * to the <tt>visit<i>XYZKind</i></tt> method corresponding to the
duke@1 42 * first argument's kind. The <tt>visit<i>XYZKind</i></tt> methods
duke@1 43 * call {@link #defaultAction defaultAction}, passing their arguments
duke@1 44 * to {@code defaultAction}'s corresponding parameters.
duke@1 45 *
duke@1 46 * <p> Methods in this class may be overridden subject to their
duke@1 47 * general contract. Note that annotating methods in concrete
duke@1 48 * subclasses with {@link java.lang.Override @Override} will help
duke@1 49 * ensure that methods are overridden as intended.
duke@1 50 *
duke@1 51 * <p> <b>WARNING:</b> The {@code ElementVisitor} interface
duke@1 52 * implemented by this class may have methods added to it or the
duke@1 53 * {@code ElementKind} {@code enum} used in this case may have
duke@1 54 * constants added to it in the future to accommodate new, currently
duke@1 55 * unknown, language structures added to future versions of the
duke@1 56 * Java&trade; programming language. Therefore, methods whose names
duke@1 57 * begin with {@code "visit"} may be added to this class in the
duke@1 58 * future; to avoid incompatibilities, classes which extend this class
duke@1 59 * should not declare any instance methods with names beginning with
duke@1 60 * {@code "visit"}.
duke@1 61 *
duke@1 62 * <p>When such a new visit method is added, the default
duke@1 63 * implementation in this class will be to call the {@link
duke@1 64 * #visitUnknown visitUnknown} method. A new abstract element kind
duke@1 65 * visitor class will also be introduced to correspond to the new
duke@1 66 * language level; this visitor will have different default behavior
duke@1 67 * for the visit method in question. When the new visitor is
duke@1 68 * introduced, all or portions of this visitor may be deprecated.
duke@1 69 *
duke@1 70 * @param <R> the return type of this visitor's methods. Use {@link
duke@1 71 * Void} for visitors that do not need to return results.
duke@1 72 * @param <P> the type of the additional parameter to this visitor's
duke@1 73 * methods. Use {@code Void} for visitors that do not need an
duke@1 74 * additional parameter.
duke@1 75 *
duke@1 76 * @author Joseph D. Darcy
duke@1 77 * @author Scott Seligman
duke@1 78 * @author Peter von der Ah&eacute;
darcy@575 79 *
darcy@575 80 * @see ElementKindVisitor7
duke@1 81 * @since 1.6
duke@1 82 */
duke@1 83 @SupportedSourceVersion(RELEASE_6)
duke@1 84 public class ElementKindVisitor6<R, P>
duke@1 85 extends SimpleElementVisitor6<R, P> {
duke@1 86 /**
duke@1 87 * Constructor for concrete subclasses; uses {@code null} for the
duke@1 88 * default value.
duke@1 89 */
duke@1 90 protected ElementKindVisitor6() {
duke@1 91 super(null);
duke@1 92 }
duke@1 93
duke@1 94 /**
duke@1 95 * Constructor for concrete subclasses; uses the argument for the
duke@1 96 * default value.
duke@1 97 *
duke@1 98 * @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
duke@1 99 */
duke@1 100 protected ElementKindVisitor6(R defaultValue) {
duke@1 101 super(defaultValue);
duke@1 102 }
duke@1 103
duke@1 104 /**
duke@1 105 * {@inheritDoc}
duke@1 106 *
duke@1 107 * The element argument has kind {@code PACKAGE}.
duke@1 108 *
duke@1 109 * @param e {@inheritDoc}
duke@1 110 * @param p {@inheritDoc}
duke@1 111 * @return {@inheritDoc}
duke@1 112 */
duke@1 113 @Override
duke@1 114 public R visitPackage(PackageElement e, P p) {
duke@1 115 assert e.getKind() == PACKAGE: "Bad kind on PackageElement";
duke@1 116 return defaultAction(e, p);
duke@1 117 }
duke@1 118
duke@1 119 /**
duke@1 120 * Visits a type element, dispatching to the visit method for the
duke@1 121 * specific {@linkplain ElementKind kind} of type, {@code
duke@1 122 * ANNOTATION_TYPE}, {@code CLASS}, {@code ENUM}, or {@code
duke@1 123 * INTERFACE}.
duke@1 124 *
duke@1 125 * @param e {@inheritDoc}
duke@1 126 * @param p {@inheritDoc}
duke@1 127 * @return the result of the kind-specific visit method
duke@1 128 */
duke@1 129 @Override
duke@1 130 public R visitType(TypeElement e, P p) {
duke@1 131 ElementKind k = e.getKind();
duke@1 132 switch(k) {
duke@1 133 case ANNOTATION_TYPE:
duke@1 134 return visitTypeAsAnnotationType(e, p);
duke@1 135
duke@1 136 case CLASS:
duke@1 137 return visitTypeAsClass(e, p);
duke@1 138
duke@1 139 case ENUM:
duke@1 140 return visitTypeAsEnum(e, p);
duke@1 141
duke@1 142 case INTERFACE:
duke@1 143 return visitTypeAsInterface(e, p);
duke@1 144
duke@1 145 default:
duke@1 146 throw new AssertionError("Bad kind " + k + " for TypeElement" + e);
duke@1 147 }
duke@1 148 }
duke@1 149
duke@1 150 /**
duke@1 151 * Visits an {@code ANNOTATION_TYPE} type element by calling
duke@1 152 * {@code defaultAction}.
duke@1 153 *
duke@1 154 * @param e the element to visit
duke@1 155 * @param p a visitor-specified parameter
duke@1 156 * @return the result of {@code defaultAction}
duke@1 157 */
duke@1 158 public R visitTypeAsAnnotationType(TypeElement e, P p) {
duke@1 159 return defaultAction(e, p);
duke@1 160 }
duke@1 161
duke@1 162 /**
duke@1 163 * Visits a {@code CLASS} type element by calling {@code
duke@1 164 * defaultAction}.
duke@1 165 *
duke@1 166 * @param e the element to visit
duke@1 167 * @param p a visitor-specified parameter
duke@1 168 * @return the result of {@code defaultAction}
duke@1 169 */
duke@1 170 public R visitTypeAsClass(TypeElement e, P p) {
duke@1 171 return defaultAction(e, p);
duke@1 172 }
duke@1 173
duke@1 174 /**
duke@1 175 * Visits an {@code ENUM} type element by calling {@code
duke@1 176 * defaultAction}.
duke@1 177 *
duke@1 178 * @param e the element to visit
duke@1 179 * @param p a visitor-specified parameter
duke@1 180 * @return the result of {@code defaultAction}
duke@1 181 */
duke@1 182 public R visitTypeAsEnum(TypeElement e, P p) {
duke@1 183 return defaultAction(e, p);
duke@1 184 }
duke@1 185
duke@1 186 /**
duke@1 187 * Visits an {@code INTERFACE} type element by calling {@code
duke@1 188 * defaultAction}.
duke@1 189 *.
duke@1 190 * @param e the element to visit
duke@1 191 * @param p a visitor-specified parameter
duke@1 192 * @return the result of {@code defaultAction}
duke@1 193 */
duke@1 194 public R visitTypeAsInterface(TypeElement e, P p) {
duke@1 195 return defaultAction(e, p);
duke@1 196 }
duke@1 197
duke@1 198 /**
duke@1 199 * Visits a variable element, dispatching to the visit method for
duke@1 200 * the specific {@linkplain ElementKind kind} of variable, {@code
duke@1 201 * ENUM_CONSTANT}, {@code EXCEPTION_PARAMETER}, {@code FIELD},
darcy@851 202 * {@code LOCAL_VARIABLE}, {@code PARAMETER}, or {@code RESOURCE_VARIABLE}.
darcy@851 203 *
duke@1 204 * @param e {@inheritDoc}
duke@1 205 * @param p {@inheritDoc}
duke@1 206 * @return the result of the kind-specific visit method
duke@1 207 */
duke@1 208 @Override
duke@1 209 public R visitVariable(VariableElement e, P p) {
duke@1 210 ElementKind k = e.getKind();
duke@1 211 switch(k) {
duke@1 212 case ENUM_CONSTANT:
duke@1 213 return visitVariableAsEnumConstant(e, p);
duke@1 214
duke@1 215 case EXCEPTION_PARAMETER:
duke@1 216 return visitVariableAsExceptionParameter(e, p);
duke@1 217
duke@1 218 case FIELD:
duke@1 219 return visitVariableAsField(e, p);
duke@1 220
duke@1 221 case LOCAL_VARIABLE:
duke@1 222 return visitVariableAsLocalVariable(e, p);
duke@1 223
duke@1 224 case PARAMETER:
duke@1 225 return visitVariableAsParameter(e, p);
duke@1 226
darcy@851 227 case RESOURCE_VARIABLE:
darcy@851 228 return visitVariableAsResourceVariable(e, p);
darcy@851 229
duke@1 230 default:
duke@1 231 throw new AssertionError("Bad kind " + k + " for VariableElement" + e);
duke@1 232 }
duke@1 233 }
duke@1 234
duke@1 235 /**
duke@1 236 * Visits an {@code ENUM_CONSTANT} variable element by calling
duke@1 237 * {@code defaultAction}.
duke@1 238 *
duke@1 239 * @param e the element to visit
duke@1 240 * @param p a visitor-specified parameter
duke@1 241 * @return the result of {@code defaultAction}
duke@1 242 */
duke@1 243 public R visitVariableAsEnumConstant(VariableElement e, P p) {
duke@1 244 return defaultAction(e, p);
duke@1 245 }
duke@1 246
duke@1 247 /**
duke@1 248 * Visits an {@code EXCEPTION_PARAMETER} variable element by calling
duke@1 249 * {@code defaultAction}.
duke@1 250 *
duke@1 251 * @param e the element to visit
duke@1 252 * @param p a visitor-specified parameter
duke@1 253 * @return the result of {@code defaultAction}
duke@1 254 */
duke@1 255 public R visitVariableAsExceptionParameter(VariableElement e, P p) {
duke@1 256 return defaultAction(e, p);
duke@1 257 }
duke@1 258
duke@1 259 /**
duke@1 260 * Visits a {@code FIELD} variable element by calling
duke@1 261 * {@code defaultAction}.
duke@1 262 *
duke@1 263 * @param e the element to visit
duke@1 264 * @param p a visitor-specified parameter
duke@1 265 * @return the result of {@code defaultAction}
duke@1 266 */
duke@1 267 public R visitVariableAsField(VariableElement e, P p) {
duke@1 268 return defaultAction(e, p);
duke@1 269 }
duke@1 270
duke@1 271 /**
duke@1 272 * Visits a {@code LOCAL_VARIABLE} variable element by calling
duke@1 273 * {@code defaultAction}.
duke@1 274 *
duke@1 275 * @param e the element to visit
duke@1 276 * @param p a visitor-specified parameter
duke@1 277 * @return the result of {@code defaultAction}
duke@1 278 */
duke@1 279 public R visitVariableAsLocalVariable(VariableElement e, P p) {
duke@1 280 return defaultAction(e, p);
duke@1 281 }
duke@1 282
duke@1 283 /**
duke@1 284 * Visits a {@code PARAMETER} variable element by calling
duke@1 285 * {@code defaultAction}.
duke@1 286 *
duke@1 287 * @param e the element to visit
duke@1 288 * @param p a visitor-specified parameter
duke@1 289 * @return the result of {@code defaultAction}
duke@1 290 */
duke@1 291 public R visitVariableAsParameter(VariableElement e, P p) {
duke@1 292 return defaultAction(e, p);
duke@1 293 }
duke@1 294
duke@1 295 /**
darcy@851 296 * Visits a {@code RESOURCE_VARIABLE} variable element by calling
darcy@851 297 * {@code visitUnknown}.
darcy@851 298 *
darcy@851 299 * @param e the element to visit
darcy@851 300 * @param p a visitor-specified parameter
darcy@851 301 * @return the result of {@code visitUnknown}
darcy@851 302 *
darcy@851 303 * @since 1.7
darcy@851 304 */
darcy@851 305 public R visitVariableAsResourceVariable(VariableElement e, P p) {
darcy@851 306 return visitUnknown(e, p);
darcy@851 307 }
darcy@851 308
darcy@851 309 /**
duke@1 310 * Visits an executable element, dispatching to the visit method
duke@1 311 * for the specific {@linkplain ElementKind kind} of executable,
duke@1 312 * {@code CONSTRUCTOR}, {@code INSTANCE_INIT}, {@code METHOD}, or
duke@1 313 * {@code STATIC_INIT}.
duke@1 314 *
duke@1 315 * @param e {@inheritDoc}
duke@1 316 * @param p {@inheritDoc}
duke@1 317 * @return the result of the kind-specific visit method
duke@1 318 */
duke@1 319 @Override
duke@1 320 public R visitExecutable(ExecutableElement e, P p) {
duke@1 321 ElementKind k = e.getKind();
duke@1 322 switch(k) {
duke@1 323 case CONSTRUCTOR:
duke@1 324 return visitExecutableAsConstructor(e, p);
duke@1 325
duke@1 326 case INSTANCE_INIT:
duke@1 327 return visitExecutableAsInstanceInit(e, p);
duke@1 328
duke@1 329 case METHOD:
duke@1 330 return visitExecutableAsMethod(e, p);
duke@1 331
duke@1 332 case STATIC_INIT:
duke@1 333 return visitExecutableAsStaticInit(e, p);
duke@1 334
duke@1 335 default:
duke@1 336 throw new AssertionError("Bad kind " + k + " for ExecutableElement" + e);
duke@1 337 }
duke@1 338 }
duke@1 339
duke@1 340 /**
duke@1 341 * Visits a {@code CONSTRUCTOR} executable element by calling
duke@1 342 * {@code defaultAction}.
duke@1 343 *
duke@1 344 * @param e the element to visit
duke@1 345 * @param p a visitor-specified parameter
duke@1 346 * @return the result of {@code defaultAction}
duke@1 347 */
duke@1 348 public R visitExecutableAsConstructor(ExecutableElement e, P p) {
duke@1 349 return defaultAction(e, p);
duke@1 350 }
duke@1 351
duke@1 352 /**
duke@1 353 * Visits an {@code INSTANCE_INIT} executable element by calling
duke@1 354 * {@code defaultAction}.
duke@1 355 *
duke@1 356 * @param e the element to visit
duke@1 357 * @param p a visitor-specified parameter
duke@1 358 * @return the result of {@code defaultAction}
duke@1 359 */
duke@1 360 public R visitExecutableAsInstanceInit(ExecutableElement e, P p) {
duke@1 361 return defaultAction(e, p);
duke@1 362 }
duke@1 363
duke@1 364 /**
duke@1 365 * Visits a {@code METHOD} executable element by calling
duke@1 366 * {@code defaultAction}.
duke@1 367 *
duke@1 368 * @param e the element to visit
duke@1 369 * @param p a visitor-specified parameter
duke@1 370 * @return the result of {@code defaultAction}
duke@1 371 */
duke@1 372 public R visitExecutableAsMethod(ExecutableElement e, P p) {
duke@1 373 return defaultAction(e, p);
duke@1 374 }
duke@1 375
duke@1 376 /**
duke@1 377 * Visits a {@code STATIC_INIT} executable element by calling
duke@1 378 * {@code defaultAction}.
duke@1 379 *
duke@1 380 * @param e the element to visit
duke@1 381 * @param p a visitor-specified parameter
duke@1 382 * @return the result of {@code defaultAction}
duke@1 383 */
duke@1 384 public R visitExecutableAsStaticInit(ExecutableElement e, P p) {
duke@1 385 return defaultAction(e, p);
duke@1 386 }
duke@1 387
duke@1 388
duke@1 389 /**
duke@1 390 * {@inheritDoc}
duke@1 391 *
duke@1 392 * The element argument has kind {@code TYPE_PARAMETER}.
duke@1 393 *
duke@1 394 * @param e {@inheritDoc}
duke@1 395 * @param p {@inheritDoc}
duke@1 396 * @return {@inheritDoc}
duke@1 397 */
duke@1 398 @Override
duke@1 399 public R visitTypeParameter(TypeParameterElement e, P p) {
duke@1 400 assert e.getKind() == TYPE_PARAMETER: "Bad kind on TypeParameterElement";
duke@1 401 return defaultAction(e, p);
duke@1 402 }
duke@1 403 }

mercurial