/*
 * Copyright (c) 2005, 2020, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.  Oracle designates this
 * particular file as subject to the "Classpath" exception as provided
 * by Oracle in the LICENSE file that accompanied this code.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

package javax.lang.model.util;

import javax.lang.model.element.*;
import static javax.lang.model.element.ElementKind.*;
import javax.annotation.processing.SupportedSourceVersion;
import static javax.lang.model.SourceVersion.*;
import javax.lang.model.SourceVersion;


A visitor of program elements based on their kind with default behavior appropriate for the RELEASE_6 source version. For elements Xyz that may have more than one kind, the visitXyz methods in this class delegate to the visitXyzAsKind method corresponding to the first argument's kind. The visitXyzAsKind methods call defaultAction, passing their arguments to defaultAction's corresponding parameters.
Author:Joseph D. Darcy, Scott Seligman, Peter von der Ahé
Type parameters:
  • <R> – the return type of this visitor's methods. Use Void for visitors that do not need to return results.
  • <P> – the type of the additional parameter to this visitor's methods. Use Void for visitors that do not need an additional parameter.
See Also:
API Note: Methods in this class may be overridden subject to their general contract.

WARNING: The ElementVisitor interface implemented by this class may have methods added to it or the ElementKind enum used in this class may have constants added to it in the future to accommodate new, currently unknown, language structures added to future versions of the Java programming language. Therefore, methods whose names begin with "visit" may be added to this class in the future; to avoid incompatibilities, classes and subclasses which extend this class should not declare any instance methods with names beginning with "visit".

When such a new visit method is added, the default implementation in this class will be to directly or indirectly call the visitUnknown method. A new abstract element kind visitor class will also be introduced to correspond to the new language level; this visitor will have different default behavior for the visit method in question. When a new visitor is introduced, portions of this visitor class may be deprecated, including its constructors.

Since:1.6
/** * A visitor of program elements based on their {@linkplain * ElementKind kind} with default behavior appropriate for the {@link * SourceVersion#RELEASE_6 RELEASE_6} source version. For {@linkplain * Element elements} <code><i>Xyz</i></code> that may have more than one * kind, the <code>visit<i>Xyz</i></code> methods in this class delegate * to the <code>visit<i>Xyz</i>As<i>Kind</i></code> method corresponding to the * first argument's kind. The <code>visit<i>Xyz</i>As<i>Kind</i></code> methods * call {@link #defaultAction defaultAction}, passing their arguments * to {@code defaultAction}'s corresponding parameters. * * @apiNote * Methods in this class may be overridden subject to their general * contract. * * <p id=note_for_subclasses><strong>WARNING:</strong> The {@code * ElementVisitor} interface implemented by this class may have * methods added to it or the {@link ElementKind ElementKind enum} * used in this class may have constants added to it in the future to * accommodate new, currently unknown, language structures added to * future versions of the Java programming language. * Therefore, methods whose names begin with {@code "visit"} may be * added to this class in the future; to avoid incompatibilities, * classes and subclasses which extend this class should not declare * any instance methods with names beginning with {@code "visit"}.</p> * * <p>When such a new visit method is added, the default * implementation in this class will be to directly or indirectly call * the {@link #visitUnknown visitUnknown} method. A new abstract * element kind visitor class will also be introduced to correspond to * the new language level; this visitor will have different default * behavior for the visit method in question. When a new visitor is * introduced, portions of this visitor class may be deprecated, * including its constructors. * * @param <R> the return type of this visitor's methods. Use {@link * Void} for visitors that do not need to return results. * @param <P> the type of the additional parameter to this visitor's * methods. Use {@code Void} for visitors that do not need an * additional parameter. * * @author Joseph D. Darcy * @author Scott Seligman * @author Peter von der Ah&eacute; * * @see ElementKindVisitor7 * @see ElementKindVisitor8 * @see ElementKindVisitor9 * @see ElementKindVisitor14 * @since 1.6 */
@SupportedSourceVersion(RELEASE_6) public class ElementKindVisitor6<R, P> extends SimpleElementVisitor6<R, P> {
Constructor for concrete subclasses; uses null for the default value.
Deprecated:Release 6 is obsolete; update to a visitor for a newer release level.
/** * Constructor for concrete subclasses; uses {@code null} for the * default value. * @deprecated Release 6 is obsolete; update to a visitor for a newer * release level. */
@Deprecated(since="9") protected ElementKindVisitor6() { super(null); }
Constructor for concrete subclasses; uses the argument for the default value.
Params:
Deprecated:Release 6 is obsolete; update to a visitor for a newer release level.
/** * Constructor for concrete subclasses; uses the argument for the * default value. * * @param defaultValue the value to assign to {@link #DEFAULT_VALUE} * @deprecated Release 6 is obsolete; update to a visitor for a newer * release level. */
@Deprecated(since="9") protected ElementKindVisitor6(R defaultValue) { super(defaultValue); }
{@inheritDoc} The element argument has kind PACKAGE.
Params:
  • e – {@inheritDoc}
  • p – {@inheritDoc}
Implementation Requirements:This implementation calls defaultAction.
Returns: {@inheritDoc}
/** * {@inheritDoc} * * The element argument has kind {@code PACKAGE}. * * @implSpec This implementation calls {@code defaultAction}. * * @param e {@inheritDoc} * @param p {@inheritDoc} * @return {@inheritDoc} */
@Override public R visitPackage(PackageElement e, P p) { assert e.getKind() == PACKAGE: "Bad kind on PackageElement"; return defaultAction(e, p); }
{@inheritDoc}
Params:
  • e – {@inheritDoc}
  • p – {@inheritDoc}
Implementation Requirements:This implementation dispatches to the visit method for the specific kind of type, ANNOTATION_TYPE, CLASS, ENUM, or INTERFACE.
Returns: the result of the kind-specific visit method
/** * {@inheritDoc} * * @implSpec This implementation dispatches to the visit method for the * specific {@linkplain ElementKind kind} of type, {@code * ANNOTATION_TYPE}, {@code CLASS}, {@code ENUM}, or {@code * INTERFACE}. * * @param e {@inheritDoc} * @param p {@inheritDoc} * @return the result of the kind-specific visit method */
@SuppressWarnings("preview") @Override public R visitType(TypeElement e, P p) { ElementKind k = e.getKind(); switch(k) { case ANNOTATION_TYPE: return visitTypeAsAnnotationType(e, p); case CLASS: return visitTypeAsClass(e, p); case ENUM: return visitTypeAsEnum(e, p); case INTERFACE: return visitTypeAsInterface(e, p); case RECORD: return visitTypeAsRecord(e, p); default: throw new AssertionError("Bad kind " + k + " for TypeElement" + e); } }
Visits an ANNOTATION_TYPE type element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits an {@code ANNOTATION_TYPE} type element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitTypeAsAnnotationType(TypeElement e, P p) { return defaultAction(e, p); }
Visits a CLASS type element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code CLASS} type element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitTypeAsClass(TypeElement e, P p) { return defaultAction(e, p); }
Visits an ENUM type element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits an {@code ENUM} type element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitTypeAsEnum(TypeElement e, P p) { return defaultAction(e, p); }
Visits an INTERFACE type element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction. .
Returns: the result of defaultAction
/** * Visits an {@code INTERFACE} type element. * * @implSpec This implementation calls {@code defaultAction}. *. * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitTypeAsInterface(TypeElement e, P p) { return defaultAction(e, p); }
{@preview Associated with records, a preview feature of the Java language. This method is associated with records, a preview feature of the Java language. Preview features may be removed in a future release, or upgraded to permanent features of the Java language.} Visits a RECORD type element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls visitUnknown. .
Returns: the result of visitUnknown
Since:14
/** * {@preview Associated with records, a preview feature of the Java language. * * This method is associated with <i>records</i>, a preview * feature of the Java language. Preview features * may be removed in a future release, or upgraded to permanent * features of the Java language.} * * Visits a {@code RECORD} type element. * * @implSpec This implementation calls {@code visitUnknown}. *. * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code visitUnknown} * * @since 14 */
@jdk.internal.PreviewFeature(feature=jdk.internal.PreviewFeature.Feature.RECORDS, essentialAPI=false) public R visitTypeAsRecord(TypeElement e, P p) { return visitUnknown(e, p); }
Visits a variable element
Params:
  • e – {@inheritDoc}
  • p – {@inheritDoc}
Implementation Requirements:This implementation dispatches to the visit method for the specific kind of variable, ENUM_CONSTANT, EXCEPTION_PARAMETER, FIELD, LOCAL_VARIABLE, PARAMETER, or RESOURCE_VARIABLE.
Returns: the result of the kind-specific visit method
/** * Visits a variable element * * @implSpec This implementation dispatches to the visit method for * the specific {@linkplain ElementKind kind} of variable, {@code * ENUM_CONSTANT}, {@code EXCEPTION_PARAMETER}, {@code FIELD}, * {@code LOCAL_VARIABLE}, {@code PARAMETER}, or {@code RESOURCE_VARIABLE}. * * @param e {@inheritDoc} * @param p {@inheritDoc} * @return the result of the kind-specific visit method */
@Override public R visitVariable(VariableElement e, P p) { ElementKind k = e.getKind(); switch(k) { case ENUM_CONSTANT: return visitVariableAsEnumConstant(e, p); case EXCEPTION_PARAMETER: return visitVariableAsExceptionParameter(e, p); case FIELD: return visitVariableAsField(e, p); case LOCAL_VARIABLE: return visitVariableAsLocalVariable(e, p); case PARAMETER: return visitVariableAsParameter(e, p); case RESOURCE_VARIABLE: return visitVariableAsResourceVariable(e, p); case BINDING_VARIABLE: return visitVariableAsBindingVariable(e, p); default: throw new AssertionError("Bad kind " + k + " for VariableElement" + e); } }
Visits an ENUM_CONSTANT variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction. .
Returns: the result of defaultAction
/** * Visits an {@code ENUM_CONSTANT} variable element. * * @implSpec This implementation calls {@code defaultAction}. *. * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitVariableAsEnumConstant(VariableElement e, P p) { return defaultAction(e, p); }
Visits an EXCEPTION_PARAMETER variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction. .
Returns: the result of defaultAction
/** * Visits an {@code EXCEPTION_PARAMETER} variable element. * * @implSpec This implementation calls {@code defaultAction}. *. * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitVariableAsExceptionParameter(VariableElement e, P p) { return defaultAction(e, p); }
Visits a FIELD variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction. .
Returns: the result of defaultAction
/** * Visits a {@code FIELD} variable element. * * @implSpec This implementation calls {@code defaultAction}. *. * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitVariableAsField(VariableElement e, P p) { return defaultAction(e, p); }
Visits a LOCAL_VARIABLE variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code LOCAL_VARIABLE} variable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitVariableAsLocalVariable(VariableElement e, P p) { return defaultAction(e, p); }
Visits a PARAMETER variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code PARAMETER} variable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitVariableAsParameter(VariableElement e, P p) { return defaultAction(e, p); }
Visits a RESOURCE_VARIABLE variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls visitUnknown.
Returns: the result of visitUnknown
Since:1.7
/** * Visits a {@code RESOURCE_VARIABLE} variable element. * * @implSpec This implementation calls {@code visitUnknown}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code visitUnknown} * * @since 1.7 */
public R visitVariableAsResourceVariable(VariableElement e, P p) { return visitUnknown(e, p); }
Visits a BINDING_VARIABLE variable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls visitUnknown.
Returns: the result of visitUnknown
Since:14
/** * Visits a {@code BINDING_VARIABLE} variable element. * * @implSpec This implementation calls {@code visitUnknown}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code visitUnknown} * * @since 14 */
public R visitVariableAsBindingVariable(VariableElement e, P p) { return visitUnknown(e, p); }
{@inheritDoc}
Params:
  • e – {@inheritDoc}
  • p – {@inheritDoc}
Implementation Requirements:This implementation dispatches to the visit method for the specific kind of executable, CONSTRUCTOR, INSTANCE_INIT, METHOD, or STATIC_INIT.
Returns: the result of the kind-specific visit method
/** * {@inheritDoc} * * @implSpec This implementation dispatches to the visit method * for the specific {@linkplain ElementKind kind} of executable, * {@code CONSTRUCTOR}, {@code INSTANCE_INIT}, {@code METHOD}, or * {@code STATIC_INIT}. * * @param e {@inheritDoc} * @param p {@inheritDoc} * @return the result of the kind-specific visit method */
@Override public R visitExecutable(ExecutableElement e, P p) { ElementKind k = e.getKind(); switch(k) { case CONSTRUCTOR: return visitExecutableAsConstructor(e, p); case INSTANCE_INIT: return visitExecutableAsInstanceInit(e, p); case METHOD: return visitExecutableAsMethod(e, p); case STATIC_INIT: return visitExecutableAsStaticInit(e, p); default: throw new AssertionError("Bad kind " + k + " for ExecutableElement" + e); } }
Visits a CONSTRUCTOR executable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code CONSTRUCTOR} executable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitExecutableAsConstructor(ExecutableElement e, P p) { return defaultAction(e, p); }
Visits an INSTANCE_INIT executable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits an {@code INSTANCE_INIT} executable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitExecutableAsInstanceInit(ExecutableElement e, P p) { return defaultAction(e, p); }
Visits a METHOD executable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code METHOD} executable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitExecutableAsMethod(ExecutableElement e, P p) { return defaultAction(e, p); }
Visits a STATIC_INIT executable element.
Params:
  • e – the element to visit
  • p – a visitor-specified parameter
Implementation Requirements:This implementation calls defaultAction.
Returns: the result of defaultAction
/** * Visits a {@code STATIC_INIT} executable element. * * @implSpec This implementation calls {@code defaultAction}. * * @param e the element to visit * @param p a visitor-specified parameter * @return the result of {@code defaultAction} */
public R visitExecutableAsStaticInit(ExecutableElement e, P p) { return defaultAction(e, p); }
{@inheritDoc} The element argument has kind TYPE_PARAMETER.
Params:
  • e – {@inheritDoc}
  • p – {@inheritDoc}
Implementation Requirements:This implementation calls defaultAction.
Returns: {@inheritDoc}
/** * {@inheritDoc} * * The element argument has kind {@code TYPE_PARAMETER}. * * @implSpec This implementation calls {@code defaultAction}. * * @param e {@inheritDoc} * @param p {@inheritDoc} * @return {@inheritDoc} */
@Override public R visitTypeParameter(TypeParameterElement e, P p) { assert e.getKind() == TYPE_PARAMETER: "Bad kind on TypeParameterElement"; return defaultAction(e, p); } }