71  * @param <P> the type of the additional parameter to this visitor's

    71  * @param <P> the type of the additional parameter to this visitor's

    72  *            methods.  Use {@code Void} for visitors that do not need an

    72  *            methods.  Use {@code Void} for visitors that do not need an

    73  *            additional parameter.

    73  *            additional parameter.

    74  *

    74  *

    75  * @see ElementKindVisitor6

    75  * @see ElementKindVisitor6

    76  * @since 1.7

    77  * @since 1.7

    77  */

    78  */

    78 @SupportedSourceVersion(RELEASE_7)

    79 @SupportedSourceVersion(RELEASE_7)

    79 public class ElementKindVisitor7<R, P> extends ElementKindVisitor6<R, P> {

    80 public class ElementKindVisitor7<R, P> extends ElementKindVisitor6<R, P> {

    80     /**

    81     /**