jdk8-mips64-public/langtools: test/tools/javac/multicatch/7030606/DisjunctiveTypeWellFormednessTest.java@809a50f24d6f (annotated)

test/tools/javac/multicatch/7030606/DisjunctiveTypeWellFormednessTest.java@809a50f24d6f (annotated)

test/tools/javac/multicatch/7030606/DisjunctiveTypeWellFormednessTest.java

Mon, 23 Sep 2013 17:27:38 +0400

author: kizune
date: Mon, 23 Sep 2013 17:27:38 +0400
changeset 2048: 809a50f24d6f
parent 1520: 5c956be64b9e
child 2525: 2eb010b6cb22
permissions: -rw-r--r--

7154966: CRs found to be in Fixed state with no test and no noreg- keyword.
Reviewed-by: ksrini

 /*
  * Copyright (c) 2011, 2013, 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 7030606 8006694
  * @summary Project-coin: multi-catch types should be pairwise disjoint
  *  temporarily workaround combo tests are causing time out in several platforms
  * @library ../../lib
  * @build JavacTestingAbstractThreadedTest
  * @run main/othervm DisjunctiveTypeWellFormednessTest
  */
 // use /othervm to avoid jtreg timeout issues (CODETOOLS-7900047)
 // see JDK-8006746
 import java.net.URI;
 import java.util.Arrays;
 import javax.tools.Diagnostic;
 import javax.tools.JavaFileObject;
 import javax.tools.SimpleJavaFileObject;
 import com.sun.source.util.JavacTask;
 public class DisjunctiveTypeWellFormednessTest
     extends JavacTestingAbstractThreadedTest
     implements Runnable {
     enum Alternative {
         EXCEPTION("Exception"),
         RUNTIME_EXCEPTION("RuntimeException"),
         IO_EXCEPTION("java.io.IOException"),
         FILE_NOT_FOUND_EXCEPTION("java.io.FileNotFoundException"),
         ILLEGAL_ARGUMENT_EXCEPTION("IllegalArgumentException");
         String exceptionStr;
         private Alternative(String exceptionStr) {
             this.exceptionStr = exceptionStr;
         }
         static String makeDisjunctiveType(Alternative... alternatives) {
             StringBuilder buf = new StringBuilder();
             String sep = "";
             for (Alternative alternative : alternatives) {
                 buf.append(sep);
                 buf.append(alternative.exceptionStr);
                 sep = "|";
             }
             return buf.toString();
         }
         boolean disjoint(Alternative that) {
             return disjoint[this.ordinal()][that.ordinal()];
         }
         static boolean[][] disjoint = {
             //                              Exception    RuntimeException    IOException    FileNotFoundException    IllegalArgumentException
             /*Exception*/                {  false,       false,              false,         false,                   false },
             /*RuntimeException*/         {  false,       false,              true,          true,                    false },
             /*IOException*/              {  false,       true,               false,         false,                   true },
             /*FileNotFoundException*/    {  false,       true,               false,         false,                   true },
             /*IllegalArgumentException*/ {  false,       false,              true,          true,                    false }
         };
     }
     enum Arity {
         ONE(1),
         TWO(2),
         THREE(3),
         FOUR(4),
         FIVE(5);
         int n;
         private Arity(int n) {
             this.n = n;
         }
     }
     public static void main(String... args) throws Exception {
         for (Arity arity : Arity.values()) {
             for (Alternative a1 : Alternative.values()) {
                 if (arity == Arity.ONE) {
                     pool.execute(new DisjunctiveTypeWellFormednessTest(a1));
                     continue;
                 }
                 for (Alternative a2 : Alternative.values()) {
                     if (arity == Arity.TWO) {
                         pool.execute(new DisjunctiveTypeWellFormednessTest(a1, a2));
                         continue;
                     }
                     for (Alternative a3 : Alternative.values()) {
                         if (arity == Arity.THREE) {
                             pool.execute(new DisjunctiveTypeWellFormednessTest(a1, a2, a3));
                             continue;
                         }
                         for (Alternative a4 : Alternative.values()) {
                             if (arity == Arity.FOUR) {
                                 pool.execute(new DisjunctiveTypeWellFormednessTest(a1, a2, a3, a4));
                                 continue;
                             }
                             for (Alternative a5 : Alternative.values()) {
                                 pool.execute(new DisjunctiveTypeWellFormednessTest(a1, a2, a3, a4, a5));
                             }
                         }
                     }
                 }
             }
         }
         checkAfterExec(false);
     }
     Alternative[] alternatives;
     JavaSource source;
     DiagnosticChecker diagChecker;
     DisjunctiveTypeWellFormednessTest(Alternative... alternatives) {
         this.alternatives = alternatives;
         this.source = new JavaSource();
         this.diagChecker = new DiagnosticChecker();
     }
     class JavaSource extends SimpleJavaFileObject {
         String template = "class Test {\n" +
                               "void test() {\n" +
                                  "try {} catch (#T e) {}\n" +
                               "}\n" +
                           "}\n";
         String source;
         public JavaSource() {
             super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);
             source = template.replace("#T", Alternative.makeDisjunctiveType(alternatives));
         }
         @Override
         public CharSequence getCharContent(boolean ignoreEncodingErrors) {
             return source;
         }
     }
     @Override
     public void run() {
         JavacTask ct = (JavacTask)comp.getTask(null, fm.get(), diagChecker,
                 null, null, Arrays.asList(source));
         try {
             ct.analyze();
         } catch (Throwable t) {
             processException(t);
             return;
         }
         check();
     }
     void check() {
         int non_disjoint = 0;
         int i = 0;
         for (Alternative a1 : alternatives) {
             int j = 0;
             for (Alternative a2 : alternatives) {
                 if (i == j) continue;
                 if (!a1.disjoint(a2)) {
                     non_disjoint++;
                     break;
                 }
                 j++;
             }
             i++;
         }
         if (non_disjoint != diagChecker.errorsFound) {
             throw new Error("invalid diagnostics for source:\n" +
                 source.getCharContent(true) +
                 "\nFound errors: " + diagChecker.errorsFound +
                 "\nExpected errors: " + non_disjoint);
         }
     }
     static class DiagnosticChecker implements javax.tools.DiagnosticListener<JavaFileObject> {
         int errorsFound;
         public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
             if (diagnostic.getKind() == Diagnostic.Kind.ERROR &&
                     diagnostic.getCode().startsWith("compiler.err.multicatch.types.must.be.disjoint")) {
                 errorsFound++;
             }
         }
     }
 }

Mercurial > jdk8-mips64-public > langtools / annotate

test/tools/javac/multicatch/7030606/DisjunctiveTypeWellFormednessTest.java@809a50f24d6f (annotated)

test/tools/javac/multicatch/7030606/DisjunctiveTypeWellFormednessTest.java