/******************************************************************************* * Copyright (c) 2006, 2014 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.jdt.core.tests.compiler.regression; import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants; import org.eclipse.jdt.internal.compiler.impl.CompilerOptions; import java.util.Map; import junit.framework.Test; @SuppressWarnings({ "unchecked", "rawtypes" }) public class SuperTypeTest extends AbstractRegressionTest { public SuperTypeTest(String name) { super(name); } // Static initializer to specify tests subset using TESTS_* static variables // All specified tests which does not belong to the class are skipped... static { // TESTS_NAMES = new String[] { "test000" }; // TESTS_NUMBERS = new int[] { 42, 43, 44 }; // TESTS_RANGE = new int[] { 11, -1 }; } public static Test suite() { return buildAllCompliancesTestSuite(testClass()); } public static Class testClass() { return SuperTypeTest.class; } /** * http://bugs.eclipse.org/bugs/show_bug.cgi?id=136106 */ public void test001() { this.runConformTest( new String[] { /* org.eclipse.curiosity.A */ "org/eclipse/curiosity/A.java", "package org.eclipse.curiosity;\n" + "public abstract class A implements InterfaceA {\n" + " private void e() {\n" + " }\n" + " public void f() {\n" + " this.e();\n" + " }\n" + "}", /* org.eclipse.curiosity.InterfaceA */ "org/eclipse/curiosity/InterfaceA.java", "package org.eclipse.curiosity;\n" + "public interface InterfaceA extends InterfaceBase {}\n", "org/eclipse/curiosity/InterfaceBase.java", /* org.eclipse.curiosity.InterfaceBase */ "package org.eclipse.curiosity;\n" + "public interface InterfaceBase {\n" + " public void a();\n" + " public void b();\n" + " public void c();\n" + " public void d();\n" + "}" } ); } // was Compliance_1_x#test001 public void test002() { String[] sources = new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " class M { \n"+ " } \n"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " M m; \n"+ " }; \n"+ " System.out.println(\"SUCCESS\"); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " class M {} \n" + "} \n" }; if (this.complianceLevel == ClassFileConstants.JDK1_3) { runNegativeTest( sources, "----------\n" + "1. ERROR in p1\\Test.java (at line 10)\n" + " M m; \n" + " ^\n" + "The type M is defined in an inherited type and an enclosing scope\n" + "----------\n"); } else { runConformTest( sources, "SUCCESS"); } } // was Compliance_1_x#test002 public void test003() { String[] sources = new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " String bar() { \n"+ " return \"FAILED\"; \n" + " } \n"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " String z = bar(); \n" + " }; \n"+ " System.out.println(new Y().z); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " String bar(){ return \"SUCCESS\"; } \n" + "} \n" }; if (this.complianceLevel == ClassFileConstants.JDK1_3) { runNegativeTest( sources, "----------\n" + "1. ERROR in p1\\Test.java (at line 11)\n" + " String z = bar(); \n" + " ^^^\n" + "The method bar is defined in an inherited type and an enclosing scope\n" + "----------\n"); } else { runConformTest( sources, "SUCCESS"); } } // was Compliance_1_x#test003 public void test004() { String[] sources = new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " String bar = \"FAILED\";"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " String z = bar; \n"+ " }; \n"+ " System.out.println(new Y().z); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " String bar = \"SUCCESS\"; \n" + "} \n" }; if (this.complianceLevel == ClassFileConstants.JDK1_3) { runNegativeTest( sources, "----------\n" + "1. ERROR in p1\\Test.java (at line 8)\n" + " String z = bar; \n" + " ^^^\n" + "The field bar is defined in an inherited type and an enclosing scope \n" + "----------\n"); } else { runConformTest( sources, "SUCCESS"); } } // was Compliance_1_x#test004 public void test005() { this.runConformTest( new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " String bar() { \n"+ " return \"SUCCESS\"; \n" + " } \n"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " String z = bar(); \n" + " }; \n"+ " System.out.println(new Y().z); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " private String bar(){ return \"FAILED\"; } \n" + "} \n" }, "SUCCESS"); } // was Compliance_1_x#test005 public void test006() { this.runConformTest( new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " String bar = \"SUCCESS\";"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " String z = bar; \n"+ " }; \n"+ " System.out.println(new Y().z); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " private String bar = \"FAILED\"; \n" + "} \n" }, "SUCCESS"); } // was Compliance_1_x#test006 public void test007() { this.runNegativeTest( new String[] { "p1/Test.java", "package p1; \n"+ "public class Test { \n"+ " public static void main(String[] arguments) { \n"+ " new Test().foo(); \n"+ " } \n"+ " String bar() { \n"+ " return \"FAILED\"; \n" + " } \n"+ " void foo(){ \n"+ " class Y extends Secondary { \n"+ " String z = bar(); \n" + " }; \n"+ " System.out.println(new Y().z); \n" + " } \n"+ "} \n" + "class Secondary { \n" + " String bar(int i){ return \"SUCCESS\"; } \n" + "} \n" }, "----------\n" + "1. ERROR in p1\\Test.java (at line 11)\n" + " String z = bar(); \n" + " ^^^\n" + "The method bar(int) in the type Secondary is not applicable for the arguments ()\n" + "----------\n" ); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=77918 // default is silent public void test008() { this.runConformTest( new String[] { "X.java", "public class X implements I {}\n" + "class Y extends X implements I, J {}" + "interface I {}\n" + "interface J {}\n" }, "" ); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=77918 // raising an error public void test009() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "public class X implements I {}\n" + "class Y extends X implements I, J {}\n" + "interface I {}\n" + "interface J {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + /* expected compiler log */ "1. ERROR in X.java (at line 2)\n" + " class Y extends X implements I, J {}\n" + " ^\n" + "Redundant superinterface I for the type Y, already defined by X\n" + "----------\n", // javac options JavacTestOptions.Excuse.EclipseWarningConfiguredAsError /* javac test options */); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=77918 // raising an error - deeper hierarchy public void test010() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "public class X implements I {}\n" + "class Y extends X {}\n" + "class Z extends Y implements J, I {}\n" + "interface I {}\n" + "interface J {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + /* expected compiler log */ "1. ERROR in X.java (at line 3)\n" + " class Z extends Y implements J, I {}\n" + " ^\n" + "Redundant superinterface I for the type Z, already defined by X\n" + "----------\n", // javac options JavacTestOptions.Excuse.EclipseWarningConfiguredAsError /* javac test options */); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=77918 // no error - deeper hierarchy public void test011() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); this.runConformTest( new String[] { "X.java", "public class X implements I {}\n" + "class Y extends X {}\n" + "class Z extends Y implements J {}" + "interface I {}\n" + "interface J {}\n" }, "", null /* no extra class libraries */, true /* flush output directory */, null /* no vm arguments */, customOptions, null /* no custom requestor*/); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=77918 // error - extending interfaces public void test012() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "public class X implements J {}\n" + "class Y extends X implements I {}\n" + "interface I {}\n" + "interface J extends I {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + /* expected compiler log */ "1. ERROR in X.java (at line 2)\n" + " class Y extends X implements I {}\n" + " ^\n" + "Redundant superinterface I for the type Y, already defined by J\n" + "----------\n", // javac options JavacTestOptions.Excuse.EclipseWarningConfiguredAsError /* javac test options */); } //https://bugs.eclipse.org/bugs/show_bug.cgi?id=288749 public void test013() { if (this.complianceLevel < ClassFileConstants.JDK1_5) return; Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "import java.util.*;\n" + "interface X<E> extends List<E>, Collection<E>, Iterable<E> {}\n" + "interface Y<E> extends Collection<E>, List<E> {}\n" + "interface XXX<E> extends Iterable<E>, List<E>, Collection<E> {}\n" + "abstract class Z implements List<Object>, Collection<Object> {}\n" + "abstract class ZZ implements Collection<Object>, List<Object> {}" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 2)\n" + " interface X<E> extends List<E>, Collection<E>, Iterable<E> {}\n" + " ^^^^^^^^^^\n" + "Redundant superinterface Collection<E> for the type X<E>, already defined by List<E>\n" + "----------\n" + "2. ERROR in X.java (at line 2)\n" + " interface X<E> extends List<E>, Collection<E>, Iterable<E> {}\n" + " ^^^^^^^^\n" + "Redundant superinterface Iterable<E> for the type X<E>, already defined by List<E>\n" + "----------\n" + "3. ERROR in X.java (at line 3)\n" + " interface Y<E> extends Collection<E>, List<E> {}\n" + " ^^^^^^^^^^\n" + "Redundant superinterface Collection<E> for the type Y<E>, already defined by List<E>\n" + "----------\n" + "4. ERROR in X.java (at line 4)\n" + " interface XXX<E> extends Iterable<E>, List<E>, Collection<E> {}\n" + " ^^^^^^^^\n" + "Redundant superinterface Iterable<E> for the type XXX<E>, already defined by List<E>\n" + "----------\n" + "5. ERROR in X.java (at line 4)\n" + " interface XXX<E> extends Iterable<E>, List<E>, Collection<E> {}\n" + " ^^^^^^^^^^\n" + "Redundant superinterface Collection<E> for the type XXX<E>, already defined by List<E>\n" + "----------\n" + "6. ERROR in X.java (at line 5)\n" + " abstract class Z implements List<Object>, Collection<Object> {}\n" + " ^^^^^^^^^^\n" + "Redundant superinterface Collection<Object> for the type Z, already defined by List<Object>\n" + "----------\n" + "7. ERROR in X.java (at line 6)\n" + " abstract class ZZ implements Collection<Object>, List<Object> {}\n" + " ^^^^^^^^^^\n" + "Redundant superinterface Collection<Object> for the type ZZ, already defined by List<Object>\n" + "----------\n", JavacTestOptions.SKIP); } //https://bugs.eclipse.org/bugs/show_bug.cgi?id=288749 public void test014() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "public class X implements I, J {}", "I.java", "public interface I {}", "J.java", "public interface J extends I {}" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 1)\n" + " public class X implements I, J {}\n" + " ^\n" + "Redundant superinterface I for the type X, already defined by J\n" + "----------\n", JavacTestOptions.SKIP); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=320911 (as is) public void test015() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "interface IVerticalRulerColumn {}\n" + "interface IVerticalRulerInfo {}\n" + "interface IVerticalRulerInfoExtension {}\n" + "interface IChangeRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfoExtension {}\n" + "interface IRevisionRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + "public final class X implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension, IChangeRulerColumn, IRevisionRulerColumn {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 6)\n" + " public final class X implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension, IChangeRulerColumn, IRevisionRulerColumn {}\n" + " ^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerColumn for the type X, already defined by IChangeRulerColumn\n" + "----------\n" + "2. ERROR in X.java (at line 6)\n" + " public final class X implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension, IChangeRulerColumn, IRevisionRulerColumn {}\n" + " ^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfo for the type X, already defined by IRevisionRulerColumn\n" + "----------\n" + "3. ERROR in X.java (at line 6)\n" + " public final class X implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension, IChangeRulerColumn, IRevisionRulerColumn {}\n" + " ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfoExtension for the type X, already defined by IChangeRulerColumn\n" + "----------\n", JavacTestOptions.SKIP); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=320911 (variation) public void test016() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "interface IVerticalRulerColumn {}\n" + "interface IVerticalRulerInfo {}\n" + "interface IVerticalRulerInfoExtension {}\n" + "interface IChangeRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfoExtension {}\n" + "interface IRevisionRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + "class Z implements IChangeRulerColumn {}\n" + "class Y extends Z implements IRevisionRulerColumn {}\n" + "public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 8)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerColumn for the type X, already defined by IRevisionRulerColumn\n" + "----------\n" + "2. ERROR in X.java (at line 8)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfo for the type X, already defined by IRevisionRulerColumn\n" + "----------\n" + "3. ERROR in X.java (at line 8)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfoExtension for the type X, already defined by IRevisionRulerColumn\n" + "----------\n", JavacTestOptions.SKIP); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=320911 (variation) public void test017() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "interface IVerticalRulerColumn {}\n" + "interface IVerticalRulerInfo {}\n" + "interface IVerticalRulerInfoExtension {}\n" + "interface IChangeRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfoExtension {}\n" + "interface IRevisionRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + "class Z implements IRevisionRulerColumn{}\n" + "class C extends Z {}\n" + "class B extends C implements IChangeRulerColumn {}\n" + "class H extends B {}\n" + "class Y extends H {}\n" + "public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerColumn for the type X, already defined by IRevisionRulerColumn\n" + "----------\n" + "2. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfo for the type X, already defined by IRevisionRulerColumn\n" + "----------\n" + "3. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfoExtension for the type X, already defined by IRevisionRulerColumn\n" + "----------\n", JavacTestOptions.SKIP); } // https://bugs.eclipse.org/bugs/show_bug.cgi?id=320911 (variation) public void test018() { Map customOptions = getCompilerOptions(); customOptions.put(CompilerOptions.OPTION_ReportRedundantSuperinterface, CompilerOptions.ERROR); runNegativeTest( // test directory preparation true /* flush output directory */, new String[] { /* test files */ "X.java", "interface IVerticalRulerColumn {}\n" + "interface IVerticalRulerInfo {}\n" + "interface IVerticalRulerInfoExtension {}\n" + "interface IChangeRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfoExtension {}\n" + "interface IRevisionRulerColumn extends IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + "class Z implements IVerticalRulerInfoExtension {}\n" + "class C extends Z {}\n" + "class B extends C implements IChangeRulerColumn {}\n" + "class H extends B implements IVerticalRulerInfo {}\n" + "class Y extends H implements IVerticalRulerColumn {}\n" + "public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" }, // compiler options null /* no class libraries */, customOptions /* custom options */, // compiler results "----------\n" + "1. ERROR in X.java (at line 10)\n" + " class Y extends H implements IVerticalRulerColumn {}\n" + " ^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerColumn for the type Y, already defined by IChangeRulerColumn\n" + "----------\n" + "2. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerColumn for the type X, already defined by Y\n" + "----------\n" + "3. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfo for the type X, already defined by H\n" + "----------\n" + "4. ERROR in X.java (at line 11)\n" + " public final class X extends Y implements IVerticalRulerColumn, IVerticalRulerInfo, IVerticalRulerInfoExtension {}\n" + " ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + "Redundant superinterface IVerticalRulerInfoExtension for the type X, already defined by Z\n" + "----------\n", JavacTestOptions.SKIP); } }