53  * @apiNote
  54  * Methods in this class may be overridden subject to their general
  55  * contract.
  56  *
  57  * @param <R> the return type of this visitor's methods.  Use {@link
  58  *            Void} for visitors that do not need to return results.
  59  * @param <P> the type of the additional parameter to this visitor's
  60  *            methods.  Use {@code Void} for visitors that do not need an
  61  *            additional parameter.
  62  *
  63  * @see <a href="ElementKindVisitor6.html#note_for_subclasses">
  64  * <strong>Compatibility note for subclasses</strong></a>
  65  * @see ElementKindVisitor6
  66  * @see ElementKindVisitor7
  67  * @see ElementKindVisitor8
  68  * @see ElementKindVisitor9
  69  * @since 14
  70  */
  71 @jdk.internal.PreviewFeature(feature=jdk.internal.PreviewFeature.Feature.RECORDS,
  72                              essentialAPI=false)
  73 @SupportedSourceVersion(RELEASE_15)
  74 public class ElementKindVisitor14<R, P> extends ElementKindVisitor9<R, P> {
  75     /**
  76      * Constructor for concrete subclasses; uses {@code null} for the
  77      * default value.
  78      */
  79     protected ElementKindVisitor14() {
  80         super(null);
  81     }
  82 
  83     /**
  84      * Constructor for concrete subclasses; uses the argument for the
  85      * default value.
  86      *
  87      * @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
  88      */
  89     protected ElementKindVisitor14(R defaultValue) {
  90         super(defaultValue);
  91     }
  92 
  93     /**

  53  * @apiNote
  54  * Methods in this class may be overridden subject to their general
  55  * contract.
  56  *
  57  * @param <R> the return type of this visitor's methods.  Use {@link
  58  *            Void} for visitors that do not need to return results.
  59  * @param <P> the type of the additional parameter to this visitor's
  60  *            methods.  Use {@code Void} for visitors that do not need an
  61  *            additional parameter.
  62  *
  63  * @see <a href="ElementKindVisitor6.html#note_for_subclasses">
  64  * <strong>Compatibility note for subclasses</strong></a>
  65  * @see ElementKindVisitor6
  66  * @see ElementKindVisitor7
  67  * @see ElementKindVisitor8
  68  * @see ElementKindVisitor9
  69  * @since 14
  70  */
  71 @jdk.internal.PreviewFeature(feature=jdk.internal.PreviewFeature.Feature.RECORDS,
  72                              essentialAPI=false)
  73 @SupportedSourceVersion(RELEASE_16)
  74 public class ElementKindVisitor14<R, P> extends ElementKindVisitor9<R, P> {
  75     /**
  76      * Constructor for concrete subclasses; uses {@code null} for the
  77      * default value.
  78      */
  79     protected ElementKindVisitor14() {
  80         super(null);
  81     }
  82 
  83     /**
  84      * Constructor for concrete subclasses; uses the argument for the
  85      * default value.
  86      *
  87      * @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
  88      */
  89     protected ElementKindVisitor14(R defaultValue) {
  90         super(defaultValue);
  91     }
  92 
  93     /**