/*

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

 * @summary Checks Signature attribute for inner classes.

 * @library /tools/lib /tools/javac/lib ../lib

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

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

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

 * @build InnerClassTest Driver ExpectedSignature ExpectedSignatureContainer

 * @run main Driver InnerClassTest

 */

import java.util.ArrayList;

import java.util.List;

import java.util.Map;

import java.util.Set;

import java.util.concurrent.Callable;

@ExpectedSignature(descriptor = "InnerClassTest",

        signature = "<T:Ljava/util/ArrayList<TT;>;:Ljava/lang/Runnable;>Ljava/lang/Object;")

@ExpectedSignature(descriptor = "InnerClassTest$1",

        signature = "LInnerClassTest$1Local1;", isAnonymous = true)

@ExpectedSignature(descriptor = "InnerClassTest$2",

        signature = "LInnerClassTest$1Local2<Ljava/util/ArrayList<TT;>;" +

                "Ljava/util/Map<Ljava/util/ArrayList<TT;>;Ljava/util/ArrayList<TT;>;>;>;", isAnonymous = true)

public class InnerClassTest<T extends ArrayList<T> & Runnable> {

    {

        class Local1 {

            // no Signature attribute

            Local1() {

            }

            @ExpectedSignature(descriptor = "genericType", signature = "TT;")

            T genericType;

            @ExpectedSignature(descriptor = "genericTypeArray", signature = "[TT;")

            T[] genericTypeArray;

        }

        @ExpectedSignature(descriptor = "InnerClassTest$1Local2",

                signature = "<T:Ljava/lang/Object;U::Ljava/util/Map<+TT;-TT;>;>Ljava/lang/Object;")

        class Local2<T, U extends Map<? extends T, ? super T>> {

            // no Signature attribute

            Local2() {

            }

            @ExpectedSignature(descriptor = "<init>(InnerClassTest, java.lang.Object, java.util.Map)",

                    signature = "(TT;TU;)V")

            Local2(T a, U b) {

            }

            @ExpectedSignature(descriptor = "genericMethod(java.lang.Object[])",

                    signature = "([TT;)[TU;")

            U[] genericMethod(T...a) {

                return null;

            }

        }

        @ExpectedSignature(descriptor = "InnerClassTest$1Local3",

                signature = "LInnerClassTest$1Local2<Ljava/util/ArrayList<TT;>;" +

                        "Ljava/util/Map<Ljava/util/ArrayList<TT;>;Ljava/util/ArrayList<TT;>;>;>;")

        class Local3 extends Local2<ArrayList<T>, Map<ArrayList<T>, ArrayList<T>>> {

        }

        new Local1() {

            @ExpectedSignature(descriptor = "genericType", signature = "TT;")

            T genericType;

            @ExpectedSignature(descriptor = "genericTypeArray", signature = "[TT;")

            T[] genericTypeArray;

        };

        new Local2<ArrayList<T>, Map<ArrayList<T>, ArrayList<T>>>() {

        };

    }

    @ExpectedSignature(descriptor = "InnerClassTest$InnerClass1",

            signature = "<E:TT;U::Ljava/util/Set<-TE;>;>Ljava/lang/Object;")

    class InnerClass1<E extends T, U extends Set<? super E>> {

        @ExpectedSignature(descriptor = "genericTypeArray", signature = "[TT;")

        T[] genericTypeArray;

        @ExpectedSignature(descriptor = "genericListExtendsBound", signature = "Ljava/util/List<+TT;>;")

        List<? extends T> genericListExtendsBound;

        @ExpectedSignature(descriptor = "genericListSuperBound", signature = "Ljava/util/List<-TU;>;")

        List<? super U> genericListSuperBound;

        @ExpectedSignature(descriptor = "genericListWildCard", signature = "Ljava/util/List<*>;")

        List<?> genericListWildCard;

        @ExpectedSignature(descriptor = "genericListExactType", signature = "Ljava/util/List<Ljava/lang/Integer;>;")

        List<Integer> genericListExactType;

        @ExpectedSignature(descriptor = "listWithGenericType", signature = "Ljava/util/List<TE;>;")

        List<E> listWithGenericType;

        List listNoSignatureAttribute;

        // no Signature attribute

        InnerClass1(List a) {

        }

        @ExpectedSignature(descriptor = "<init>(InnerClassTest, java.util.ArrayList)",

                signature = "(TT;)V")

        InnerClass1(T a) {

        }

        @ExpectedSignature(descriptor = "<init>(InnerClassTest, java.util.ArrayList, java.util.ArrayList)",

                signature = "(TT;TE;)V")

        InnerClass1(T a, E b) {

        }

        @ExpectedSignature(descriptor = "genericMethod(java.util.ArrayList)",

                signature = "(TT;)TE;")

        E genericMethod(T a) {

            return null;

        }

    }

    @ExpectedSignature(descriptor = "InnerClassTest$InnerInterface",

            signature = "<T:Ljava/lang/Object;>Ljava/lang/Object;")

    interface InnerInterface<T> {

        @ExpectedSignature(descriptor = "genericMethod(java.lang.Object)", signature = "(TT;)TT;")

        T genericMethod(T a);

        @ExpectedSignature(descriptor = "genericListExtendsBound", signature = "Ljava/util/List<+Ljava/lang/Number;>;")

        List<? extends Number> genericListExtendsBound = null;

        @ExpectedSignature(descriptor = "genericListSuperBound", signature = "Ljava/util/List<-Ljava/lang/Number;>;")

        List<? super Number> genericListSuperBound = null;

        @ExpectedSignature(descriptor = "genericListWildCard", signature = "Ljava/util/List<*>;")

        List<?> genericListWildCard = null;

        @ExpectedSignature(descriptor = "genericListExactType", signature = "Ljava/util/List<Ljava/lang/Integer;>;")

        List<Integer> genericListExactType = null;

        List listNoSignatureAttribute = null;

        @ExpectedSignature(descriptor = "genericBoundsMethod1(java.util.List)",

                signature = "(Ljava/util/List<-TT;>;)Ljava/util/List<+TT;>;")

        List<? extends T> genericBoundsMethod1(List<? super T> a);

        @ExpectedSignature(descriptor = "genericBoundsMethod2(java.util.List)",

                signature = "(Ljava/util/List<+TT;>;)Ljava/util/List<-TT;>;")

        List<? super T> genericBoundsMethod2(List<? extends T> a);

        @ExpectedSignature(descriptor = "genericWildCardMethod(java.util.Map)",

                signature = "(Ljava/util/Map<**>;)Ljava/util/Map<**>;")

        Map<?, ?> genericWildCardMethod(Map<?, ?> a);

        @ExpectedSignature(descriptor = "defaultGenericMethod(java.util.List, java.util.List, java.util.Map)",

                signature = "(Ljava/util/List<+TT;>;Ljava/util/List<-TT;>;Ljava/util/Map<**>;)Ljava/util/List<*>;")

        default List<?> defaultGenericMethod(List<? extends T> list1, List<? super T> list2, Map<?, ?> map) { return null; }

        default List defaultNoSignatureAttributeMethod(List list1, List list2, Map list3) { return null; }

        @ExpectedSignature(descriptor = "staticGenericMethod(java.util.List, java.util.List, java.util.Map)",

                signature = "<T::Ljava/lang/Runnable;>(Ljava/util/List<+TT;>;Ljava/util/List<-TT;>;Ljava/util/Map<**>;)Ljava/util/List<*>;")

        static <T extends Runnable> List<?> staticGenericMethod(List<? extends T> list1, List<? super T> list2, Map<?, ?> map) { return null; }

        static List staticNoSignatureAttributeMethod(List list1, List list2, Map list3) { return null; }

    }

    @ExpectedSignature(descriptor = "InnerClassTest$InnerClass2",

            signature = "LInnerClassTest<TT;>.InnerClass1<TT;Ljava/util/Set<TT;>;>;LInnerClassTest$InnerInterface<TT;>;")

    class InnerClass2 extends InnerClass1<T, Set<T>> implements InnerInterface<T> {

        // no Signature attribute

        InnerClass2() {

            super(null);

        }

        @ExpectedSignature(descriptor = "<init>(InnerClassTest, java.util.ArrayList)",

                signature = "(TT;)V")

        InnerClass2(T a) {

            super(a);

        }

        @ExpectedSignature(descriptor = "<init>(InnerClassTest, java.util.ArrayList, java.util.ArrayList)",

                signature = "(TT;TT;)V")

        InnerClass2(T a, T b) {

            super(a, b);

        }

        @ExpectedSignature(descriptor = "genericMethod(java.util.ArrayList)", signature = "(TT;)TT;")

        @Override

        public T genericMethod(T a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericBoundsMethod1(java.util.List)",

                signature = "(Ljava/util/List<-TT;>;)Ljava/util/List<+TT;>;")

        @Override

        public List<? extends T> genericBoundsMethod1(List<? super T> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericBoundsMethod2(java.util.List)",

                signature = "(Ljava/util/List<+TT;>;)Ljava/util/List<-TT;>;")

        @Override

        public List<? super T> genericBoundsMethod2(List<? extends T> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericWildCardMethod(java.util.Map)",

                signature = "(Ljava/util/Map<**>;)Ljava/util/Map<**>;")

        @Override

        public Map<?, ?> genericWildCardMethod(Map<?, ?> a) {

            return null;

        }

    }

    @ExpectedSignature(descriptor = "InnerClassTest$StaticInnerClass",

            signature = "<T:Ljava/lang/String;E::Ljava/util/Set<TT;>;>" +

                    "Ljava/lang/Object;LInnerClassTest$InnerInterface<TE;>;")

    static class StaticInnerClass<T extends String, E extends Set<T>> implements InnerInterface<E> {

        // no Signature attribute

        StaticInnerClass(List a) {

        }

        @ExpectedSignature(descriptor = "<init>(java.lang.Runnable)",

                signature = "<E::Ljava/lang/Runnable;>(TE;)V")

        <E extends Runnable> StaticInnerClass(E a) {

        }

        @ExpectedSignature(descriptor = "<init>(java.lang.String)",

                signature = "(TT;)V")

        StaticInnerClass(T a) {

        }

        @ExpectedSignature(descriptor = "<init>(java.lang.String, java.util.Set)",

                signature = "(TT;TE;)V")

        StaticInnerClass(T a, E b) {

        }

        @ExpectedSignature(descriptor = "genericListExtendsBound", signature = "Ljava/util/List<+Ljava/lang/Number;>;")

        static List<? extends Number> genericListExtendsBound;

        @ExpectedSignature(descriptor = "genericListSuperBound", signature = "Ljava/util/List<-Ljava/lang/Number;>;")

        static List<? super Number> genericListSuperBound;

        @ExpectedSignature(descriptor = "genericListWildCard", signature = "Ljava/util/List<*>;")

        static List<?> genericListWildCard;

        @ExpectedSignature(descriptor = "genericListExactType", signature = "Ljava/util/List<Ljava/lang/Integer;>;")

        static List<Integer> genericListExactType;

        static List listNoSignatureAttribute;

        @ExpectedSignature(descriptor = "genericMethod(java.util.Set)",

                signature = "(TE;)TE;")

        @Override

        public E genericMethod(E a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericBoundsMethod1(java.util.List)",

                signature = "(Ljava/util/List<-TE;>;)Ljava/util/List<+TE;>;")

        @Override

        public List<? extends E> genericBoundsMethod1(List<? super E> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericBoundsMethod2(java.util.List)",

                signature = "(Ljava/util/List<+TE;>;)Ljava/util/List<-TE;>;")

        @Override

        public List<? super E> genericBoundsMethod2(List<? extends E> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "genericWildCardMethod(java.util.Map)",

                signature = "(Ljava/util/Map<**>;)Ljava/util/Map<**>;")

        @Override

        public Map<?, ?> genericWildCardMethod(Map<?, ?> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "staticGenericMethod(java.lang.Object)",

                signature = "<E:Ljava/lang/Object;>(TE;)TE;")

        public static <E> E staticGenericMethod(E a) {

            return null;

        }

        @ExpectedSignature(descriptor = "staticGenericBoundsMethod1(java.util.List)",

                signature = "<E:Ljava/lang/Object;>(Ljava/util/List<-TE;>;)Ljava/util/List<+TE;>;")

        public static <E> List<? extends E> staticGenericBoundsMethod1(List<? super E> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "staticGenericBoundsMethod2(java.util.List)",

                signature = "<E:Ljava/lang/Object;>(Ljava/util/List<+TE;>;)Ljava/util/List<-TE;>;")

        public static <E> List<? super E> staticGenericBoundsMethod2(List<? extends E> a) {

            return null;

        }

        @ExpectedSignature(descriptor = "staticGenericWildCardMethod(java.util.Map)",

                signature = "<E:Ljava/lang/Object;>(Ljava/util/Map<**>;)Ljava/util/Map<**>;")

        public static <E> Map<?, ?> staticGenericWildCardMethod(Map<?, ?> a) {

            return null;

        }

    }

    @ExpectedSignature(descriptor = "InnerClassTest$InnerClass3",

            signature = "Ljava/lang/Object;LInnerClassTest$ExceptionHolder" +

                    "<Ljava/lang/RuntimeException;>;Ljava/util/concurrent/Callable<Ljava/util/Map<**>;>;")

    public static class InnerClass3 implements  ExceptionHolder<RuntimeException>, Callable<Map<?, ?>> {

        @ExpectedSignature(descriptor = "call()", signature = "()Ljava/util/Map<**>;")

        @Override

        public Map<?, ?> call() throws Exception {

            return null;

        }

        @Override

        public void Throw() throws RuntimeException {

        }

        @Override

        public RuntimeException Return() {

            return null;

        }

    }

    /**

     * Class is for checking that the Signature attribute is not generated

     * for overridden methods despite of the appropriate methods in the parent class

     * have the Signature attribute.

     */

    @ExpectedSignature(descriptor = "InnerClassTest$ExceptionHolder",

            signature = "<E:Ljava/lang/Exception;>Ljava/lang/Object;")

    interface ExceptionHolder<E extends Exception> {

        @ExpectedSignature(descriptor = "Throw()", signature = "()V^TE;")

        void Throw() throws E;

        @ExpectedSignature(descriptor = "Return()", signature = "()TE;")

        E Return();

    }

}