langtools/src/jdk.compiler/share/classes/com/sun/tools/javac/processing/JavacRoundEnvironment.java
author jlahoda
Wed, 27 Aug 2014 07:44:00 +0200
changeset 26266 2d24bda701dc
parent 25874 83c19f00452c
child 31751 ec251536a004
permissions -rw-r--r--
8056061: Mark implementations of public interfaces with an annotation Summary: Adding @DefinedBy annotation to mark methods that implement public API methods; annotating the methods; adding a coding rules analyzer to enforce all such methods are annotated. Reviewed-by: jjg, mcimadamore, jfranck Contributed-by: jan.lahoda@oracle.com, jonathan.gibbons@oracle.com
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     1
/*
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
     2
 * Copyright (c) 2005, 2014, Oracle and/or its affiliates. All rights reserved.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
06bc494ca11e Initial load
duke
parents:
diff changeset
     4
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
06bc494ca11e Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3151
diff changeset
     7
 * published by the Free Software Foundation.  Oracle designates this
10
06bc494ca11e Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3151
diff changeset
     9
 * by Oracle in the LICENSE file that accompanied this code.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    10
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
06bc494ca11e Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
06bc494ca11e Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
06bc494ca11e Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
06bc494ca11e Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
06bc494ca11e Initial load
duke
parents:
diff changeset
    16
 *
06bc494ca11e Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
06bc494ca11e Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
06bc494ca11e Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
06bc494ca11e Initial load
duke
parents:
diff changeset
    20
 *
5520
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3151
diff changeset
    21
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3151
diff changeset
    22
 * or visit www.oracle.com if you need additional information or have any
86e4b9a9da40 6943119: Rebrand source copyright notices
ohair
parents: 3151
diff changeset
    23
 * questions.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    24
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    25
06bc494ca11e Initial load
duke
parents:
diff changeset
    26
package com.sun.tools.javac.processing;
06bc494ca11e Initial load
duke
parents:
diff changeset
    27
06bc494ca11e Initial load
duke
parents:
diff changeset
    28
import java.lang.annotation.Annotation;
06bc494ca11e Initial load
duke
parents:
diff changeset
    29
import javax.annotation.processing.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    30
import javax.lang.model.element.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    31
import javax.lang.model.util.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    32
import java.util.*;
06bc494ca11e Initial load
duke
parents:
diff changeset
    33
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    34
import com.sun.tools.javac.util.DefinedBy;
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    35
import com.sun.tools.javac.util.DefinedBy.Api;
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    36
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    37
/**
06bc494ca11e Initial load
duke
parents:
diff changeset
    38
 * Object providing state about a prior round of annotation processing.
06bc494ca11e Initial load
duke
parents:
diff changeset
    39
 *
3151
41800a86aad3 6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents: 3149
diff changeset
    40
 * <p>The methods in this class do not take type annotations into account,
41800a86aad3 6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents: 3149
diff changeset
    41
 * as target types, not java elements.
41800a86aad3 6854796: update JSR308 impl with latest code from type-annotations repo
jjg
parents: 3149
diff changeset
    42
 *
5847
1908176fd6e3 6944312: Potential rebranding issues in openjdk/langtools repository sources
jjg
parents: 5841
diff changeset
    43
 * <p><b>This is NOT part of any supported API.
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    44
 * If you write code that depends on this, you do so at your own risk.
06bc494ca11e Initial load
duke
parents:
diff changeset
    45
 * This code and its internal interfaces are subject to change or
06bc494ca11e Initial load
duke
parents:
diff changeset
    46
 * deletion without notice.</b>
06bc494ca11e Initial load
duke
parents:
diff changeset
    47
 */
06bc494ca11e Initial load
duke
parents:
diff changeset
    48
public class JavacRoundEnvironment implements RoundEnvironment {
06bc494ca11e Initial load
duke
parents:
diff changeset
    49
    // Default equals and hashCode methods are okay.
06bc494ca11e Initial load
duke
parents:
diff changeset
    50
06bc494ca11e Initial load
duke
parents:
diff changeset
    51
    private final boolean processingOver;
06bc494ca11e Initial load
duke
parents:
diff changeset
    52
    private final boolean errorRaised;
06bc494ca11e Initial load
duke
parents:
diff changeset
    53
    private final ProcessingEnvironment processingEnv;
06bc494ca11e Initial load
duke
parents:
diff changeset
    54
06bc494ca11e Initial load
duke
parents:
diff changeset
    55
    // Caller must pass in an immutable set
06bc494ca11e Initial load
duke
parents:
diff changeset
    56
    private final Set<? extends Element> rootElements;
06bc494ca11e Initial load
duke
parents:
diff changeset
    57
06bc494ca11e Initial load
duke
parents:
diff changeset
    58
    JavacRoundEnvironment(boolean processingOver,
06bc494ca11e Initial load
duke
parents:
diff changeset
    59
                          boolean errorRaised,
06bc494ca11e Initial load
duke
parents:
diff changeset
    60
                          Set<? extends Element> rootElements,
06bc494ca11e Initial load
duke
parents:
diff changeset
    61
                          ProcessingEnvironment processingEnv) {
06bc494ca11e Initial load
duke
parents:
diff changeset
    62
        this.processingOver = processingOver;
06bc494ca11e Initial load
duke
parents:
diff changeset
    63
        this.errorRaised = errorRaised;
06bc494ca11e Initial load
duke
parents:
diff changeset
    64
        this.rootElements = rootElements;
06bc494ca11e Initial load
duke
parents:
diff changeset
    65
        this.processingEnv = processingEnv;
06bc494ca11e Initial load
duke
parents:
diff changeset
    66
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    67
06bc494ca11e Initial load
duke
parents:
diff changeset
    68
    public String toString() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    69
        return String.format("[errorRaised=%b, rootElements=%s, processingOver=%b]",
06bc494ca11e Initial load
duke
parents:
diff changeset
    70
                             errorRaised,
06bc494ca11e Initial load
duke
parents:
diff changeset
    71
                             rootElements,
06bc494ca11e Initial load
duke
parents:
diff changeset
    72
                             processingOver);
06bc494ca11e Initial load
duke
parents:
diff changeset
    73
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    74
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    75
    @DefinedBy(Api.ANNOTATION_PROCESSING)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    76
    public boolean processingOver() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    77
        return processingOver;
06bc494ca11e Initial load
duke
parents:
diff changeset
    78
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    79
06bc494ca11e Initial load
duke
parents:
diff changeset
    80
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    81
     * Returns {@code true} if an error was raised in the prior round
06bc494ca11e Initial load
duke
parents:
diff changeset
    82
     * of processing; returns {@code false} otherwise.
06bc494ca11e Initial load
duke
parents:
diff changeset
    83
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
    84
     * @return {@code true} if an error was raised in the prior round
06bc494ca11e Initial load
duke
parents:
diff changeset
    85
     * of processing; returns {@code false} otherwise.
06bc494ca11e Initial load
duke
parents:
diff changeset
    86
     */
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    87
    @DefinedBy(Api.ANNOTATION_PROCESSING)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    88
    public boolean errorRaised() {
06bc494ca11e Initial load
duke
parents:
diff changeset
    89
        return errorRaised;
06bc494ca11e Initial load
duke
parents:
diff changeset
    90
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
    91
06bc494ca11e Initial load
duke
parents:
diff changeset
    92
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
    93
     * Returns the type elements specified by the prior round.
06bc494ca11e Initial load
duke
parents:
diff changeset
    94
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
    95
     * @return the types elements specified by the prior round, or an
06bc494ca11e Initial load
duke
parents:
diff changeset
    96
     * empty set if there were none
06bc494ca11e Initial load
duke
parents:
diff changeset
    97
     */
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
    98
    @DefinedBy(Api.ANNOTATION_PROCESSING)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
    99
    public Set<? extends Element> getRootElements() {
06bc494ca11e Initial load
duke
parents:
diff changeset
   100
        return rootElements;
06bc494ca11e Initial load
duke
parents:
diff changeset
   101
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   102
06bc494ca11e Initial load
duke
parents:
diff changeset
   103
    private static final String NOT_AN_ANNOTATION_TYPE =
06bc494ca11e Initial load
duke
parents:
diff changeset
   104
        "The argument does not represent an annotation type: ";
06bc494ca11e Initial load
duke
parents:
diff changeset
   105
06bc494ca11e Initial load
duke
parents:
diff changeset
   106
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   107
     * Returns the elements annotated with the given annotation type.
06bc494ca11e Initial load
duke
parents:
diff changeset
   108
     * Only type elements <i>included</i> in this round of annotation
06bc494ca11e Initial load
duke
parents:
diff changeset
   109
     * processing, or declarations of members, parameters, or type
06bc494ca11e Initial load
duke
parents:
diff changeset
   110
     * parameters declared within those, are returned.  Included type
14259
fb94a1df0d53 8000208: fix langtools javadoc comment issues
jjg
parents: 10192
diff changeset
   111
     * elements are {@linkplain #getRootElements specified
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   112
     * types} and any types nested within them.
06bc494ca11e Initial load
duke
parents:
diff changeset
   113
     *
06bc494ca11e Initial load
duke
parents:
diff changeset
   114
     * @param a  annotation type being requested
06bc494ca11e Initial load
duke
parents:
diff changeset
   115
     * @return the elements annotated with the given annotation type,
06bc494ca11e Initial load
duke
parents:
diff changeset
   116
     * or an empty set if there are none
06bc494ca11e Initial load
duke
parents:
diff changeset
   117
     */
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   118
    @DefinedBy(Api.ANNOTATION_PROCESSING)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   119
    public Set<? extends Element> getElementsAnnotatedWith(TypeElement a) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   120
        Set<Element> result = Collections.emptySet();
06bc494ca11e Initial load
duke
parents:
diff changeset
   121
        if (a.getKind() != ElementKind.ANNOTATION_TYPE)
06bc494ca11e Initial load
duke
parents:
diff changeset
   122
            throw new IllegalArgumentException(NOT_AN_ANNOTATION_TYPE + a);
06bc494ca11e Initial load
duke
parents:
diff changeset
   123
25690
b1dac768ab79 8050430: Provided new utility visitors supporting SourceVersion.RELEASE_9
darcy
parents: 23795
diff changeset
   124
        ElementScanner9<Set<Element>, TypeElement> scanner =
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   125
            new AnnotationSetScanner(result);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   126
06bc494ca11e Initial load
duke
parents:
diff changeset
   127
        for (Element element : rootElements)
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   128
            result = scanner.scan(element, a);
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   129
06bc494ca11e Initial load
duke
parents:
diff changeset
   130
        return result;
06bc494ca11e Initial load
duke
parents:
diff changeset
   131
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   132
06bc494ca11e Initial load
duke
parents:
diff changeset
   133
    // Could be written as a local class inside getElementsAnnotatedWith
06bc494ca11e Initial load
duke
parents:
diff changeset
   134
    private class AnnotationSetScanner extends
25690
b1dac768ab79 8050430: Provided new utility visitors supporting SourceVersion.RELEASE_9
darcy
parents: 23795
diff changeset
   135
        ElementScanner9<Set<Element>, TypeElement> {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   136
        // Insertion-order preserving set
22163
3651128c74eb 8030244: Update langtools to use Diamond
briangoetz
parents: 18669
diff changeset
   137
        Set<Element> annotatedElements = new LinkedHashSet<>();
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   138
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   139
        AnnotationSetScanner(Set<Element> defaultSet) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   140
            super(defaultSet);
06bc494ca11e Initial load
duke
parents:
diff changeset
   141
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   142
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   143
        @Override @DefinedBy(Api.LANGUAGE_MODEL)
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   144
        public Set<Element> visitType(TypeElement e, TypeElement p) {
18669
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   145
            // Type parameters are not considered to be enclosed by a type
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   146
            scan(e.getTypeParameters(), p);
23795
62509b72088e 8038080: annotation processors don't visit declaration parameter annotations
jfranck
parents: 22449
diff changeset
   147
            return super.visitType(e, p);
18669
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   148
        }
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   149
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   150
        @Override @DefinedBy(Api.LANGUAGE_MODEL)
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   151
        public Set<Element> visitExecutable(ExecutableElement e, TypeElement p) {
18669
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   152
            // Type parameters are not considered to be enclosed by an executable
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   153
            scan(e.getTypeParameters(), p);
23795
62509b72088e 8038080: annotation processors don't visit declaration parameter annotations
jfranck
parents: 22449
diff changeset
   154
            return super.visitExecutable(e, p);
18669
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   155
        }
99572d59c916 7162089: Add support for repeating annotations to javax.annotation.processing
darcy
parents: 14259
diff changeset
   156
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   157
        @Override @DefinedBy(Api.LANGUAGE_MODEL)
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   158
        public Set<Element> scan(Element e, TypeElement p) {
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   159
            java.util.List<? extends AnnotationMirror> annotationMirrors =
06bc494ca11e Initial load
duke
parents:
diff changeset
   160
                processingEnv.getElementUtils().getAllAnnotationMirrors(e);
06bc494ca11e Initial load
duke
parents:
diff changeset
   161
            for (AnnotationMirror annotationMirror : annotationMirrors) {
22441
05b907a2f359 8030049: RoundEnvironment.getElementsAnnotatedWith receives wrong elements
jlahoda
parents: 22163
diff changeset
   162
                if (p.equals(annotationMirror.getAnnotationType().asElement()))
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   163
                    annotatedElements.add(e);
06bc494ca11e Initial load
duke
parents:
diff changeset
   164
            }
06bc494ca11e Initial load
duke
parents:
diff changeset
   165
            e.accept(this, p);
06bc494ca11e Initial load
duke
parents:
diff changeset
   166
            return annotatedElements;
06bc494ca11e Initial load
duke
parents:
diff changeset
   167
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   168
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   169
06bc494ca11e Initial load
duke
parents:
diff changeset
   170
    /**
06bc494ca11e Initial load
duke
parents:
diff changeset
   171
     * {@inheritdoc}
06bc494ca11e Initial load
duke
parents:
diff changeset
   172
     */
26266
2d24bda701dc 8056061: Mark implementations of public interfaces with an annotation
jlahoda
parents: 25874
diff changeset
   173
    @DefinedBy(Api.ANNOTATION_PROCESSING)
10
06bc494ca11e Initial load
duke
parents:
diff changeset
   174
    public Set<? extends Element> getElementsAnnotatedWith(Class<? extends Annotation> a) {
06bc494ca11e Initial load
duke
parents:
diff changeset
   175
        if (!a.isAnnotation())
06bc494ca11e Initial load
duke
parents:
diff changeset
   176
            throw new IllegalArgumentException(NOT_AN_ANNOTATION_TYPE + a);
06bc494ca11e Initial load
duke
parents:
diff changeset
   177
        String name = a.getCanonicalName();
06bc494ca11e Initial load
duke
parents:
diff changeset
   178
        if (name == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   179
            return Collections.emptySet();
06bc494ca11e Initial load
duke
parents:
diff changeset
   180
        else {
06bc494ca11e Initial load
duke
parents:
diff changeset
   181
            TypeElement annotationType = processingEnv.getElementUtils().getTypeElement(name);
06bc494ca11e Initial load
duke
parents:
diff changeset
   182
            if (annotationType == null)
06bc494ca11e Initial load
duke
parents:
diff changeset
   183
                return Collections.emptySet();
06bc494ca11e Initial load
duke
parents:
diff changeset
   184
            else
06bc494ca11e Initial load
duke
parents:
diff changeset
   185
                return getElementsAnnotatedWith(annotationType);
06bc494ca11e Initial load
duke
parents:
diff changeset
   186
        }
06bc494ca11e Initial load
duke
parents:
diff changeset
   187
    }
06bc494ca11e Initial load
duke
parents:
diff changeset
   188
}