1 /* 2 * Copyright (c) 2011, Oracle and/or its affiliates. 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 Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 20 * or visit www.oracle.com if you need additional information or have any 21 * questions. 22 */ 23 24 /* 25 * @test 26 * @bug 6505047 27 * @summary javax.lang.model.element.Element.getEnclosingElement() doesn't return null for type parameter 28 * @library /tools/javac/lib 29 * @build JavacTestingAbstractProcessor TestTypeParameter 30 * @compile -processor TestTypeParameter -proc:only TestTypeParameter.java 31 */ 32 33 import java.util.*; 34 import javax.annotation.processing.*; 35 import javax.lang.model.element.*; 36 import javax.lang.model.util.*; 37 import javax.tools.*; 38 39 public class TestTypeParameter<T> extends JavacTestingAbstractProcessor { 40 int round = 0; 41 42 public boolean process(Set<? extends TypeElement> annotations, RoundEnvironment roundEnv) { 43 if (++round == 1) { 44 int found = (new Scanner()).scan(roundEnv.getRootElements(), null); 45 if (found == expect) { 46 note("generic elements found and verified: " + found); 47 } else { 48 error("unexpected number of results: expected " + expect 49 + ", found " + found); 50 } 51 52 } 53 return true; 54 } 55 56 class Scanner extends ElementScanner7<Integer,Void> { 57 @Override 58 public Integer visitExecutable(ExecutableElement e, Void p) { 59 super.visitExecutable(e, p); 60 found += check(e, e.getTypeParameters()); 61 return found; 62 } 63 64 @Override 65 public Integer visitType(TypeElement e, Void p) { 66 super.visitType(e, p); 67 found += check(e, e.getTypeParameters()); 68 return found; 69 } 70 71 int found; 72 } 73 74 /** 75 * Check if type parameters, if any, have expected owner. 76 * Return 1 if typarams not empty and all have expected owner, else return 0. 77 */ 78 int check(Element e, List<? extends TypeParameterElement> typarams) { 79 note("checking " + e, e); 80 if (typarams.isEmpty()) { 81 note("no type parameters found", e); 82 return 0; 83 } 84 for (TypeParameterElement tpe: typarams) { 85 note("checking type parameter " + tpe, tpe); 86 if (tpe.getEnclosingElement() != e) { 87 error("unexpected owner; expected: " + e 88 + ", found " + tpe.getEnclosingElement(), 89 tpe); 90 return 0; 91 } 92 if (tpe.getEnclosingElement() != tpe.getGenericElement()) { 93 error("unexpected generic element; expected: " + tpe.getGenericElement() 94 + ", found " + tpe.getEnclosingElement(), 95 tpe); 96 return 0; 97 } 98 } 99 note("verified " + e, e); 100 return 1; 101 } 102 103 void note(String msg) { 104 messager.printMessage(Diagnostic.Kind.NOTE, msg); 105 } 106 107 void note(String msg, Element e) { 108 messager.printMessage(Diagnostic.Kind.NOTE, msg, e); 109 } 110 111 void error(String msg, Element e) { 112 messager.printMessage(Diagnostic.Kind.ERROR, msg, e); 113 } 114 115 void error(String msg) { 116 messager.printMessage(Diagnostic.Kind.ERROR, msg); 117 } 118 119 // additional generic elements to test 120 <X> X m(X x) { return x; } 121 122 interface Intf<X> { X m() ; } 123 124 class Class<X> { 125 <Y> Class() { } 126 } 127 128 final int expect = 5; // top level class, plus preceding examples 129 }