/* * Copyright (c) 2015, 2022, 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 * @bug 8144903 8177466 8191842 8211694 8213725 8239536 8257236 8252409 8294431 * @summary Tests for EvaluationState.variables * @library /tools/lib * @modules jdk.compiler/com.sun.tools.javac.api * jdk.compiler/com.sun.tools.javac.main * jdk.jshell * @build Compiler KullaTesting TestingInputStream ExpectedDiagnostic * @run testng VariablesTest import java.nio.file.Path;import java.nio.file.Paths;import java.util.List;import javax.tools.Diagnostic;import jdk.jshell.MethodSnippet;import jdk.jshell.Snippet;import jdk.jshell.TypeDeclSnippet;import jdk.jshell.VarSnippet;import jdk.jshell.Snippet.SubKind;import jdk.jshell.SnippetEvent;import org.testng.annotations.BeforeMethod;import org.testng.annotations.Test;import static java.util.stream.Collectors.toList;import static jdk.jshell.Snippet.Status.*;import static jdk.jshell.Snippet.SubKind.VAR_DECLARATION_SUBKIND;import static org.testng.Assert .assertEquals;import static org.testng.Assert .fail;public class VariablesTest extends KullaTesting {public void noVariables() {private void badVarValue(VarSnippet key) {try {"Expected exception for: " + key.source());catch (IllegalArgumentException e) {// ok public void testVarValue1() {"und1 a;" , added(RECOVERABLE_NOT_DEFINED)));"und2 a;" ,false , null ),false , MAIN_SNIPPET)));"class und2 {}" ,true , MAIN_SNIPPET)));"null" );true , null ),true , und));public void testVarValue2() {"int a = 0.0;" , "compiler.err.prob.found.req" );"int a = 0;" , added(VALID)));true , null ));public void testSignature1() {"und1 a;" , added(RECOVERABLE_NOT_DEFINED)));"a" , "und1" , RECOVERABLE_NOT_DEFINED, VAR_DECLARATION_SUBKIND, 1, 0);"und2 a;" ,false , null ),false , MAIN_SNIPPET)));"a" , "und2" , RECOVERABLE_NOT_DEFINED, VAR_DECLARATION_SUBKIND, 1, 0);"class und2 {}" ,true , MAIN_SNIPPET)));"a" , "und2" , VALID, VAR_DECLARATION_SUBKIND, 0, 0);true , null ),true , und));"a" , "und2" , RECOVERABLE_NOT_DEFINED, VAR_DECLARATION_SUBKIND, 1, 0);public void testSignature2() {"int a = 0.0;" , "compiler.err.prob.found.req" );"a" , "int" , REJECTED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 1);"int a = 0;" ,"a" , "int" , VALID, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0);true , null ));"a" , "int" , DROPPED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 0);public void variables() {"int x = 10;" ));"String y = \" hi\";" ));"long z;" ));"int" , "x" ), variable("String" , "y" ), variable("long" , "z" ));"10" );"\" hi\"" );"0" );public void variablesArray() {"int[] a = new int[12];" ));"int[]" );"int len = a.length;" , "12" );"int[]" , "a" ), variable("int" , "len" ));public void variablesArrayOld() {"int a[] = new int[12];" ));"int[]" );"int len = a.length;" , "12" );"int[]" , "a" ), variable("int" , "len" ));public void variablesRedefinition() {"int x = 10;" ));"String y = \" \";" , added(VALID)));"int" , "x" ), variable("String" , "y" ));"long x;" ,true , null ),false , MAIN_SNIPPET));"long" , "x" ), variable("String" , "y" ));"String y;" ,false , null ),false , MAIN_SNIPPET));"long" , "x" ), variable("String" , "y" ));public void variablesTemporary() {"int $1 = 10;" , added(VALID));"2 * $1;" , added(VALID));"int" , "$1" ), variable("int" , "$2" ));"String y;" , added(VALID));"int" , "$1" ), variable("int" , "$2" ), variable("String" , "y" ));public void variablesTemporaryNull() {"null;" , added(VALID));"Object" , "$1" ));"(String) null;" , added(VALID));"Object" , "$1" ), variable("String" , "$2" ));"\" \";" , added(VALID));"Object" , "$1" ),"String" , "$2" ),"String" , "$3" ));public void variablesTemporaryArrayOfCapturedType() {"class Test { T[][] get() { return null; } }" , added(VALID));"Test test() { return new Test<>(); }" , added(VALID));"test().get()" , added(VALID));"String[][]" , "$1" ));"\" \".getClass().getEnumConstants()" , added(VALID));"String[][]" , "$1" ), variable("String[]" , "$2" ));public void variablesClassReplace() {"import java.util.*;" , added(VALID));var = varKey(assertEval("List list = new ArrayList<>();" , "[]" ,"List" , "list" ));"class List {}" ,var , VALID, RECOVERABLE_NOT_DEFINED, true , MAIN_SNIPPET));"List list = new List();" ,true , null ),var , RECOVERABLE_NOT_DEFINED, OVERWRITTEN, false , MAIN_SNIPPET));"List" , "list" ));public void variablesErrors() {"String;" , new ExpectedDiagnostic("compiler.err.cant.resolve.location" , 0, 6, 0, -1, -1, Diagnostic.Kind.ERROR));public void variablesUnresolvedActiveFailed() {"und x;" , added(RECOVERABLE_NOT_DEFINED)));"x" , "und" , RECOVERABLE_NOT_DEFINED, VAR_DECLARATION_SUBKIND, 1, 0);"class und" );public void variablesUnresolvedError() {"und y = null;" , new ExpectedDiagnostic("compiler.err.cant.resolve.location" , 0, 3, 0, -1, -1, Diagnostic.Kind.ERROR));public void variablesMultiByteCharacterType() {"class \u3042 {}" );"\u3042 \u3042 = null;" , added(VALID));"\u3042" , "\u3042" ));"new \u3042()" , added(VALID));"\u3042" , "\u3042" ), variable("\u3042" , "$1" ));"class \u3042\u3044\u3046\u3048\u304a {}" );"\u3042\u3044\u3046\u3048\u304a \u3042\u3044\u3046\u3048\u304a = null;" , added(VALID));"\u3042" , "\u3042" ), variable("\u3042" , "$1" ),"\u3042\u3044\u3046\u3048\u304a" , "\u3042\u3044\u3046\u3048\u304a" ));"new \u3042\u3044\u3046\u3048\u304a();" );"\u3042" , "\u3042" ), variable("\u3042" , "$1" ),"\u3042\u3044\u3046\u3048\u304a" , "\u3042\u3044\u3046\u3048\u304a" ),"\u3042\u3044\u3046\u3048\u304a" , "$2" ));false ) // TODO 8081689 public void methodVariablesAreNotVisible() {"int foo() {" +"int x = 10;" +"int y = 2 * x;" +"return x * y;" +"}" , added(VALID)));"int x = 10;" , "10" );"int foo() {" +"int y = 2 * x;" +"return x * y;" +"}" ,false , null ));"int" , "x" ));"foo();" , "200" );"int" , "x" ), variable("int" , "$1" ));false ) // TODO 8081689 public void classFieldsAreNotVisible() {"class clazz {" +"int x = 10;" +"int y = 2 * x;" +"}" ));"int x = 10;" , "10" );"class clazz {" +"int y = 2 * x;" +"}" ,true , null ));"int" , "x" ));"new clazz().y;" , "20" );"int" , "x" ), variable("int" , "$1" ));public void multiVariables() {"int a, b, c = 10;" ,"int" , "a" ), variable("int" , "b" ), variable("int" , "c" ));"double a = 1.4, b = 8.8;" , DiagCheck.DIAG_OK, DiagCheck.DIAG_OK,true , null ), ste(a, VALID, OVERWRITTEN, false , MAIN_SNIPPET)),true , null ), ste(b, VALID, OVERWRITTEN, false , MAIN_SNIPPET)));"double" , "a" ), variable("double" , "b" ), variable("int" , "c" ));"double c = a + b;" ,true , null ),false , MAIN_SNIPPET));"double" , "a" ), variable("double" , "b" ), variable("double" , "c" public void syntheticVariables() {"assert false;" );public void undefinedReplaceVariable() {"int d = 234;" , "234" ));"int" , "d" ));"undefined d;" ;true , null ),false , MAIN_SNIPPET)));//assertEquals(getState().source(snippet), src); //assertEquals(snippet, undefKey); List());"class undefined" );"undefined" , "d" ));public void lvti() {"var d = 234;" , "234" );"class Test { T[][] get() { return null; } }" , added(VALID));"Test test() { return new Test<>(); }" , added(VALID));"var t = test().get();" , added(VALID));" Z get1() { return null; }" , added(VALID));"var i1 = get1();" , added(VALID));"void t1() { i1.run(); i1.length(); }" , added(VALID));"i1 = 1;" , DiagCheck.DIAG_ERROR, DiagCheck.DIAG_OK, ste(MAIN_SNIPPET, NONEXISTENT, REJECTED, false , null ));" Z get2() { return null; }" , added(VALID));"var i2 = get2();" , added(VALID));"void t2() { i2.length(); }" , added(VALID));"var r1 = new Runnable() { public void run() { } public String get() { return \" good\"; } };" , added(VALID));"Runnable r2 = r1;" );"r1.get()" , "\" good\"" );"var v = r1.get();" , "\" good\"" );"var r3 = new java.util.ArrayList(42) { public String get() { return \" good\"; } };" , added(VALID));"r3.get()" , "\" good\"" );"class O { public class Inner { public String test() { return \" good\"; } } }" "var r4 = new O().new Inner() { public String get() { return \" good\"; } };" );"r4.get()" , "\" good\"" );"class O2 { public class Inner { public Inner(int i) { } public String test() { return \" good\"; } } }" );"var r5 = new O2().new Inner(1) { public String get() { return \" good\"; } };" );"r5.get()" , "\" good\"" );" Z identity(Z z) { return z; }" );"var r6 = identity(new Object() { String s = \" good\"; });" );"r6.s" , "\" good\"" );"interface I { C get(B b); }" );" C cascade(A a, I c1, I c2) { return c2.get(c1.get(a)); }" );"var r7 = cascade(\" good\", a -> new Object() { String s = a; }, b -> new java.util.ArrayList(5) { String s = b.s; });" );"r7.s" , "\" good\"" );"var r8 = cascade(\" good\", a -> new Object() { String s = a; public String getS() { return s; } }, b -> new java.util.ArrayList(5) { String s = b.getS(); public String getS() { return s; } });" );"r8.getS()" , "\" good\"" );"var r9 = new Object() { class T { class Inner { public String g() { return outer(); } } public String outer() { return \" good\"; } public String test() { return new Inner() {}.g(); } } public String test() { return new T().test(); } };" );"r9.test()" , "\" good\"" );"var nested1 = new Object() { class N { public String get() { return \" good\"; } } };" );"nested1.new N().get()" , "\" good\"" );"var nested2 = cascade(\" good\", a -> new Object() { abstract class G { abstract String g(); } G g = new G() { String g() { return a; } }; }, b -> new java.util.ArrayList(5) { String s = b.g.g(); });" );"nested2.s" , "\" good\"" );" B convert(A a, I c) { return c.get(a); }" );"var r10 = convert(\" good\", a -> new api.C(12) { public String val = \" \" + i + s + l + a; } );" );"r10.val" , "\" 12empty[empty]good\"" );"var r11 = convert(\" good\", a -> new api.C(\" a\") { public String val = \" \" + i + s + l + a; } );" );"r11.val" , "\" 3a[empty]good\"" );"import api.C;" );"var r12 = convert(\" good\", a -> new C(java.util.List.of(\" a\")) { public String val = \" \" + i + s + l + a; } );" );"r12.val" , "\" 4empty[a]good\"" );"var r13 = convert(\" good\", a -> new api.G(java.util.List.of(\" b\")) { public String val = \" \" + l + a; } );" );"r13.val" , "\" [b]good\"" );"var r14 = convert(\" good\", a -> new api.J() { public java.util.List get() { return java.util.List.of(a, \" c\"); } } );" );"r14.get()" , "[good, c]" );"var r15a = new java.util.ArrayList();" );"r15a.add(\" a\");" );"var r15b = r15a.get(0);" );"r15b" , "\" a\"" );"class Z { }" );"var r16a = new Z();" );"var r16b = (Runnable) () -> {int r16b_; int r16b__;};" );"class $ { }" );"var r16c = new $();" );"$ r16d() { return null; }" );"var r16d = r16d();" );public void test8191842() {"import java.util.stream.*;" );"var list = Stream.of(1, 2, 3).map(j -> new Object() { int i = j; }).collect(Collectors.toList());" );"list.stream().map(a -> String.valueOf(a.i)).collect(Collectors.joining(\" , \"));" , "\" 1, 2, 3\"" );public void lvtiRecompileDependentsWithIntersectionTypes() {" Z get1() { return null; }" , added(VALID));"var i1 = get1();" , added(VALID));" Z get2() { return null; }" ,false , null )));"import java.util.stream.*;" , added(VALID),true , MAIN_SNIPPET));"void t1() { i1.run(); i1.length(); }" , added(VALID));"var i2 = get2();" , added(VALID));"void t2() { i2.run(); i2.count(); }" , added(VALID));public void arrayInit() {"int[] d = {1, 2, 3};" );public void testAnonymousVar() {"new Object() { public String get() { return \" a\"; } }" );"$1.get()" , "\" a\"" );public void testIntersectionVar() {" Z get() { return null; }" , added(VALID));"get();" , added(VALID));"void t1() { $1.run(); $1.length(); }" , added(VALID));public void multipleCaptures() {"class D { D(int foo, String bar) { this.foo = foo; this.bar = bar; } int foo; String bar; } " );"var d = new D(34, \" hi\") { String z = foo + bar; };" );"d.z" , "\" 34hi\"" );public void multipleAnonymous() {"new Object() { public int i = 42; public int i1 = i; public int m1() { return i1; } };" ));"new Object() { public int i = 42; public int i2 = i; public int m2() { return i2; } };" ));".i" , "42" );".i1" , "42" );".m1()" , "42" );".i2" ,new ExpectedDiagnostic("compiler.err.cant.resolve.location" , 0, 5, 2,".i" , "42" );".i2" , "42" );".m2()" , "42" );".i1" ,new ExpectedDiagnostic("compiler.err.cant.resolve.location" , 0, 5, 2,public void displayName() {"var v1 = 234;" , "int" );"var v2 = new int[] {234};" , "int[]" );" Z get() { return null; }" , added(VALID));"var v3 = get();" , "CharSequence&Runnable" );"var v4a = new java.util.ArrayList();" , "java.util.ArrayList" );"v4a.add(\" a\");" );"var v4b = v4a.get(0);" , "String" );"var v5 = new Object() { };" , "" );"var v6 = new Runnable() { public void run() { } };" , "" );public void varType() {"import java.util.*;" );var firstVar = varKey(assertEval("var v1 = List.of(1);" , added(VALID)));"import list.List;" , DiagCheck.DIAG_OK, DiagCheck.DIAG_ERROR, added(VALID),true , MAIN_SNIPPET));"var v2 = java.util.List.of(1);" , added(VALID));"v2" , "[1]" );public void varDeclNoInit() {"byte" , "b" , "0" );"short" , "h" , "0" );"int" , "i" , "0" );"long" , "l" , "0" );"float" , "f" , "0.0" );"double" , "d" , "0.0" );"boolean" , "n" , "false" );"char" , "c" , "'\\000'" );"Object" , "o" , "null" );"String" , "s" , "null" );public void varDeclRedefNoInit() {"byte" , "b" , "1" , "0" );"short" , "h" , "2" , "0" );"int" , "i" , "3" , "0" );"long" , "l" , "4L" , IGNORE_VALUE, "0" );"float" , "f" , "3.14f" , IGNORE_VALUE, "0.0" );"double" , "d" , "3.1415926" , "0.0" );"boolean" , "n" , "true" , "false" );"char" , "c" , "'x'" , "'\\000'" );"Object" , "o" , "new Object()" , IGNORE_VALUE, "null" );"String" , "s" , "\" hi\"" , "null" );public void badPkgVarDecl() {new Compiler();"cp" , "xyz" );"public class TestZ { public static int V = 0; }\n" );"import static xyz.TestZ.V;" ,"compiler.err.cant.access" );"var v = xyz.TestZ.V;" , IGNORE_VALUE, null ,"v" , "java.lang.Object" , RECOVERABLE_NOT_DEFINED, SubKind.VAR_DECLARATION_WITH_INITIALIZER_SUBKIND, 0, 1);"1+1" , "2" );private void assertVarDeclRedefNoInit(String typeName, String name, String value, String dvalue) {private void assertVarDeclRedefNoInit(String typeName, String name, String value, String rvalue, String dvalue) {" " + name + " = " + value + ";" , rvalue));false , null ),false , MAIN_SNIPPET));private VarSnippet assertVarDeclNoInit(String typeName, String name, String dvalue) {return assertVarDeclNoInit(typeName, name, dvalue, added(VALID));private VarSnippet assertVarDeclNoInit(String typeName, String name, String dvalue, STEInfo mainInfo, STEInfo... updates) {" " + name + ";" , dvalue, mainInfo, updates));return vs;private void assertVarDisplayName(String var , String typeName) {var )).typeName(), typeName);public void setUp() {"cp" );new Compiler();"package api;\n" +"\n" +"import java.util.List;\n" +"\n" +"public class C {\n" +" public int i;\n" +" public String s;\n" +" public List l;\n" +" public C(int i) {\n" +" this.i = i;\n" +" this.s = \" empty\";\n" +" this.l = List.of(\" empty\");\n" +" }\n" +" public C(String s) {\n" +" this.i = 3;\n" +" this.s = s;\n" +" this.l = List.of(\" empty\");\n" +" }\n" +" public C(List l) {\n" +" this.i = 4;\n" +" this.s = \" empty\";\n" +" this.l = l;\n" +" }\n" +"}\n" ,"package api;\n" +"\n" +"import java.util.List;\n" +"\n" +"public class G {\n" +" public List l;\n" +" public G(List l) {\n" +" this.l = l;\n" +" }\n" +"}\n" ,"package api;\n" +"\n" +"import java.util.List;\n" +"\n" +"public interface J {\n" +" public List get();\n" +"}\n" ,"package list;\n" +"\n" +"public class List {\n" +"}\n" );"--class-path" , tpath)"--class-path" , tpath));public void varIntersection() {"interface Marker {}" );"var v = (Marker & Runnable) () -> {};" , added(VALID));"v.run()" );public void varAnonymousClassAndStaticField() { //JDK-8294431 "var obj = new Object() { public static final String msg = \" hello\"; };" );quality 100%
¤ Dauer der Verarbeitung: 0.5 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
