Пакет javax.lang.model.util

Ожидаемое развитие посетителей

Остальная часть этого примечания покажет два примера изменений API в модели и посетителях, которые могут быть добавлены для поддержки функции языка. Примеры будут использовать дополнения к части элементов языка модели, но обновления для посетителей типов или значений аннотаций будут аналогичными. Два различных случая:

• Конструкции превью языка имеют соответствующий новый интерфейс моделирования и сопутствующий новый константный тип, например, новая константа ElementKind
• Конструкция превью языка только вызывает введение нового типа без нового интерфейса моделирования

Добавление поддержки посетителей для конструкции языка верхнего уровня

 package javax.lang.model.element;
 /**
  * Represents a preview feature 1.
  *
  * @since N
  */
  public interface PreviewFeature1Element extends Element {
  // Methods to retrieve information specific to the preview feature...
  }
 

  //  Sample diff of ElementKind.java
  +    /**
  +     * A preview feature 1.
  +     * @since N
  +     */
  +     PREVIEW_FEATURE_1,
 

 //  Sample diff for ElementVisitor.java
  +    /**
  +     * Visits a preview feature 1.
  +     *
  +     * @implSpec The default implementation visits a {@code
  +     * PreviewFeature1Element} by calling {@code visitUnknown(e, p)}.
  +     *
  +     * @param e  the element to visit
  +     * @param p  a visitor-specified parameter
  +     * @return a visitor-specified result
  +     * @since N
  +     */
  +    default R visitPreviewFeature1(PreviewFeature1Element e, P p) {
  +        return visitUnknown(e, p);
  +    }
 

 //  Sample diff for AbstractElementVisitorPreview.java
 //  Re-abstract visitPreviewFeature1.
  +    /**
  +     * {@inheritDoc ElementVisitor}
  +     *
  +     * @implSpec Visits a {@code PreviewFeature1Element} in a manner
  +     * defined by a subclass.
  +     *
  +     * @param e {@inheritDoc ElementVisitor}
  +     * @param p {@inheritDoc ElementVisitor}
  +     * @return a visitor-specified result
  +     * @since N
  +     */
  +    @Override
  +    public abstract R visitPreviewFeature1(PreviewFeature1Element e, P p);

 //  Sample diff for ElementKindVisitorPreview.java
 //  Take the default action for a preview feature 1.
  +
  +    /**
  +     * {@inheritDoc ElementVisitor}
  +     *
  +     * @implSpec This implementation calls {@code defaultAction}.
  +     *
  +     * @param e {@inheritDoc ElementVisitor}
  +     * @param p {@inheritDoc ElementVisitor}
  +     * @return  the result of {@code defaultAction}
  +     * @since N
  +     */
  +    @Override
  +    public R visitPreviewFeature1(PreviewFeature1Element e, P p) {
  +        return defaultAction(e, p);
  +    }

 //  Sample diff for ElementScannerPreview.java
 //  Scan the enclosed elements of a preview feature 1.
  +
  +    /**
  +     * {@inheritDoc ElementVisitor}
  +     *
  +     * @implSpec This implementation scans the enclosed elements.
  +     *
  +     * @param e {@inheritDoc ElementVisitor}
  +     * @param p {@inheritDoc ElementVisitor}
  +     * @return  {@inheritDoc ElementScanner6}
  +     * @since N
  +     */
  +    @Override
  +    public R visitPreviewFeature1(PreviewFeature1Element e, P p) {
  +        return scan(e.getEnclosedElements(), p);
  +    }

 //  Sample diff for SimpleElementVisitorPreview.java
 //  Take the default action for a preview feature 1.
  +    /**
  +     * {@inheritDoc ElementVisitor}
  +     *
  +     * @implSpec Visits a {@code PreviewFeature1Element} by calling
  +     * defaultAction.
  +     *
  +     * @param e {@inheritDoc ElementVisitor}
  +     * @param p {@inheritDoc ElementVisitor}
  +     * @return  {@inheritDoc ElementVisitor}
  +     * @since N
  +     */
  +    @Override
  +    public R visitPreviewFeature1(PreviewFeature1Element e, P p) {
  +        return defaultAction(e, p);
  +    }
 

Добавление поддержки посетителей для конструкции языка, которая является новым типом существующей конструкции

  //  Sample diff for ElementKind.java
  +    /**
  +     * A preview feature 2.
  +     * @since N
  +     */
  +     PREVIEW_FEATURE_2,
  ...
  // Update existing methods as needed
       public boolean isVariable() {
           return switch(this) {
           case ENUM_CONSTANT, FIELD, PARAMETER,
                LOCAL_VARIABLE, EXCEPTION_PARAMETER, RESOURCE_VARIABLE,
  -             BINDING_VARIABLE -> true;
  +             BINDING_VARIABLE, PREVIEW_FEATURE_2 -> true;
           default -> false;
           };
       }
 

 // Update visitVariable in ElementKindVisitor6:
        ...
        * @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}.
  +     * {@code LOCAL_VARIABLE}, {@code PARAMETER}, {@code RESOURCE_VARIABLE},
  +     * or {@code PREVIEW_FEATURE_2}.
        *
        * @param e {@inheritDoc ElementVisitor}
        * @param p {@inheritDoc ElementVisitor}
        * @return  the result of the kind-specific visit method
        */
        @Override
        public R visitVariable(VariableElement e, P p) {
        ...
           case BINDING_VARIABLE:
               return visitVariableAsBindingVariable(e, p);

  +        case PREVIEW_FEATURE_2:
  +            return visitVariableAsPreviewFeature2(e, p);
  +
           default:
               throw new AssertionError("Bad kind " + k + " for VariableElement" + e);
        ...
  +    /**
  +     * Visits a {@code PREVIEW_FEATURE_2} 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 N
  +     */
  +    public R visitVariableAsPreviewFeature2(VariableElement e, P p) {
  +        return visitUnknown(e, p);
  +    }
 

 // Sample diff for ElementKindVisitorPreview:
  +    /**
  +     * {@inheritDoc ElementKindVisitor6}
  +     *
  +     * @implSpec This implementation calls {@code defaultAction}.
  +     *
  +     * @param e {@inheritDoc ElementKindVisitor6}
  +     * @param p {@inheritDoc ElementKindVisitor6}
  +     * @return  the result of {@code defaultAction}
  +     *
  +     * @since N
  +     */
  +    @Override
  +    public R visitVariableAsPreviewFeature2(VariableElement e, P p) {
  +        return defaultAction(e, p);
  +    }
 

• JSR 269: API-интерфейс плагинового обработки аннотаций