/*

 * 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

 * @summary local variable type table attribute test.

 * @bug 8040097

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

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

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

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

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

 * @build ToolBox LocalVariableTestBase TestBase InMemoryFileManager

 * @compile -g LocalVariableTypeTableTest.java

 * @run main LocalVariableTypeTableTest

 */

import com.sun.tools.classfile.Code_attribute;

import com.sun.tools.classfile.LocalVariableTypeTable_attribute;

import java.io.IOException;

import java.util.Arrays;

import java.util.Collection;

import java.util.List;

import java.util.function.Supplier;

import java.util.stream.Stream;

import static java.util.stream.Collectors.toList;

public class LocalVariableTypeTableTest<THIS> extends LocalVariableTestBase {

    public LocalVariableTypeTableTest(Class<?> clazz) {

        super(clazz);

    }

    public static void main(String[] args) throws IOException {

        new LocalVariableTypeTableTest(LocalVariableTypeTableTest.class).test();

    }

    @Override

    protected List<VariableTable> getVariableTables(Code_attribute codeAttribute) {

        return Stream.of(codeAttribute.attributes.attrs)

                .filter(at -> at instanceof LocalVariableTypeTable_attribute)

                .map(at -> (LocalVariableTypeTable_attribute) at)

                .map(LocalVariableTypeTable::new).collect(toList());

    }

    @ExpectedLocals(name = "list", type = "TT;")

    @ExpectedLocals(name = "p", type = "[TP;")

    @ExpectedLocals(name = "k", type = "TK;")

    @ExpectedLocals(name = "c1", type = "Ljava/util/Collection<-Ljava/lang/Integer;>;")

    @ExpectedLocals(name = "c2", type = "Ljava/util/Collection<*>;")

    @ExpectedLocals(name = "c3", type = "Ljava/util/Collection<+TE;>;")

    public <T extends List<Integer>, P, K extends Integer, E extends Supplier & Runnable>

    void genericTypeWithParametersOnly(K k, T list, P[] p,

                                       Collection<? super Integer> c1,

                                       Collection<?> c2, Collection<? extends E> c3) {

    }

    @ExpectedLocals(name = "list", type = "TT;")

    @ExpectedLocals(name = "p", type = "[TP;")

    @ExpectedLocals(name = "k", type = "TK;")

    @ExpectedLocals(name = "c1", type = "Ljava/util/Collection<-Ljava/lang/Integer;>;")

    @ExpectedLocals(name = "c2", type = "Ljava/util/Collection<*>;")

    @ExpectedLocals(name = "c3", type = "Ljava/util/Collection<+TE;>;")

    public <T extends List<Integer>, P, K extends Integer, E extends Supplier & Runnable>

    void genericType(K k, T list, P[] p) {

        Collection<? super Integer> c1 = null;

        Collection<?> c2 = null;

        Collection<? extends E> c3 = null;

    }

    @ExpectedLocals(name = "list", type = "TT;")

    @ExpectedLocals(name = "p", type = "[[TP;")

    public <T extends List<Integer>, P, K extends Integer> void genericTypeWithoutParameters() {

        T list = null;

        list.add(1);

        int i = 0;

        P[][] p = null;

    }

    @ExpectedLocals(name = "this", type = "LLocalVariableTypeTableTest<TTHIS;>;")

    public void genericThis() {

    }

    @ExpectedLocals(name = "this", type = "LLocalVariableTypeTableTest<TTHIS;>;")

    @ExpectedLocals(name = "inWhile", type = "TTHIS;")

    @ExpectedLocals(name = "inTry", type = "TTHIS;")

    @ExpectedLocals(name = "inSync", type = "TTHIS;")

    @ExpectedLocals(name = "inDo", type = "TTHIS;")

    @ExpectedLocals(name = "inFor", type = "LLocalVariableTypeTableTest<-TTHIS;>;")

    @ExpectedLocals(name = "s", type = "Ljava/util/stream/Stream<+Ljava/lang/Integer;>;")

    public void deepScope() {

        {

            while (true) {

                THIS inWhile = null;

                for (LocalVariableTypeTableTest<? super THIS> inFor : Arrays.asList(this)) {

                    try (Stream<? extends Integer> s = Stream.of(0)) {

                        THIS inTry = null;

                        synchronized (this) {

                            THIS inSync = null;

                            do {

                                THIS inDo = null;

                                switch (1) {

                                    default:

                                        THIS inSwitch = null;

                                }

                            } while (true);

                        }

                    }

                }

            }

        }

    }

    class LocalVariableTypeTable implements VariableTable {

        final LocalVariableTypeTable_attribute att;

        public LocalVariableTypeTable(LocalVariableTypeTable_attribute att) {

            this.att = att;

        }

        @Override

        public int localVariableTableLength() {

            return att.local_variable_table_length;

        }

        @Override

        public List<Entry> entries() {

            return Stream.of(att.local_variable_table).map(LocalVariableTypeTableEntry::new).collect(toList());

        }

        @Override

        public int attributeLength() {

            return att.attribute_length;

        }

        private class LocalVariableTypeTableEntry implements Entry {

            final LocalVariableTypeTable_attribute.Entry entry;

            private LocalVariableTypeTableEntry(LocalVariableTypeTable_attribute.Entry entry) {

                this.entry = entry;

            }

            @Override

            public int index() {

                return entry.index;

            }

            @Override

            public int startPC() {

                return entry.start_pc;

            }

            @Override

            public int length() {

                return entry.length;

            }

            @Override

            public String name() {

                return getString(entry.name_index);

            }

            @Override

            public String type() {

                return getString(entry.signature_index);

            }

            @Override

            public String toString() {

                return dump();

            }

        }

    }

}