OverridesSpecEx.java revision 494:fe17a9dbef03 
1/*
2 * Copyright 2006 Sun Microsystems, Inc.  All Rights Reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 */
23
24/*
25 * @test
26 * @bug     6453386
27 * @summary Verify that example code in Elements.overrides works as spec'ed.
28 * @author  Scott Seligman
29 * @compile -g OverridesSpecEx.java
30 * @compile -processor OverridesSpecEx -proc:only OverridesSpecEx.java
31 */
32
33import java.util.Set;
34import javax.annotation.processing.*;
35import javax.lang.model.SourceVersion;
36import javax.lang.model.element.*;
37import javax.lang.model.type.*;
38import javax.lang.model.util.*;
39
40import static javax.lang.model.util.ElementFilter.*;
41
42
43@SupportedAnnotationTypes("*")
44public class OverridesSpecEx extends AbstractProcessor {
45
46    Elements elements;
47    Types types;
48
49    public void init(ProcessingEnvironment penv) {
50        super.init(penv);
51        elements = penv.getElementUtils();
52        types =  penv.getTypeUtils();
53    }
54
55    public boolean process(Set<? extends TypeElement> annoTypes,
56                           RoundEnvironment round) {
57        if (!round.processingOver())
58            doit(annoTypes, round);
59        return true;
60    }
61
62    @Override
63    public SourceVersion getSupportedSourceVersion() {
64        return SourceVersion.latest();
65    }
66
67    private void doit(Set<? extends TypeElement> annoTypes,
68                      RoundEnvironment round) {
69        TypeElement string = elements.getTypeElement("java.lang.String");
70        TypeElement object = elements.getTypeElement("java.lang.Object");
71
72        ExecutableElement m1 = null;
73        ExecutableElement m2 = null;
74        for (ExecutableElement m : methodsIn(string.getEnclosedElements())) {
75            if (m.getSimpleName().contentEquals("hashCode")) {
76                m1 = m;
77                break;
78            }
79        }
80        for (ExecutableElement m : methodsIn(object.getEnclosedElements())) {
81            if (m.getSimpleName().contentEquals("hashCode")) {
82                m2 = m;
83                break;
84            }
85        }
86
87        boolean res =
88            elements.overrides(m1, m2, (TypeElement) m1.getEnclosingElement());
89        System.out.println("String.hashCode overrides Object.hashCode?  " + res);
90        checkResult(res);
91
92        TypeElement a = elements.getTypeElement("OverridesSpecEx.A");
93        TypeElement b = elements.getTypeElement("OverridesSpecEx.B");
94        TypeElement c = elements.getTypeElement("OverridesSpecEx.C");
95
96        m1 = null;
97        m2 = null;
98        for (ExecutableElement m : methodsIn(a.getEnclosedElements()))
99            m1 = m;
100        for (ExecutableElement m : methodsIn(b.getEnclosedElements()))
101            m2 = m;
102
103        res = elements.overrides(m1, m2, a);
104        System.out.println("A.m overrides B.m in B?  " + res);
105        checkResult(!res);
106        res = elements.overrides(m1, m2, c);
107        System.out.println("A.m overrides B.m in C?  " + res);
108        checkResult(res);
109    }
110
111    private static void checkResult(boolean truthiness) {
112        if (!truthiness)
113            throw new AssertionError("Bogus result");
114    }
115
116
117    // Fodder for the processor
118
119    class A {
120        public void m() {}
121    }
122    interface B {
123        void m();
124    }
125    class C extends A implements B {
126    }
127}
128