/* * Copyright (c) 2014, 2024, 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 * java.base/jdk.internal.classfile.impl * @build toolbox.ToolBox InMemoryFileManager TestBase * @build LocalVariableTestBase * @compile -g LocalVariableTableTest.java * @run main LocalVariableTableTest */ import java.lang.classfile.attribute.*; import jdk.internal.classfile.impl.BoundAttribute; 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 getVariableTables(CodeAttribute codeAttribute) { return codeAttribute.attributes().stream() .filter(at -> at instanceof LocalVariableTableAttribute) .map(at -> (LocalVariableTableAttribute) at) .map(LocalVariableTable::new).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 , P, K extends Integer> void genericType(K k) { T list = null; int i = 0; P p = null; List[] 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 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 LocalVariableTableAttribute att; public LocalVariableTable(LocalVariableTableAttribute att) { this.att = att; } @Override public int localVariableTableLength() { return att.localVariables().size(); } @Override public List entries() { return att.localVariables().stream().map(LocalVariableTableEntry::new).collect(toList()); } @Override public int attributeLength() { return ((BoundAttribute) att).payloadLen(); } private class LocalVariableTableEntry implements Entry { final LocalVariableInfo entry; private LocalVariableTableEntry(LocalVariableInfo entry) { this.entry = entry; } @Override public int index() { return entry.slot(); } @Override public int startPC() { return entry.startPc(); } @Override public int length() { return entry.length(); } @Override public String name() { return entry.name().stringValue(); } @Override public String type() { return entry.type().stringValue(); } @Override public String toString() { return dump(); } } } }