67  *             for visitors that do not need to return results.

    67  *             for visitors that do not need to return results.

    68  * @param <P> the type of the additional parameter to this visitor's methods.  Use {@code Void}

    68  * @param <P> the type of the additional parameter to this visitor's methods.  Use {@code Void}

    69  *              for visitors that do not need an additional parameter.

    69  *              for visitors that do not need an additional parameter.

    70  *

    70  *

    71  * @see SimpleElementVisitor6

    71  * @see SimpleElementVisitor6

    72  * @since 1.7

    73  * @since 1.7

    73  */

    74  */

    74 @SupportedSourceVersion(RELEASE_7)

    75 @SupportedSourceVersion(RELEASE_7)

    75 public class SimpleElementVisitor7<R, P> extends SimpleElementVisitor6<R, P> {

    76 public class SimpleElementVisitor7<R, P> extends SimpleElementVisitor6<R, P> {

    76     /**

    77     /**