/*

 * 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);

    }

    @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);

        }

    }

}