jdk/test/langtools/tools/javac/lib/JavacTestingAbstractProcessor.java
David Simms cc278dbb8a 8389219: Implement JEP 401: Value Objects (Preview)
8389220: Implement JEP 539: Strict Field Initialization in the JVM (Preview)

Co-authored-by: David Simms <dsimms@openjdk.org>
Co-authored-by: Dan Smith <dlsmith@openjdk.org>
Co-authored-by: Frederic Parain <fparain@openjdk.org>
Co-authored-by: Tobias Hartmann <thartmann@openjdk.org>
Co-authored-by: Roger Riggs <rriggs@openjdk.org>
Co-authored-by: Vicente Romero <vromero@openjdk.org>
Co-authored-by: Axel Boldt-Christmas <aboldtch@openjdk.org>
Co-authored-by: Karen Kinnear <acorn@openjdk.org>
Co-authored-by: Alex Menkov <amenkov@openjdk.org>
Co-authored-by: Bill Huang <bhuang@openjdk.org>
Co-authored-by: Benoît Maillard <bmaillard@openjdk.org>
Co-authored-by: Christian Hagedorn <chagedorn@openjdk.org>
Co-authored-by: Chris Plummer <cjplummer@openjdk.org>
Co-authored-by: Casper Norrbin <cnorrbin@openjdk.org>
Co-authored-by: Coleen Phillimore <coleenp@openjdk.org>
Co-authored-by: David Beaumont <dbeaumont@openjdk.org>
Co-authored-by: Daniel D. Daugherty <dcubed@openjdk.org>
Co-authored-by: Damon Fenacci <dfenacci@openjdk.org>
Co-authored-by: David Holmes <dholmes@openjdk.org>
Co-authored-by: Dmitry Samersoff <dsamersoff@openjdk.org>
Co-authored-by: Eric Caspole <ecaspole@openjdk.org>
Co-authored-by: Evgeny Nikitin <enikitin@openjdk.org>
Co-authored-by: Ekaterina Pavlova <epavlova@openjdk.org>
Co-authored-by: Fei Yang <fyang@openjdk.org>
Co-authored-by: Dan Heidinga <heidinga@openjdk.org>
Co-authored-by: Harold Seigel <hseigel@openjdk.org>
Co-authored-by: Ioi Lam <iklam@openjdk.org>
Co-authored-by: Ivan Walulya <iwalulya@openjdk.org>
Co-authored-by: Jatin Bhateja <jbhateja@openjdk.org>
Co-authored-by: Jan Lahoda <jlahoda@openjdk.org>
Co-authored-by: Jim Laskey <jlaskey@openjdk.org>
Co-authored-by: John R Rose <jrose@openjdk.org>
Co-authored-by: Joel Sikström <jsikstro@openjdk.org>
Co-authored-by: Lois Foltan <lfoltan@openjdk.org>
Co-authored-by: Chen Liang <liach@openjdk.org>
Co-authored-by: Leonid Mesnik <lmesnik@openjdk.org>
Co-authored-by: Matias Saavedra Silva <matsaave@openjdk.org>
Co-authored-by: Marc Chevalier <mchevalier@openjdk.org>
Co-authored-by: Mandy Chung <mchung@openjdk.org>
Co-authored-by: Maurizio Cimadamore <mcimadamore@openjdk.org>
Co-authored-by: Markus Grönlund <mgronlun@openjdk.org>
Co-authored-by: Manuel Hässig <mhaessig@openjdk.org>
Co-authored-by: Nick Gasson <ngasson@openjdk.org>
Co-authored-by: Patricio Chilano Mateo <pchilanomate@openjdk.org>
Co-authored-by: Paul Hübner <phubner@openjdk.org>
Co-authored-by: Paul Sandoz <psandoz@openjdk.org>
Co-authored-by: Quan Anh Mai <qamai@openjdk.org>
Co-authored-by: Roberto Castañeda Lozano <rcastanedalo@openjdk.org>
Co-authored-by: Roland Westrelin <roland@openjdk.org>
Co-authored-by: Srikanth Adayapalam <sadayapalam@openjdk.org>
Co-authored-by: Aleksey Shipilev <shade@openjdk.org>
Co-authored-by: Stefan Johansson <sjohanss@openjdk.org>
Co-authored-by: Sergey Kuksenko <skuksenko@openjdk.org>
Co-authored-by: Serguei Spitsyn <sspitsyn@openjdk.org>
Co-authored-by: Stefan Karlsson <stefank@openjdk.org>
Co-authored-by: Thomas Stuefe <stuefe@openjdk.org>
Co-authored-by: Thomas Schatzl <tschatzl@openjdk.org>
Co-authored-by: Zoltan Majo <zmajo@openjdk.org>
Co-authored-by: Alan Bateman <alanb@openjdk.org>
Co-authored-by: Jaikiran Pai <jpai@openjdk.org>
Co-authored-by: Martin Doerr <mdoerr@openjdk.org>
Co-authored-by: Richard Reingruber <rrich@openjdk.org>
Co-authored-by: Feilong Jiang <fjiang@openjdk.org>
Co-authored-by: Daisuke Yamazaki <dyama@openjdk.org>
Reviewed-by: mcimadamore, liach, darcy, dcubed, aboldtch, coleenp, iklam, jlahoda, dlong, jpai, vklang, heidinga, sspitsyn, cjplummer
2026-07-31 00:45:12 +00:00

406 lines
13 KiB
Java

/*
* Copyright (c) 2010, 2026, 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.
*
* 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.
*/
import java.io.Writer;
import java.util.*;
import javax.annotation.processing.*;
import javax.lang.model.SourceVersion;
import javax.lang.model.element.*;
import javax.lang.model.type.*;
import javax.lang.model.util.*;
import static javax.lang.model.SourceVersion.*;
/**
* An abstract annotation processor tailored to {@code javac} regression testing.
*/
public abstract class JavacTestingAbstractProcessor extends AbstractProcessor {
private static final Set<String> allAnnotations = Set.of("*");
protected Elements eltUtils;
protected Elements elements;
protected Types typeUtils;
protected Types types;
protected Filer filer;
protected Messager messager;
protected Map<String, String> options;
/**
* Constructor for subclasses to call.
*/
protected JavacTestingAbstractProcessor() {
super();
}
/**
* Return the latest source version. Unless this method is
* overridden, an {@code IllegalStateException} will be thrown if a
* subclass has a {@code SupportedSourceVersion} annotation.
*/
@Override
public SourceVersion getSupportedSourceVersion() {
SupportedSourceVersion ssv = this.getClass().getAnnotation(SupportedSourceVersion.class);
if (ssv != null)
throw new IllegalStateException("SupportedSourceVersion annotation not supported here.");
return SourceVersion.latest();
}
/**
* If the processor class is annotated with {@link
* SupportedAnnotationTypes}, return an unmodifiable set with the
* same set of strings as the annotation. If the class is not so
* annotated, a one-element set containing {@code "*"} is returned
* to indicate all annotations are processed.
*
* @return the names of the annotation types supported by this
* processor, or an empty set if none
*/
@Override
public Set<String> getSupportedAnnotationTypes() {
SupportedAnnotationTypes sat = this.getClass().getAnnotation(SupportedAnnotationTypes.class);
if (sat != null)
return super.getSupportedAnnotationTypes();
else
return allAnnotations;
}
@Override
public void init(ProcessingEnvironment processingEnv) {
super.init(processingEnv);
elements = eltUtils = processingEnv.getElementUtils();
types = typeUtils = processingEnv.getTypeUtils();
filer = processingEnv.getFiler();
messager = processingEnv.getMessager();
options = processingEnv.getOptions();
}
protected void addExports(String moduleName, String... packageNames) {
for (String packageName : packageNames) {
try {
ModuleLayer layer = ModuleLayer.boot();
// removing dependency on java.util.Optional, valhalla only, to avoid VM warnings
Module m = layer.findModule(moduleName).get();
if (m == null)
throw new Error("module not found: " + moduleName);
m.addExports(packageName, getClass().getModule());
} catch (Exception e) {
throw new Error("failed to add exports for " + moduleName + "/" + packageName);
}
}
}
/*
* The set of visitors below will directly extend the most recent
* corresponding platform visitor type.
*/
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static abstract class AbstractAnnotationValueVisitor<R, P> extends AbstractAnnotationValueVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses to call.
*/
protected AbstractAnnotationValueVisitor() {
super();
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static abstract class AbstractElementVisitor<R, P> extends AbstractElementVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses to call.
*/
protected AbstractElementVisitor(){
super();
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static abstract class AbstractTypeVisitor<R, P> extends AbstractTypeVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses to call.
*/
protected AbstractTypeVisitor() {
super();
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class ElementKindVisitor<R, P> extends ElementKindVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses; uses {@code null} for the
* default value.
*/
protected ElementKindVisitor() {
super(null);
}
/**
* Constructor for concrete subclasses; uses the argument for the
* default value.
*
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*/
protected ElementKindVisitor(R defaultValue) {
super(defaultValue);
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class ElementScanner<R, P> extends ElementScannerPreview<R, P> {
/**
* Constructor for concrete subclasses; uses {@code null} for the
* default value.
*/
protected ElementScanner(){
super(null);
}
/**
* Constructor for concrete subclasses; uses the argument for the
* default value.
*/
protected ElementScanner(R defaultValue){
super(defaultValue);
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class SimpleAnnotationValueVisitor<R, P> extends SimpleAnnotationValueVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses; uses {@code null} for the
* default value.
*/
protected SimpleAnnotationValueVisitor() {
super(null);
}
/**
* Constructor for concrete subclasses; uses the argument for the
* default value.
*
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*/
protected SimpleAnnotationValueVisitor(R defaultValue) {
super(defaultValue);
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class SimpleElementVisitor<R, P> extends SimpleElementVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses; uses {@code null} for the
* default value.
*/
protected SimpleElementVisitor(){
super(null);
}
/**
* Constructor for concrete subclasses; uses the argument for the
* default value.
*
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*/
protected SimpleElementVisitor(R defaultValue){
super(defaultValue);
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class SimpleTypeVisitor<R, P> extends SimpleTypeVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses; uses {@code null} for the
* default value.
*/
protected SimpleTypeVisitor(){
super(null);
}
/**
* Constructor for concrete subclasses; uses the argument for the
* default value.
*
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*/
protected SimpleTypeVisitor(R defaultValue){
super(defaultValue);
}
}
@SupportedSourceVersion(RELEASE_28)
@SuppressWarnings("preview")
public static class TypeKindVisitor<R, P> extends TypeKindVisitorPreview<R, P> {
/**
* Constructor for concrete subclasses to call; uses {@code null}
* for the default value.
*/
protected TypeKindVisitor() {
super(null);
}
/**
* Constructor for concrete subclasses to call; uses the argument
* for the default value.
*
* @param defaultValue the value to assign to {@link #DEFAULT_VALUE}
*/
protected TypeKindVisitor(R defaultValue) {
super(defaultValue);
}
}
/**
* Vacuous implementation of javax.lang.model.util.Elements to aid
* in test development. Methods with defaults in the interface are
* *not* overridden to allow them to be tested.
*/
public static class VacuousElements implements Elements {
public VacuousElements() {}
@Override
public PackageElement getPackageElement(CharSequence name) {return null;}
@Override
public TypeElement getTypeElement(CharSequence name) {return null;}
@Override
public Map<? extends ExecutableElement, ? extends AnnotationValue>
getElementValuesWithDefaults(AnnotationMirror a) {return null;}
@Override
public String getDocComment(Element e) {return null;}
@Override
public boolean isDeprecated(Element e) {return false;}
@Override
public Name getBinaryName(TypeElement type) {return null;}
@Override
public PackageElement getPackageOf(Element e) {return null;}
@Override
public List<? extends Element> getAllMembers(TypeElement type) {return null;}
@Override
public List<? extends AnnotationMirror> getAllAnnotationMirrors(Element e) {return null;}
@Override
public boolean hides(Element hider, Element hidden) {return false;}
@Override
public boolean overrides(ExecutableElement overrider,
ExecutableElement overridden,
TypeElement type) {return false;}
@Override
public String getConstantExpression(Object value) {return null;}
@Override
public void printElements(Writer w, Element... elements) {}
@Override
public Name getName(CharSequence cs) {return null;}
@Override
public boolean isFunctionalInterface(TypeElement type) {return false;}
}
/**
* Vacuous implementation of javax.lang.model.util.Types to aid
* in test development. Methods with defaults in the interface are
* *not* overridden to allow them to be tested.
*/
public static class VacuousTypes implements Types {
public VacuousTypes() {}
@Override
public Element asElement(TypeMirror t) {return null;}
@Override
public boolean isSameType(TypeMirror t1, TypeMirror t2) {return false;}
@Override
public boolean isSubtype(TypeMirror t1, TypeMirror t2) {return false;};
@Override
public boolean isAssignable(TypeMirror t1, TypeMirror t2) {return false;};
@Override
public boolean contains(TypeMirror t1, TypeMirror t2) {return false;};
@Override
public boolean isSubsignature(ExecutableType m1, ExecutableType m2) {return false;}
@Override
public List<? extends TypeMirror> directSupertypes(TypeMirror t) {return null;}
@Override
public TypeMirror erasure(TypeMirror t) {return null;}
@Override
public TypeElement boxedClass(PrimitiveType p) {return null;}
@Override
public PrimitiveType unboxedType(TypeMirror t) {return null;}
@Override
public TypeMirror capture(TypeMirror t) {return null;}
@Override
public PrimitiveType getPrimitiveType(TypeKind kind) {return null;}
@Override
public NullType getNullType() {return null;}
@Override
public NoType getNoType(TypeKind kind) {return null;}
@Override
public ArrayType getArrayType(TypeMirror componentType) {return null;}
@Override
public WildcardType getWildcardType(TypeMirror extendsBound,
TypeMirror superBound) {return null;}
@Override
public DeclaredType getDeclaredType(TypeElement typeElem, TypeMirror... typeArgs) {return null;}
@Override
public DeclaredType getDeclaredType(DeclaredType containing,
TypeElement typeElem, TypeMirror... typeArgs) {return null;}
@Override
public TypeMirror asMemberOf(DeclaredType containing, Element element) {return null;}
}
}