/*
* 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 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
* @build LocalVariableTestBase
* @compile -g LocalVariableTableTest.java
* @run main LocalVariableTableTest
*/
import com.sun.tools.classfile.Code_attribute;
import com.sun.tools.classfile.LocalVariableTable_attribute;
import java.io.IOException;
import java.util.Arrays;
import java.util.List;
import java.util.stream.Stream;
import static java.util.stream.Collectors.toList;
public class LocalVariableTableTest extends LocalVariableTestBase {
public LocalVariableTableTest(Class<?> clazz) {
super(clazz);
}
public static void main(String[] args) throws IOException {
new LocalVariableTableTest(LocalVariableTableTest.class).test();
}
@ExpectedLocals(name = "l", type = "D")
@ExpectedLocals(name = "i", type = "J")
public static void onlyTwoCellParameters(double l, long i) {
}
@ExpectedLocals(name = "l", type = "D")
@ExpectedLocals(name = "dl", type = "D")
@ExpectedLocals(name = "i", type = "J")
@ExpectedLocals(name = "il", type = "J")
@ExpectedLocals(name = "d", type = "J")
@ExpectedLocals(name = "ll", type = "J")
public static void onlyTwoCellLocals(double l, long i, long d) {
double dl = 1.1;
long il = 1;
long ll = 1;
}
@Override
protected List<VariableTable> getVariableTables(Code_attribute codeAttribute) {
return Stream.of(codeAttribute.attributes.attrs)
.filter(at -> at instanceof LocalVariableTable_attribute)
.map(at -> (LocalVariableTable_attribute) at)
.map((t) -> new LocalVariableTable(t)).collect(toList());
}
@ExpectedLocals(name = "l", type = "J")
@ExpectedLocals(name = "i", type = "I")
@ExpectedLocals(name = "d", type = "D")
@ExpectedLocals(name = "ll", type = "J")
@ExpectedLocals(name = "obj", type = "Ljava/lang/Object;")
@ExpectedLocals(name = "dd", type = "D")
@ExpectedLocals(name = "bb", type = "B")
@ExpectedLocals(name = "this", type = "LLocalVariableTableTest;")
public double longDoubleOverlap(long l, int i, double d) {
long ll = 1L;
Object obj = 2;
double dd = 3.0;
byte bb = 0;
return l + i + d + ll + Integer.valueOf(obj.toString()) + dd + bb;
}
@ExpectedLocals(name = "bool", type = "Z")
@ExpectedLocals(name = "b", type = "B")
@ExpectedLocals(name = "ch", type = "C")
@ExpectedLocals(name = "sh", type = "S")
@ExpectedLocals(name = "i", type = "I")
@ExpectedLocals(name = "l", type = "J")
@ExpectedLocals(name = "d", type = "D")
@ExpectedLocals(name = "f", type = "F")
@ExpectedLocals(name = "ref", type = "Ljava/lang/Integer;")
@ExpectedLocals(name = "arr", type = "[Ljava/lang/Integer;")
@ExpectedLocals(name = "this", type = "LLocalVariableTableTest;")
public void allTypesWithoutParameters() {
boolean bool = true;
byte b = 0x1;
char ch = 'a';
short sh = 1_1;
int i = -2;
long l = 1L;
float f = 1.1f;
double d = 0.1;
Integer ref = 2;
Integer[] arr = null;
}
@ExpectedLocals(name = "bool", type = "Z")
@ExpectedLocals(name = "b", type = "B")
@ExpectedLocals(name = "ch", type = "C")
@ExpectedLocals(name = "sh", type = "S")
@ExpectedLocals(name = "i", type = "I")
@ExpectedLocals(name = "l", type = "J")
@ExpectedLocals(name = "d", type = "D")
@ExpectedLocals(name = "f", type = "F")
@ExpectedLocals(name = "ref", type = "Ljava/lang/Integer;")
@ExpectedLocals(name = "this", type = "LLocalVariableTableTest;")
public void allTypesWithParameters(boolean bool, byte b, char ch) {
short sh = 1_1;
int i = -2;
long l = 1L;
float f = 1.1f;
double d = 0.1;
Integer ref = 2;
}
@ExpectedLocals(name = "list", type = "Ljava/util/List;")
@ExpectedLocals(name = "list2", type = "[Ljava/util/List;")
@ExpectedLocals(name = "p", type = "Ljava/lang/Object;")
@ExpectedLocals(name = "k", type = "Ljava/lang/Integer;")
@ExpectedLocals(name = "i", type = "I")
@ExpectedLocals(name = "this", type = "LLocalVariableTableTest;")
public <T extends List<Integer>, P, K extends Integer> void genericType(K k) {
T list = null;
int i = 0;
P p = null;
List<T>[] list2 = null;
}
@ExpectedLocals(name = "this", type = "LLocalVariableTableTest;")
@ExpectedLocals(name = "inWhile", type = "I")
@ExpectedLocals(name = "inTry", type = "D")
@ExpectedLocals(name = "inSync", type = "F")
@ExpectedLocals(name = "inDo", type = "B")
@ExpectedLocals(name = "inFor", type = "J")
@ExpectedLocals(name = "s", type = "Ljava/util/stream/Stream;")
public void deepScope() {
{
while (true) {
int inWhile = 0;
for (long inFor : Arrays.asList(0)) {
try (Stream<? extends Integer> s = Stream.of(0)) {
double inTry = 0.0;
synchronized (this) {
float inSync = -1.0f;
do {
byte inDo = 0;
switch (1) {
default:
short inSwitch = 100;
}
} while (true);
}
}
}
}
}
}
class LocalVariableTable implements VariableTable {
final LocalVariableTable_attribute att;
public LocalVariableTable(LocalVariableTable_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(LocalVariableTableEntry::new).collect(toList());
}
@Override
public int attributeLength() {
return att.attribute_length;
}
private class LocalVariableTableEntry implements Entry {
final LocalVariableTable_attribute.Entry entry;
private LocalVariableTableEntry(LocalVariableTable_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.descriptor_index);
}
@Override
public String toString() {
return dump();
}
}
}
}