jdk8-mips64-public/langtools: test/tools/javac/cast/intersection/IntersectionTypeCastTest.java@c7c41a044e7c (annotated)

test/tools/javac/cast/intersection/IntersectionTypeCastTest.java@c7c41a044e7c (annotated)

test/tools/javac/cast/intersection/IntersectionTypeCastTest.java

Mon, 21 Jan 2013 20:14:39 +0000

author: mcimadamore
date: Mon, 21 Jan 2013 20:14:39 +0000
changeset 1511: c7c41a044e7c
parent 1482: 954541f13717
child 1520: 5c956be64b9e
permissions: -rw-r--r--

8006566: Remove transient lambda-related guards from JavacParser
Summary: Remove transitional internal flag for allowing intersection types in cast
Reviewed-by: jjg

 /*
  * Copyright (c) 2012, 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 8002099
  * @summary Add support for intersection types in cast expression
  * @library ../../lib
  * @build JavacTestingAbstractThreadedTest
  * @run main/timeout=360 IntersectionTypeCastTest
  */
 import java.net.URI;
 import java.util.Arrays;
 import javax.tools.Diagnostic;
 import javax.tools.JavaCompiler;
 import javax.tools.JavaFileObject;
 import javax.tools.SimpleJavaFileObject;
 import javax.tools.ToolProvider;
 import com.sun.source.util.JavacTask;
 import com.sun.tools.javac.util.List;
 import com.sun.tools.javac.util.ListBuffer;
 public class IntersectionTypeCastTest
     extends JavacTestingAbstractThreadedTest
     implements Runnable {
     interface Type {
         boolean subtypeOf(Type that);
         String asString();
         boolean isClass();
         boolean isInterface();
     }
     enum InterfaceKind implements Type {
         A("interface A { }\n", "A", null),
         B("interface B { }\n", "B", null),
         C("interface C extends A { }\n", "C", A);
         String declStr;
         String typeStr;
         InterfaceKind superInterface;
         InterfaceKind(String declStr, String typeStr,
                 InterfaceKind superInterface) {
             this.declStr = declStr;
             this.typeStr = typeStr;
             this.superInterface = superInterface;
         }
         @Override
         public boolean subtypeOf(Type that) {
             return this == that || superInterface == that ||
                    that == ClassKind.OBJECT;
         }
         @Override
         public String asString() {
             return typeStr;
         }
         @Override
         public boolean isClass() {
             return false;
         }
         @Override
         public boolean isInterface() {
             return true;
         }
     }
     enum ClassKind implements Type {
         OBJECT(null, "Object"),
         CA("#M class CA implements A { }\n", "CA",
            InterfaceKind.A),
         CB("#M class CB implements B { }\n", "CB",
            InterfaceKind.B),
         CAB("#M class CAB implements A, B { }\n", "CAB",
             InterfaceKind.A, InterfaceKind.B),
         CC("#M class CC implements C { }\n", "CC",
            InterfaceKind.C, InterfaceKind.A),
         CCA("#M class CCA implements C, A { }\n", "CCA",
             InterfaceKind.C, InterfaceKind.A),
         CCB("#M class CCB implements C, B { }\n", "CCB",
             InterfaceKind.C, InterfaceKind.A, InterfaceKind.B),
         CCAB("#M class CCAB implements C, A, B { }\n", "CCAB",
              InterfaceKind.C, InterfaceKind.A, InterfaceKind.B);
         String declTemplate;
         String typeStr;
         List<InterfaceKind> superInterfaces;
         ClassKind(String declTemplate, String typeStr,
                 InterfaceKind... superInterfaces) {
             this.declTemplate = declTemplate;
             this.typeStr = typeStr;
             this.superInterfaces = List.from(superInterfaces);
         }
         String getDecl(ModifierKind mod) {
             return declTemplate != null ?
                     declTemplate.replaceAll("#M", mod.modStr) :
                     "";
         }
         @Override
         public boolean subtypeOf(Type that) {
             return this == that || superInterfaces.contains(that) ||
                     that == OBJECT;
         }
         @Override
         public String asString() {
             return typeStr;
         }
         @Override
         public boolean isClass() {
             return true;
         }
         @Override
         public boolean isInterface() {
             return false;
         }
     }
     enum ModifierKind {
         NONE(""),
         FINAL("final");
         String modStr;
         ModifierKind(String modStr) {
             this.modStr = modStr;
         }
     }
     enum CastKind {
         CLASS("(#C)", 0),
         INTERFACE("(#I0)", 1),
         INTERSECTION2("(#C & #I0)", 1),
         INTERSECTION3("(#C & #I0 & #I1)", 2);
         //INTERSECTION4("(#C & #I0 & #I1 & #I2)", 3);
         String castTemplate;
         int interfaceBounds;
         CastKind(String castTemplate, int interfaceBounds) {
             this.castTemplate = castTemplate;
             this.interfaceBounds = interfaceBounds;
         }
     }
     static class CastInfo {
         CastKind kind;
         Type[] types;
         CastInfo(CastKind kind, Type... types) {
             this.kind = kind;
             this.types = types;
         }
         String getCast() {
             String temp = kind.castTemplate.replaceAll("#C",
                     types[0].asString());
             for (int i = 0; i < kind.interfaceBounds ; i++) {
                 temp = temp.replace(String.format("#I%d", i),
                                     types[i + 1].asString());
             }
             return temp;
         }
         boolean hasDuplicateTypes() {
             for (int i = 0 ; i < types.length ; i++) {
                 for (int j = 0 ; j < types.length ; j++) {
                     if (i != j && types[i] == types[j]) {
                         return true;
                     }
                 }
             }
             return false;
         }
         boolean compatibleWith(ModifierKind mod, CastInfo that) {
             for (Type t1 : types) {
                 for (Type t2 : that.types) {
                     boolean compat =
                             t1.subtypeOf(t2) ||
                             t2.subtypeOf(t1) ||
                             (t1.isInterface() && t2.isInterface()) || //side-cast (1)
                             (mod == ModifierKind.NONE &&
                             (t1.isInterface() != t2.isInterface())); //side-cast (2)
                     if (!compat) return false;
                 }
             }
             return true;
         }
     }
     public static void main(String... args) throws Exception {
         for (ModifierKind mod : ModifierKind.values()) {
             for (CastInfo cast1 : allCastInfo()) {
                 for (CastInfo cast2 : allCastInfo()) {
                     pool.execute(
                         new IntersectionTypeCastTest(mod, cast1, cast2));
                 }
             }
         }
         checkAfterExec();
     }
     static List<CastInfo> allCastInfo() {
         ListBuffer<CastInfo> buf = ListBuffer.lb();
         for (CastKind kind : CastKind.values()) {
             for (ClassKind clazz : ClassKind.values()) {
                 if (kind == CastKind.INTERFACE && clazz != ClassKind.OBJECT) {
                     continue;
                 } else if (kind.interfaceBounds == 0) {
                     buf.append(new CastInfo(kind, clazz));
                     continue;
                 } else {
                     for (InterfaceKind intf1 : InterfaceKind.values()) {
                         if (kind.interfaceBounds == 1) {
                             buf.append(new CastInfo(kind, clazz, intf1));
                             continue;
                         } else {
                             for (InterfaceKind intf2 : InterfaceKind.values()) {
                                 if (kind.interfaceBounds == 2) {
                                     buf.append(
                                             new CastInfo(kind, clazz, intf1, intf2));
                                     continue;
                                 } else {
                                     for (InterfaceKind intf3 : InterfaceKind.values()) {
                                         buf.append(
                                                 new CastInfo(kind, clazz, intf1,
                                                              intf2, intf3));
                                         continue;
                                     }
                                 }
                             }
                         }
                     }
                 }
             }
         }
         return buf.toList();
     }
     ModifierKind mod;
     CastInfo cast1, cast2;
     JavaSource source;
     DiagnosticChecker diagChecker;
     IntersectionTypeCastTest(ModifierKind mod, CastInfo cast1, CastInfo cast2) {
         this.mod = mod;
         this.cast1 = cast1;
         this.cast2 = cast2;
         this.source = new JavaSource();
         this.diagChecker = new DiagnosticChecker();
     }
     @Override
     public void run() {
         final JavaCompiler tool = ToolProvider.getSystemJavaCompiler();
         JavacTask ct = (JavacTask)tool.getTask(null, fm.get(), diagChecker,
                 null, null, Arrays.asList(source));
         try {
             ct.analyze();
         } catch (Throwable ex) {
             throw new AssertionError("Error thrown when compiling the following code:\n" +
                     source.getCharContent(true));
         }
         check();
     }
     class JavaSource extends SimpleJavaFileObject {
         String bodyTemplate = "class Test {\n" +
                               "   void test() {\n" +
                               "      Object o = #C1#C2null;\n" +
                               "   } }";
         String source = "";
         public JavaSource() {
             super(URI.create("myfo:/Test.java"), JavaFileObject.Kind.SOURCE);
             for (ClassKind ck : ClassKind.values()) {
                 source += ck.getDecl(mod);
             }
             for (InterfaceKind ik : InterfaceKind.values()) {
                 source += ik.declStr;
             }
             source += bodyTemplate.replaceAll("#C1", cast1.getCast()).
                     replaceAll("#C2", cast2.getCast());
         }
         @Override
         public CharSequence getCharContent(boolean ignoreEncodingErrors) {
             return source;
         }
     }
     void check() {
         checkCount.incrementAndGet();
         boolean errorExpected = cast1.hasDuplicateTypes() ||
                 cast2.hasDuplicateTypes();
         errorExpected |= !cast2.compatibleWith(mod, cast1);
         if (errorExpected != diagChecker.errorFound) {
             throw new Error("invalid diagnostics for source:\n" +
                 source.getCharContent(true) +
                 "\nFound error: " + diagChecker.errorFound +
                 "\nExpected error: " + errorExpected);
         }
     }
     static class DiagnosticChecker
         implements javax.tools.DiagnosticListener<JavaFileObject> {
         boolean errorFound;
         public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
             if (diagnostic.getKind() == Diagnostic.Kind.ERROR) {
                 errorFound = true;
             }
         }
     }
 }

Mercurial > jdk8-mips64-public > langtools / annotate

test/tools/javac/cast/intersection/IntersectionTypeCastTest.java@c7c41a044e7c (annotated)

test/tools/javac/cast/intersection/IntersectionTypeCastTest.java