aoqi@0: /* aoqi@0: * Copyright (c) 2012, Oracle and/or its affiliates. All rights reserved. aoqi@0: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. aoqi@0: * aoqi@0: * This code is free software; you can redistribute it and/or modify it aoqi@0: * under the terms of the GNU General Public License version 2 only, as aoqi@0: * published by the Free Software Foundation. aoqi@0: * aoqi@0: * This code is distributed in the hope that it will be useful, but WITHOUT aoqi@0: * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or aoqi@0: * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License aoqi@0: * version 2 for more details (a copy is included in the LICENSE file that aoqi@0: * accompanied this code). aoqi@0: * aoqi@0: * You should have received a copy of the GNU General Public License version aoqi@0: * 2 along with this work; if not, write to the Free Software Foundation, aoqi@0: * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. aoqi@0: * aoqi@0: * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA aoqi@0: * or visit www.oracle.com if you need additional information or have any aoqi@0: * questions. aoqi@0: */ aoqi@0: aoqi@0: /* aoqi@0: * @test aoqi@0: * @bug 8003280 aoqi@0: * @summary Add lambda tests aoqi@0: * compile crashes on partial lambda expressions aoqi@0: */ aoqi@0: aoqi@0: import com.sun.source.util.JavacTask; aoqi@0: import java.net.URI; aoqi@0: import java.util.Arrays; aoqi@0: import javax.tools.Diagnostic; aoqi@0: import javax.tools.JavaCompiler; aoqi@0: import javax.tools.JavaFileObject; aoqi@0: import javax.tools.SimpleJavaFileObject; aoqi@0: import javax.tools.StandardJavaFileManager; aoqi@0: import javax.tools.ToolProvider; aoqi@0: aoqi@0: aoqi@0: public class BadLambdaExpr { aoqi@0: aoqi@0: static int checkCount = 0; aoqi@0: aoqi@0: enum ParameterListKind { aoqi@0: ZERO_ARY("()"), aoqi@0: UNARY("(#P)"), aoqi@0: TWO_ARY("(#P, #P)"), aoqi@0: THREE_ARY("(#P, #P, #P)"); aoqi@0: aoqi@0: String parametersTemplateStr; aoqi@0: aoqi@0: ParameterListKind(String parametersTemplateStr) { aoqi@0: this.parametersTemplateStr = parametersTemplateStr; aoqi@0: } aoqi@0: aoqi@0: String getParameterString(ParameterKind pk) { aoqi@0: return parametersTemplateStr.replaceAll("#P", pk.parameterStr); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: enum ParameterKind { aoqi@0: IMPLICIT("a"), aoqi@0: EXPLIICT("A a"); aoqi@0: aoqi@0: String parameterStr; aoqi@0: aoqi@0: ParameterKind(String parameterStr) { aoqi@0: this.parameterStr = parameterStr; aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: enum ArrowKind { aoqi@0: NONE(""), aoqi@0: SEMI("-"), aoqi@0: FULL("->"); aoqi@0: aoqi@0: String arrowStr; aoqi@0: aoqi@0: ArrowKind(String arrowStr) { aoqi@0: this.arrowStr = arrowStr; aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: enum ExprKind { aoqi@0: NONE("#P#A"), aoqi@0: METHOD_CALL("m(#P#A)"), aoqi@0: CONSTR_CALL("new Foo(#P#A)"); aoqi@0: aoqi@0: String expressionTemplate; aoqi@0: aoqi@0: ExprKind(String expressionTemplate) { aoqi@0: this.expressionTemplate = expressionTemplate; aoqi@0: } aoqi@0: aoqi@0: String expressionString(ParameterListKind plk, ParameterKind pk, aoqi@0: ArrowKind ak) { aoqi@0: return expressionTemplate.replaceAll("#P", plk.getParameterString(pk)) aoqi@0: .replaceAll("#A", ak.arrowStr); aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: public static void main(String... args) throws Exception { aoqi@0: aoqi@0: //create default shared JavaCompiler - reused across multiple compilations aoqi@0: JavaCompiler comp = ToolProvider.getSystemJavaCompiler(); aoqi@0: StandardJavaFileManager fm = comp.getStandardFileManager(null, null, null); aoqi@0: aoqi@0: for (ParameterListKind plk : ParameterListKind.values()) { aoqi@0: for (ParameterKind pk : ParameterKind.values()) { aoqi@0: for (ArrowKind ak : ArrowKind.values()) { aoqi@0: for (ExprKind ek : ExprKind.values()) { aoqi@0: new BadLambdaExpr(plk, pk, ak, ek).run(comp, fm); aoqi@0: } aoqi@0: } aoqi@0: } aoqi@0: } aoqi@0: System.out.println("Total check executed: " + checkCount); aoqi@0: } aoqi@0: aoqi@0: ParameterListKind plk; aoqi@0: ParameterKind pk; aoqi@0: ArrowKind ak; aoqi@0: ExprKind ek; aoqi@0: JavaSource source; aoqi@0: DiagnosticChecker diagChecker; aoqi@0: aoqi@0: BadLambdaExpr(ParameterListKind plk, ParameterKind pk, ArrowKind ak, ExprKind ek) { aoqi@0: this.plk = plk; aoqi@0: this.pk = pk; aoqi@0: this.ak = ak; aoqi@0: this.ek = ek; aoqi@0: this.source = new JavaSource(); aoqi@0: this.diagChecker = new DiagnosticChecker(); aoqi@0: } aoqi@0: aoqi@0: class JavaSource extends SimpleJavaFileObject { aoqi@0: aoqi@0: String template = "class Test {\n" + aoqi@0: " SAM s = #E;\n" + aoqi@0: "}"; aoqi@0: aoqi@0: String source; aoqi@0: aoqi@0: public JavaSource() { aoqi@0: super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE); aoqi@0: source = template.replaceAll("#E", ek.expressionString(plk, pk, ak)); aoqi@0: } aoqi@0: aoqi@0: @Override aoqi@0: public CharSequence getCharContent(boolean ignoreEncodingErrors) { aoqi@0: return source; aoqi@0: } aoqi@0: } aoqi@0: aoqi@0: void run(JavaCompiler tool, StandardJavaFileManager fm) throws Exception { aoqi@0: JavacTask ct = (JavacTask)tool.getTask(null, fm, diagChecker, aoqi@0: null, null, Arrays.asList(source)); aoqi@0: try { aoqi@0: ct.parse(); aoqi@0: } catch (Throwable ex) { aoqi@0: throw new AssertionError("Error thron when parsing the following source:\n" + source.getCharContent(true)); aoqi@0: } aoqi@0: check(); aoqi@0: } aoqi@0: aoqi@0: void check() { aoqi@0: boolean errorExpected = aoqi@0: ak != ArrowKind.NONE || aoqi@0: plk != ParameterListKind.UNARY || aoqi@0: pk != ParameterKind.IMPLICIT; aoqi@0: if (errorExpected != diagChecker.errorFound) { aoqi@0: throw new Error("bad diag for source:\n" + aoqi@0: source.getCharContent(true)); aoqi@0: } aoqi@0: checkCount++; aoqi@0: } aoqi@0: aoqi@0: static class DiagnosticChecker implements javax.tools.DiagnosticListener { aoqi@0: aoqi@0: boolean errorFound; aoqi@0: aoqi@0: @Override aoqi@0: public void report(Diagnostic diagnostic) { aoqi@0: if (diagnostic.getKind() == Diagnostic.Kind.ERROR) { aoqi@0: errorFound = true; aoqi@0: } aoqi@0: } aoqi@0: } aoqi@0: }