blob: c6014ae3c2de1a17bd35316179e9744a7f1fbbcc [file] [log] [blame]
/*
* Copyright (c) 2011, 2016, 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.
*/
/*
* @test
* @bug 6639645 7026414 7025809
* @summary Modeling type implementing missing interfaces
* @library /tools/javac/lib
* @modules jdk.compiler/com.sun.tools.javac.processing
* jdk.compiler/com.sun.tools.javac.util
* @build JavacTestingAbstractProcessor TestMissingElement
* @compile/fail/ref=TestMissingElement.ref -XDaccessInternalAPI -proc:only -XprintRounds -XDrawDiagnostics -processor TestMissingElement InvalidSource.java
*/
import java.io.PrintWriter;
import java.util.*;
import javax.annotation.processing.*;
import javax.lang.model.element.*;
import javax.lang.model.type.*;
import javax.lang.model.util.*;
import static javax.tools.Diagnostic.Kind.*;
import com.sun.tools.javac.processing.JavacProcessingEnvironment;
import com.sun.tools.javac.util.Log;
public class TestMissingElement extends JavacTestingAbstractProcessor {
private PrintWriter out;
@Override
public void init(ProcessingEnvironment env) {
super.init(env);
out = ((JavacProcessingEnvironment) env).getContext().get(Log.logKey).getWriter(Log.WriterKind.STDERR);
}
@Override
public boolean process(Set<? extends TypeElement> annotations, RoundEnvironment roundEnv) {
for (TypeElement te: ElementFilter.typesIn(roundEnv.getRootElements())) {
if (isSimpleName(te, "InvalidSource")) {
for (Element c: te.getEnclosedElements()) {
for (AnnotationMirror am: c.getAnnotationMirrors()) {
Element ate = am.getAnnotationType().asElement();
if (isSimpleName(ate, "ExpectInterfaces")) {
checkInterfaces((TypeElement) c, getValue(am));
} else if (isSimpleName(ate, "ExpectSupertype")) {
checkSupertype((TypeElement) c, getValue(am));
}
}
}
}
}
return true;
}
private boolean isSimpleName(Element e, String name) {
return e.getSimpleName().contentEquals(name);
}
private String getValue(AnnotationMirror am) {
Map<? extends ExecutableElement, ? extends AnnotationValue> map = am.getElementValues();
if (map.size() != 1) throw new IllegalArgumentException();
AnnotationValue v = map.values().iterator().next();
return (String) v.getValue();
}
private void checkInterfaces(TypeElement te, String expect) {
out.println("check interfaces: " + te + " -- " + expect);
String found = asString(te.getInterfaces(), ", ");
checkEqual("interfaces", te, found, expect);
}
private void checkSupertype(TypeElement te, String expect) {
out.println("check supertype: " + te + " -- " + expect);
String found = asString(te.getSuperclass());
checkEqual("supertype", te, found, expect);
}
private void checkEqual(String label, TypeElement te, String found, String expect) {
if (found.equals(expect)) {
// messager.printMessage(NOTE, "expected " + label + " found: " + expect, te);
} else {
out.println("unexpected " + label + ": " + te + "\n"
+ " found: " + found + "\n"
+ "expect: " + expect);
messager.printMessage(ERROR, "unexpected " + label + " found: " + found + "; expected: " + expect, te);
}
}
private String asString(List<? extends TypeMirror> ts, String sep) {
StringBuilder sb = new StringBuilder();
for (TypeMirror t: ts) {
if (sb.length() != 0) sb.append(sep);
sb.append(asString(t));
}
return sb.toString();
}
private String asString(TypeMirror t) {
if (t == null)
return "[typ:null]";
return t.accept(new SimpleTypeVisitor<String, Void>() {
@Override
public String defaultAction(TypeMirror t, Void ignore) {
return "[typ:" + t.toString() + "]";
}
@Override
public String visitDeclared(DeclaredType t, Void ignore) {
checkEqual(t.asElement(), types.asElement(t));
String s = asString(t.asElement());
List<? extends TypeMirror> args = t.getTypeArguments();
if (!args.isEmpty())
s += "<" + asString(args, ",") + ">";
return s;
}
@Override
public String visitTypeVariable(TypeVariable t, Void ignore) {
return "tvar " + t;
}
@Override
public String visitError(ErrorType t, Void ignore) {
return "!:" + visitDeclared(t, ignore);
}
}, null);
}
private String asString(Element e) {
if (e == null)
return "[elt:null]";
return e.accept(new SimpleElementVisitor<String, Void>() {
@Override
public String defaultAction(Element e, Void ignore) {
return "[elt:" + e.getKind() + " " + e.toString() + "]";
}
@Override
public String visitPackage(PackageElement e, Void ignore) {
return "pkg " + e.getQualifiedName();
}
@Override
public String visitType(TypeElement e, Void ignore) {
StringBuilder sb = new StringBuilder();
if (e.getEnclosedElements().isEmpty())
sb.append("empty ");
ElementKind ek = e.getKind();
switch (ek) {
case CLASS:
sb.append("clss");
break;
case INTERFACE:
sb.append("intf");
break;
default:
sb.append(ek);
break;
}
sb.append(" ");
Element encl = e.getEnclosingElement();
if (!isUnnamedPackage(encl) && encl.asType().getKind() != TypeKind.NONE) {
sb.append("(");
sb.append(asString(encl));
sb.append(")");
sb.append(".");
}
sb.append(e.getSimpleName());
if (e.asType().getKind() == TypeKind.ERROR) sb.append("!");
return sb.toString();
}
}, null);
}
boolean isUnnamedPackage(Element e) {
return (e != null && e.getKind() == ElementKind.PACKAGE
&& ((PackageElement) e).isUnnamed());
}
void checkEqual(Element e1, Element e2) {
if (e1 != e2) {
throw new AssertionError("elements not equal as expected: "
+ e1 + ", " + e2);
}
}
}