/*
* Copyright (c) 2014, 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
* @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.ToolBox InMemoryFileManager TestBase LocalVariableTestBase
* @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();
}
}
}
}