/*

 * 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 7101822

 * @summary static import fails to resolve interfaces on nested enums via import statements

 * @modules jdk.compiler

 */

import com.sun.source.util.JavacTask;

import java.net.URI;

import java.util.Arrays;

import javax.tools.Diagnostic;

import javax.tools.JavaCompiler;

import javax.tools.JavaFileObject;

import javax.tools.SimpleJavaFileObject;

import javax.tools.StandardJavaFileManager;

import javax.tools.ToolProvider;

public class TestDuplicateImport {

    static int checkCount = 0;

    enum ImportKind {

        NORMAL("import a.#Q.#N;"),

        STATIC("import static a.#Q.#N;");

        String importStr;

        ImportKind(String importStr) {

            this.importStr = importStr;

        }

        String getImportStatement(QualifierKind qk, NameKind nk) {

            return importStr.replaceAll("#Q", qk.qualifierStr)

                    .replaceAll("#N", nk.nameStr);

        }

        boolean isStatic() {

            return this == STATIC;

        }

    }

    enum QualifierKind {

        A("A"),

        B("B"),

        C("C");

        String qualifierStr;

        QualifierKind(String qualifierStr) {

            this.qualifierStr = qualifierStr;

        }

        public boolean compatible(QualifierKind ik) {

            return this == ik || (this != A && ik != A);

        }

    }

    enum NameKind {

        D("D"),

        E("E"),

        M("m"),

        F("f"),

        STAR("*"),

        NON_EXISTENT("NonExistent");

        String nameStr;

        NameKind(String nameStr) {

            this.nameStr = nameStr;

        }

        boolean exists() {

            return this != NON_EXISTENT;

        }

        boolean isMember() {

            return this == M || this == F;

        }

        boolean isType() {

            return this == D || this == E;

        }

    }

    public static void main(String... args) throws Exception {

        //create default shared JavaCompiler - reused across multiple compilations

        JavaCompiler comp = ToolProvider.getSystemJavaCompiler();

        StandardJavaFileManager fm = comp.getStandardFileManager(null, null, null);

        for (ImportKind ik1 : ImportKind.values()) {

            for (ImportKind ik2 : ImportKind.values()) {

                for (QualifierKind qk1 : QualifierKind.values()) {

                    for (QualifierKind qk2 : QualifierKind.values()) {

                        for (NameKind nk1 : NameKind.values()) {

                            for (NameKind nk2 : NameKind.values()) {

                                new TestDuplicateImport(ik1, ik2, qk1, qk2, nk1, nk2).run(comp, fm);

                            }

                        }

                    }

                }

            }

        }

        System.out.println("Total check executed: " + checkCount);

    }

    ImportKind ik1;

    ImportKind ik2;

    QualifierKind qk1;

    QualifierKind qk2;

    NameKind nk1;

    NameKind nk2;

    JavaSource source;

    DiagnosticChecker diagChecker;

    TestDuplicateImport(ImportKind ik1, ImportKind ik2, QualifierKind qk1, QualifierKind qk2, NameKind nk1, NameKind nk2) {

        this.ik1 = ik1;

        this.ik2 = ik2;

        this.qk1 = qk1;

        this.qk2 = qk2;

        this.nk1 = nk1;

        this.nk2 = nk2;

        this.source = new JavaSource();

        this.diagChecker = new DiagnosticChecker();

    }

    class JavaSource extends SimpleJavaFileObject {

        String bodyTemplate = "package a;\n" +

                              "#I1\n" +

                              "#I2\n" +

                              "class A {\n" +

                              "   static class D { }\n" +

                              "   static class E { }\n" +

                              "   static Object f;\n" +

                              "   static void m() { }\n" +

                              "}\n" +

                              "class B {\n" +

                              "   static class D { }\n" +

                              "   static class E { }\n" +

                              "   static Object f;\n" +

                              "   static void m() { }\n" +

                              "}\n" +

                              "class C extends B {\n" +

                              "}\n";

        String source;

        public JavaSource() {

            super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);

            source = bodyTemplate.replaceAll("#I1", ik1.getImportStatement(qk1, nk1))

                    .replaceAll("#I2", ik2.getImportStatement(qk2, nk2));

        }

        @Override

        public CharSequence getCharContent(boolean ignoreEncodingErrors) {

            return source;

        }

    }

    void run(JavaCompiler tool, StandardJavaFileManager fm) throws Exception {

        JavacTask ct = (JavacTask)tool.getTask(null, fm, diagChecker,

                null, null, Arrays.asList(source));

        try {

            ct.analyze();

        } catch (Throwable ex) {

            throw new AssertionError("Error thrown when compiling the following code:\n" + source.getCharContent(true));

        }

        check();

    }

    void check() {

        checkCount++;

        boolean errorExpected = false;

        //error if the import refers to a non-existent symbol

        if (!nk1.exists() || !nk2.exists()) {

            errorExpected = true;

        }

        //error if a non-static import refers to a non-type symbol

        if ((nk1.isMember() && !ik1.isStatic()) ||

                (nk2.isMember() && !ik2.isStatic())) {

            errorExpected = true;

        }

        //error if two single non-static (or one static and one non-static)

        //imports import same names from different places

        if (nk1 == nk2 && nk1 != NameKind.STAR && !qk1.compatible(qk2) &&

                (!ik1.isStatic() || !ik2.isStatic())) {

            errorExpected = true;

        }

        if ((qk1 == QualifierKind.C && !ik1.isStatic() && nk1 != NameKind.STAR) ||

            (qk2 == QualifierKind.C && !ik2.isStatic() && nk2 != NameKind.STAR)) {

            errorExpected = true;

        }

        if (errorExpected != diagChecker.errorFound) {

            throw new Error("invalid diagnostics for source:\n" +

                source.getCharContent(true) +

                "\nFound error: " + diagChecker.errorFound +

                "\nExpected error: " + errorExpected);

        }

    }

    static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> {

        boolean errorFound;

        public void report(Diagnostic<? extends JavaFileObject> diagnostic) {

            if (diagnostic.getKind() == Diagnostic.Kind.ERROR) {

                errorFound = true;

            }

        }

    }

}