test/tools/javac/lambda/MethodReferenceParserTest.java

Tue, 21 May 2013 13:50:56 +0100

author
vromero
date
Tue, 21 May 2013 13:50:56 +0100
changeset 1774
37295244f534
parent 1520
5c956be64b9e
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005207: test has 2 @bug tags
Reviewed-by: mcimadamore

mcimadamore@1145 1 /*
vromero@1482 2 * Copyright (c) 2011, 2013, Oracle and/or its affiliates. All rights reserved.
mcimadamore@1145 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
mcimadamore@1145 4 *
mcimadamore@1145 5 * This code is free software; you can redistribute it and/or modify it
mcimadamore@1145 6 * under the terms of the GNU General Public License version 2 only, as
mcimadamore@1145 7 * published by the Free Software Foundation.
mcimadamore@1145 8 *
mcimadamore@1145 9 * This code is distributed in the hope that it will be useful, but WITHOUT
mcimadamore@1145 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
mcimadamore@1145 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
mcimadamore@1145 12 * version 2 for more details (a copy is included in the LICENSE file that
mcimadamore@1145 13 * accompanied this code).
mcimadamore@1145 14 *
mcimadamore@1145 15 * You should have received a copy of the GNU General Public License version
mcimadamore@1145 16 * 2 along with this work; if not, write to the Free Software Foundation,
mcimadamore@1145 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
mcimadamore@1145 18 *
mcimadamore@1145 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
mcimadamore@1145 20 * or visit www.oracle.com if you need additional information or have any
mcimadamore@1145 21 * questions.
mcimadamore@1145 22 */
mcimadamore@1145 23
mcimadamore@1145 24 /*
mcimadamore@1145 25 * @test
vromero@1774 26 * @bug 7115052 8003280 8006694
mcimadamore@1415 27 * @summary Add lambda tests
mcimadamore@1415 28 * Add parser support for method references
vromero@1520 29 * temporarily workaround combo tests are causing time out in several platforms
vromero@1482 30 * @library ../lib
vromero@1482 31 * @build JavacTestingAbstractThreadedTest
vromero@1520 32 * @run main/othervm MethodReferenceParserTest
mcimadamore@1145 33 */
mcimadamore@1145 34
vromero@1520 35 // use /othervm to avoid jtreg timeout issues (CODETOOLS-7900047)
vromero@1520 36 // see JDK-8006746
vromero@1520 37
mcimadamore@1145 38 import java.net.URI;
mcimadamore@1145 39 import java.util.Arrays;
mcimadamore@1145 40 import javax.tools.Diagnostic;
mcimadamore@1145 41 import javax.tools.JavaFileObject;
mcimadamore@1145 42 import javax.tools.SimpleJavaFileObject;
vromero@1482 43 import com.sun.source.util.JavacTask;
mcimadamore@1145 44
vromero@1482 45 public class MethodReferenceParserTest
vromero@1482 46 extends JavacTestingAbstractThreadedTest
vromero@1482 47 implements Runnable {
mcimadamore@1145 48
mcimadamore@1145 49 enum ReferenceKind {
mcimadamore@1352 50 METHOD_REF("#Q::#Gm"),
mcimadamore@1352 51 CONSTRUCTOR_REF("#Q::#Gnew"),
mcimadamore@1165 52 FALSE_REF("min < max"),
mcimadamore@1352 53 ERR_SUPER("#Q::#Gsuper"),
mcimadamore@1352 54 ERR_METH0("#Q::#Gm()"),
mcimadamore@1352 55 ERR_METH1("#Q::#Gm(X)"),
mcimadamore@1352 56 ERR_CONSTR0("#Q::#Gnew()"),
mcimadamore@1352 57 ERR_CONSTR1("#Q::#Gnew(X)");
mcimadamore@1145 58
mcimadamore@1145 59 String referenceTemplate;
mcimadamore@1145 60
mcimadamore@1145 61 ReferenceKind(String referenceTemplate) {
mcimadamore@1145 62 this.referenceTemplate = referenceTemplate;
mcimadamore@1145 63 }
mcimadamore@1145 64
mcimadamore@1145 65 String getReferenceString(QualifierKind qk, GenericKind gk) {
mcimadamore@1145 66 return referenceTemplate
mcimadamore@1145 67 .replaceAll("#Q", qk.qualifier)
mcimadamore@1145 68 .replaceAll("#G", gk.typeParameters);
mcimadamore@1145 69 }
mcimadamore@1145 70
mcimadamore@1145 71 boolean erroneous() {
mcimadamore@1145 72 switch (this) {
mcimadamore@1145 73 case ERR_SUPER:
mcimadamore@1145 74 case ERR_METH0:
mcimadamore@1145 75 case ERR_METH1:
mcimadamore@1145 76 case ERR_CONSTR0:
mcimadamore@1145 77 case ERR_CONSTR1:
mcimadamore@1145 78 return true;
mcimadamore@1145 79 default: return false;
mcimadamore@1145 80 }
mcimadamore@1145 81 }
mcimadamore@1145 82 }
mcimadamore@1145 83
mcimadamore@1165 84 enum ContextKind {
mcimadamore@1165 85 ASSIGN("SAM s = #E;"),
mcimadamore@1165 86 METHOD("m(#E, i);");
mcimadamore@1165 87
mcimadamore@1165 88 String contextTemplate;
mcimadamore@1165 89
mcimadamore@1165 90 ContextKind(String contextTemplate) {
mcimadamore@1165 91 this.contextTemplate = contextTemplate;
mcimadamore@1165 92 }
mcimadamore@1165 93
vromero@1482 94 String contextString(ExprKind ek, ReferenceKind rk, QualifierKind qk,
vromero@1482 95 GenericKind gk, SubExprKind sk) {
mcimadamore@1165 96 return contextTemplate.replaceAll("#E", ek.expressionString(rk, qk, gk, sk));
mcimadamore@1165 97 }
mcimadamore@1165 98 }
mcimadamore@1165 99
mcimadamore@1145 100 enum GenericKind {
mcimadamore@1145 101 NONE(""),
mcimadamore@1145 102 ONE("<X>"),
mcimadamore@1145 103 TWO("<X,Y>");
mcimadamore@1145 104
mcimadamore@1145 105 String typeParameters;
mcimadamore@1145 106
mcimadamore@1145 107 GenericKind(String typeParameters) {
mcimadamore@1145 108 this.typeParameters = typeParameters;
mcimadamore@1145 109 }
mcimadamore@1145 110 }
mcimadamore@1145 111
mcimadamore@1145 112 enum QualifierKind {
mcimadamore@1145 113 THIS("this"),
mcimadamore@1145 114 SUPER("super"),
mcimadamore@1145 115 NEW("new Foo()"),
mcimadamore@1145 116 METHOD("m()"),
mcimadamore@1145 117 FIELD("a.f"),
mcimadamore@1145 118 UBOUND_SIMPLE("A"),
mcimadamore@1352 119 UNBOUND_ARRAY1("int[]"),
mcimadamore@1352 120 UNBOUND_ARRAY2("A<G>[][]"),
mcimadamore@1145 121 UNBOUND_GENERIC1("A<X>"),
mcimadamore@1145 122 UNBOUND_GENERIC2("A<X, Y>"),
mcimadamore@1165 123 UNBOUND_GENERIC3("A<? extends X, ? super Y>"),
mcimadamore@1165 124 UNBOUND_GENERIC4("A<int[], short[][]>"),
mcimadamore@1165 125 NESTED_GENERIC1("A<A<X,Y>, A<X,Y>>"),
mcimadamore@1165 126 NESTED_GENERIC2("A<A<A<X,Y>,A<X,Y>>, A<A<X,Y>,A<X,Y>>>");
mcimadamore@1145 127
mcimadamore@1145 128 String qualifier;
mcimadamore@1145 129
mcimadamore@1145 130 QualifierKind(String qualifier) {
mcimadamore@1145 131 this.qualifier = qualifier;
mcimadamore@1145 132 }
mcimadamore@1145 133 }
mcimadamore@1145 134
mcimadamore@1145 135 enum ExprKind {
mcimadamore@1352 136 NONE("#R::S"),
mcimadamore@1145 137 SINGLE_PAREN1("(#R#S)"),
mcimadamore@1145 138 SINGLE_PAREN2("(#R)#S"),
mcimadamore@1145 139 DOUBLE_PAREN1("((#R#S))"),
mcimadamore@1145 140 DOUBLE_PAREN2("((#R)#S)"),
mcimadamore@1145 141 DOUBLE_PAREN3("((#R))#S");
mcimadamore@1145 142
mcimadamore@1145 143 String expressionTemplate;
mcimadamore@1145 144
mcimadamore@1145 145 ExprKind(String expressionTemplate) {
mcimadamore@1145 146 this.expressionTemplate = expressionTemplate;
mcimadamore@1145 147 }
mcimadamore@1145 148
mcimadamore@1145 149 String expressionString(ReferenceKind rk, QualifierKind qk, GenericKind gk, SubExprKind sk) {
mcimadamore@1145 150 return expressionTemplate
mcimadamore@1145 151 .replaceAll("#R", rk.getReferenceString(qk, gk))
mcimadamore@1145 152 .replaceAll("#S", sk.subExpression);
mcimadamore@1145 153 }
mcimadamore@1145 154 }
mcimadamore@1145 155
mcimadamore@1145 156 enum SubExprKind {
mcimadamore@1145 157 NONE(""),
mcimadamore@1145 158 SELECT_FIELD(".f"),
mcimadamore@1145 159 SELECT_METHOD(".f()"),
mcimadamore@1145 160 SELECT_NEW(".new Foo()"),
mcimadamore@1145 161 POSTINC("++"),
mcimadamore@1145 162 POSTDEC("--");
mcimadamore@1145 163
mcimadamore@1145 164 String subExpression;
mcimadamore@1145 165
mcimadamore@1145 166 SubExprKind(String subExpression) {
mcimadamore@1145 167 this.subExpression = subExpression;
mcimadamore@1145 168 }
mcimadamore@1145 169 }
mcimadamore@1145 170
mcimadamore@1145 171 public static void main(String... args) throws Exception {
mcimadamore@1145 172 for (ReferenceKind rk : ReferenceKind.values()) {
mcimadamore@1145 173 for (QualifierKind qk : QualifierKind.values()) {
mcimadamore@1145 174 for (GenericKind gk : GenericKind.values()) {
mcimadamore@1145 175 for (SubExprKind sk : SubExprKind.values()) {
mcimadamore@1145 176 for (ExprKind ek : ExprKind.values()) {
mcimadamore@1165 177 for (ContextKind ck : ContextKind.values()) {
vromero@1482 178 pool.execute(new MethodReferenceParserTest(rk, qk, gk, sk, ek, ck));
mcimadamore@1165 179 }
mcimadamore@1145 180 }
mcimadamore@1145 181 }
mcimadamore@1145 182 }
mcimadamore@1145 183 }
mcimadamore@1145 184 }
vromero@1482 185
vromero@1482 186 checkAfterExec();
mcimadamore@1145 187 }
mcimadamore@1145 188
mcimadamore@1145 189 ReferenceKind rk;
mcimadamore@1145 190 QualifierKind qk;
mcimadamore@1145 191 GenericKind gk;
mcimadamore@1145 192 SubExprKind sk;
mcimadamore@1145 193 ExprKind ek;
mcimadamore@1165 194 ContextKind ck;
mcimadamore@1145 195 JavaSource source;
mcimadamore@1145 196 DiagnosticChecker diagChecker;
mcimadamore@1145 197
mcimadamore@1165 198 MethodReferenceParserTest(ReferenceKind rk, QualifierKind qk, GenericKind gk, SubExprKind sk, ExprKind ek, ContextKind ck) {
mcimadamore@1145 199 this.rk = rk;
mcimadamore@1145 200 this.qk = qk;
mcimadamore@1145 201 this.gk = gk;
mcimadamore@1145 202 this.sk = sk;
mcimadamore@1145 203 this.ek = ek;
mcimadamore@1165 204 this.ck = ck;
mcimadamore@1145 205 this.source = new JavaSource();
mcimadamore@1145 206 this.diagChecker = new DiagnosticChecker();
mcimadamore@1145 207 }
mcimadamore@1145 208
mcimadamore@1145 209 class JavaSource extends SimpleJavaFileObject {
mcimadamore@1145 210
mcimadamore@1145 211 String template = "class Test {\n" +
mcimadamore@1165 212 " void test() {\n" +
mcimadamore@1165 213 " #C\n" +
mcimadamore@1165 214 " }" +
mcimadamore@1145 215 "}";
mcimadamore@1145 216
mcimadamore@1145 217 String source;
mcimadamore@1145 218
mcimadamore@1145 219 public JavaSource() {
mcimadamore@1145 220 super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);
mcimadamore@1165 221 source = template.replaceAll("#C", ck.contextString(ek, rk, qk, gk, sk));
mcimadamore@1145 222 }
mcimadamore@1145 223
mcimadamore@1145 224 @Override
mcimadamore@1145 225 public CharSequence getCharContent(boolean ignoreEncodingErrors) {
mcimadamore@1145 226 return source;
mcimadamore@1145 227 }
mcimadamore@1145 228 }
mcimadamore@1145 229
vromero@1482 230 @Override
vromero@1482 231 public void run() {
vromero@1482 232 JavacTask ct = (JavacTask)comp.getTask(null, fm.get(), diagChecker,
mcimadamore@1415 233 null, null, Arrays.asList(source));
mcimadamore@1145 234 try {
mcimadamore@1145 235 ct.parse();
mcimadamore@1145 236 } catch (Throwable ex) {
vromero@1482 237 processException(ex);
vromero@1482 238 return;
mcimadamore@1145 239 }
mcimadamore@1145 240 check();
mcimadamore@1145 241 }
mcimadamore@1145 242
mcimadamore@1145 243 void check() {
vromero@1482 244 checkCount.incrementAndGet();
mcimadamore@1145 245
mcimadamore@1145 246 if (diagChecker.errorFound != rk.erroneous()) {
mcimadamore@1145 247 throw new Error("invalid diagnostics for source:\n" +
mcimadamore@1145 248 source.getCharContent(true) +
mcimadamore@1145 249 "\nFound error: " + diagChecker.errorFound +
mcimadamore@1145 250 "\nExpected error: " + rk.erroneous());
mcimadamore@1145 251 }
mcimadamore@1145 252 }
mcimadamore@1145 253
mcimadamore@1145 254 static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> {
mcimadamore@1145 255
mcimadamore@1145 256 boolean errorFound;
mcimadamore@1145 257
mcimadamore@1145 258 public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
mcimadamore@1145 259 if (diagnostic.getKind() == Diagnostic.Kind.ERROR) {
mcimadamore@1145 260 errorFound = true;
mcimadamore@1145 261 }
mcimadamore@1145 262 }
mcimadamore@1145 263 }
vromero@1482 264
mcimadamore@1145 265 }

mercurial