/*

 * Copyright (c) 2015, 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 8145016

 * @summary Javac doesn't report errors on service implementation which cannot be initialized

 * @library /tools/lib

 * @modules

 *      jdk.compiler/com.sun.tools.javac.api

 *      jdk.compiler/com.sun.tools.javac.main

 *      jdk.jdeps/com.sun.tools.javap

 * @run main AbstractOrInnerClassServiceImplTest

 */

import java.nio.file.Files;

import java.nio.file.Path;

public class AbstractOrInnerClassServiceImplTest extends ModuleTestBase {

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

        AbstractOrInnerClassServiceImplTest t = new AbstractOrInnerClassServiceImplTest();

        t.runTests();

    }

    @Test

    void testAbstractServiceImpl(Path base) throws Exception {

        Path src = base.resolve("src");

        tb.writeJavaFiles(src,

                "module m { provides p1.Service with p2.Impl; }",

                "package p1; public interface Service { }",

                "package p2; public interface Impl extends p1.Service { }");

        Path classes = base.resolve("classes");

        Files.createDirectories(classes);

                .options("-XDrawDiagnostics")

                .outdir(classes)

                .files(findJavaFiles(src))

                .writeAll()

        if (!log.contains("module-info.java:1:39: compiler.err.service.implementation.is.abstract: p2.Impl"))

            throw new Exception("expected output not found");

    }

    @Test

    void testInnerClassServiceImpl(Path base) throws Exception {

        Path src = base.resolve("src");

        tb.writeJavaFiles(src,

                "module m { provides p1.Service with p2.Outer.Inner; }",

                "package p1; public interface Service { }",

                "package p2; public class Outer { public class Inner implements p1.Service {} }");

        Path classes = base.resolve("classes");

        Files.createDirectories(classes);

                .options("-XDrawDiagnostics")

                .outdir(classes)

                .files(findJavaFiles(src))

                .writeAll()

        if (!log.contains("module-info.java:1:45: compiler.err.service.implementation.is.inner: p2.Outer.Inner"))

            throw new Exception("expected output not found");

    }

    @Test

    void testInnerInterfaceServiceImpl(Path base) throws Exception {

        Path src = base.resolve("src");

        tb.writeJavaFiles(src,

                "module m { provides p1.Service with p2.Outer.Inner; }",

                "package p1; public interface Service { }",

                "package p2; public class Outer { public interface Inner extends p1.Service {} }");

        Path classes = base.resolve("classes");

        Files.createDirectories(classes);

                .options("-XDrawDiagnostics")

                .outdir(classes)

                .files(findJavaFiles(src))

                .writeAll()

        if (!log.contains("module-info.java:1:45: compiler.err.service.implementation.is.abstract: p2.Outer.Inner"))

            throw new Exception("expected output not found");

    }

}