/*******************************************************************************
* Copyright (c) 2005, 2009 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 java.io.File;
import junit.framework.Test;
import org.eclipse.jdt.core.ToolFactory;
import org.eclipse.jdt.core.tests.util.Util;
import org.eclipse.jdt.core.util.ClassFileBytesDisassembler;
import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import org.eclipse.jdt.internal.compiler.impl.CompilerOptions;
public class SwitchTest extends AbstractRegressionTest {
public SwitchTest(String name) {
super(name);
}
public static Test suite() {
return buildAllCompliancesTestSuite(SwitchTest.class);
}
public void test001() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" public static void main(String args[]) {\n" +
" foo();\n" +
" }\n" +
" public static void foo() {\n" +
" try {\n" +
" switch(0) {\n" +
" case 0 :\n" +
" case 1 - (1 << 31) :\n" +
" case (1 << 30) :\n" +
" }\n" +
" } catch (OutOfMemoryError e) {\n" +
" }\n" +
" }\n" +
"}\n",
});
}
public void test002() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" int k;\n" +
" public void foo() {\n" +
" int c;\n" +
" switch (k) {\n" +
" default :\n" +
" c = 2;\n" +
" break;\n" +
" case 2 :\n" +
" c = 3;\n" +
" break;\n" +
" }\n" +
" }\n" +
"}\n",
});
}
public void test003() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" int i = 0;\n" +
" void foo() {\n" +
" switch (i) {\n" +
" case 1 :\n" +
" {\n" +
" int j;\n" +
" break;\n" +
" }\n" +
" }\n" +
" }\n" +
"}\n",
});
}
public void test004() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" public static int foo() {\n" +
" int i = 0, j;\n" +
" switch (i) {\n" +
" default :\n" +
" int k = 2;\n" +
" j = k;\n" +
" }\n" +
" if (j != -2) {\n" +
" return 1;\n" +
" }\n" +
" return 0;\n" +
" }\n" +
"}\n",
});
}
public void test005() {
this.runConformTest(new String[] {
"p/BugJavaCase.java",
"package p;\n" +
"class BugJavaCase {\n" +
" public static final int BC_ZERO_ARG = 1;\n" +
" public void test01(int i) {\n" +
" switch (i) {\n" +
" case BC_ZERO_ARG :\n" +
" System.out.println(\"i = \" + i);\n" +
" break;\n" +
" }\n" +
" }\n" +
"}\n",
});
}
public void test006() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" public static void main(String args[]) {\n" +
" foo(); \n" +
" } \n" +
" \n" +
" public static void foo() { \n" +
" char x = 5;\n" +
" final short b = 5;\n" +
" int a;\n" +
" \n" +
" switch (x) {\n" +
" case b: // compile time error\n" +
" a = 0;\n" +
" break; \n" +
" default:\n" +
" a=1;\n" +
" }\n" +
" \n" +
" }\n" +
"}\n",
});
}
public void test007() {
this.runNegativeTest(
new String[] {
"p/X.java",
"package p;\n" +
"class X {\n" +
" void v() {\n" +
" switch (1) {\n" +
" case (int) (1.0 / 0.0) :\n" +
" break;\n" +
" case (int) (2.0 / 0.0) :\n" +
" break;\n" +
" }\n" +
" }\n" +
"}",
},
"----------\n" +
"1. ERROR in p\\X.java (at line 5)\n" +
" case (int) (1.0 / 0.0) :\n" +
" ^^^^^^^^^^^^^^^^^^^^^^\n" +
"Duplicate case\n" +
"----------\n" +
"2. ERROR in p\\X.java (at line 7)\n" +
" case (int) (2.0 / 0.0) :\n" +
" ^^^^^^^^^^^^^^^^^^^^^^\n" +
"Duplicate case\n" +
"----------\n"
);
}
public void test008() {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
" public static void main(String[] args) {\n" +
" switch(args.length){\n" +
" }\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
}
public void test009() {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
" public static void main(String argv[]) {\n" +
" switch (81391861) {\n" +
" case (81391861) :\n" +
" System.out.println(\"SUCCESS\");\n" +
" break;\n" +
" default:\n" +
" System.out.println(\"FAILED\");\n" +
" }\n" +
" }\n" +
"}\n",
},
"SUCCESS");
}
public void test010() {
this.runNegativeTest(new String[] {
"X.java",
"public class X {\n" +
" \n" +
" void foo(){\n" +
" switch(this){\n" +
" case 0 : \n" +
" Zork z;\n" +
" }\n" +
" }\n" +
" \n" +
" void bar(){\n" +
" switch(x){\n" +
" case 0 : \n" +
" Zork z;\n" +
" }\n" +
" } \n" +
"}\n",
},
"----------\n" +
"1. ERROR in X.java (at line 4)\n" +
" switch(this){\n" +
" ^^^^\n" +
"Cannot switch on a value of type X. Only convertible int values or enum constants are permitted\n" +
"----------\n" +
"2. ERROR in X.java (at line 6)\n" +
" Zork z;\n" +
" ^^^^\n" +
"Zork cannot be resolved to a type\n" +
"----------\n" +
"3. ERROR in X.java (at line 11)\n" +
" switch(x){\n" +
" ^\n" +
"x cannot be resolved\n" +
"----------\n" +
"4. ERROR in X.java (at line 13)\n" +
" Zork z;\n" +
" ^^^^\n" +
"Zork cannot be resolved to a type\n" +
"----------\n");
}
public void test011() {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
" public static void main(String args[]) {\n" +
" switch (args.length) {\n" +
" case 1 :\n" +
" System.out.println();\n" +
" case 3 :\n" +
" break;\n" +
" default :\n" +
" }\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=86813
public void test012() throws Exception {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
" public static void main(String[] args) {\n" +
" boolean x= true;\n" +
" try {\n" +
" int i= 1;\n" +
" switch (i) { // <-- breakpoint here\n" +
" case 1:\n" +
" break; //step 1 \n" +
" case 2:\n" +
" x = false; //step 2 \n" +
" break;\n" +
" }\n" +
" }catch(Exception e) {\n" +
" }\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
String expectedOutput =
" // Method descriptor #15 ([Ljava/lang/String;)V\n" +
" // Stack: 2, Locals: 3\n" +
" public static void main(java.lang.String[] args);\n" +
" 0 iconst_1\n" +
" 1 istore_1 [x]\n" +
" 2 iconst_1\n" +
" 3 istore_2 [i]\n" +
" 4 iload_2 [i]\n" +
" 5 tableswitch default: 33\n" +
" case 1: 28\n" +
" case 2: 31\n" +
" 28 goto 37\n" +
" 31 iconst_0\n" +
" 32 istore_1 [x]\n" +
" 33 goto 37\n" +
" 36 astore_2\n" +
" 37 getstatic java.lang.System.out : java.io.PrintStream [16]\n" +
" 40 ldc <String \"SUCCESS\"> [22]\n" +
" 42 invokevirtual java.io.PrintStream.println(java.lang.String) : void [24]\n" +
" 45 return\n" +
" Exception Table:\n" +
" [pc: 2, pc: 33] -> 36 when : java.lang.Exception\n" +
" Line numbers:\n" +
" [pc: 0, line: 3]\n" +
" [pc: 2, line: 5]\n" +
" [pc: 4, line: 6]\n" +
" [pc: 28, line: 8]\n" +
" [pc: 31, line: 10]\n" +
" [pc: 33, line: 12]\n" +
" [pc: 36, line: 13]\n" +
" [pc: 37, line: 15]\n" +
" [pc: 45, line: 16]\n" +
" Local variable table:\n" +
" [pc: 0, pc: 46] local: args index: 0 type: java.lang.String[]\n" +
" [pc: 2, pc: 46] local: x index: 1 type: boolean\n" +
" [pc: 4, pc: 36] local: i index: 2 type: int\n";
File f = new File(OUTPUT_DIR + File.separator + "X.class");
byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(f);
ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler();
String result = disassembler.disassemble(classFileBytes, "\n", ClassFileBytesDisassembler.DETAILED);
int index = result.indexOf(expectedOutput);
if (index == -1 || expectedOutput.length() == 0) {
System.out.println(Util.displayString(result, 3));
}
if (index == -1) {
assertEquals("Wrong contents", expectedOutput, result);
}
}
public void test013() throws Exception {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
"\n" +
" public static void main(String[] args) {\n" +
" X x;\n" +
" Object o = null;\n" +
" for (int i = 0; i < 10; i++) {\n" +
" if (i < 90) {\n" +
" x = new X();\n" +
" if (i > 4) {\n" +
" o = new Object();\n" +
" } else {\n" +
" o = null;\n" +
" }\n" +
" switch (2) {\n" +
" case 0:\n" +
" if (o instanceof String) {\n" +
" System.out.print(\"1\");\n" +
" return;\n" +
" } else {\n" +
" break;\n" +
" }\n" +
" default: {\n" +
" Object diff = o;\n" +
" if (diff != null) {\n" +
" System.out.print(\"2\");\n" +
" }\n" +
" break;\n" +
" }\n" +
" }\n" +
" System.out.print(\"3\"); \n" +
" }\n" +
" }\n" +
" }\n" +
"}\n",
},
"333332323232323");
String expectedOutput = new CompilerOptions(this.getCompilerOptions()).complianceLevel < ClassFileConstants.JDK1_6
? " // Method descriptor #15 ([Ljava/lang/String;)V\n" +
" // Stack: 2, Locals: 5\n" +
" public static void main(java.lang.String[] args);\n" +
" 0 aconst_null\n" +
" 1 astore_2 [o]\n" +
" 2 iconst_0\n" +
" 3 istore_3 [i]\n" +
" 4 goto 103\n" +
" 7 iload_3 [i]\n" +
" 8 bipush 90\n" +
" 10 if_icmpge 100\n" +
" 13 new X [1]\n" +
" 16 dup\n" +
" 17 invokespecial X() [16]\n" +
" 20 astore_1 [x]\n" +
" 21 iload_3 [i]\n" +
" 22 iconst_4\n" +
" 23 if_icmple 37\n" +
" 26 new java.lang.Object [3]\n" +
" 29 dup\n" +
" 30 invokespecial java.lang.Object() [8]\n" +
" 33 astore_2 [o]\n" +
" 34 goto 39\n" +
" 37 aconst_null\n" +
" 38 astore_2 [o]\n" +
" 39 iconst_2\n" +
" 40 tableswitch default: 76\n" +
" case 0: 60\n" +
" 60 aload_2 [o]\n" +
" 61 instanceof java.lang.String [17]\n" +
" 64 ifeq 92\n" +
" 67 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 70 ldc <String \"1\"> [25]\n" +
" 72 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 75 return\n" +
" 76 aload_2 [o]\n" +
" 77 astore 4 [diff]\n" +
" 79 aload 4 [diff]\n" +
" 81 ifnull 92\n" +
" 84 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 87 ldc <String \"2\"> [33]\n" +
" 89 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 92 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 95 ldc <String \"3\"> [35]\n" +
" 97 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 100 iinc 3 1 [i]\n" +
" 103 iload_3 [i]\n" +
" 104 bipush 10\n" +
" 106 if_icmplt 7\n" +
" 109 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 5]\n" +
" [pc: 2, line: 6]\n" +
" [pc: 7, line: 7]\n" +
" [pc: 13, line: 8]\n" +
" [pc: 21, line: 9]\n" +
" [pc: 26, line: 10]\n" +
" [pc: 37, line: 12]\n" +
" [pc: 39, line: 14]\n" +
" [pc: 60, line: 16]\n" +
" [pc: 67, line: 17]\n" +
" [pc: 75, line: 18]\n" +
" [pc: 76, line: 23]\n" +
" [pc: 79, line: 24]\n" +
" [pc: 84, line: 25]\n" +
" [pc: 92, line: 30]\n" +
" [pc: 100, line: 6]\n" +
" [pc: 109, line: 33]\n" +
" Local variable table:\n" +
" [pc: 0, pc: 110] local: args index: 0 type: java.lang.String[]\n" +
" [pc: 21, pc: 100] local: x index: 1 type: X\n" +
" [pc: 2, pc: 110] local: o index: 2 type: java.lang.Object\n" +
" [pc: 4, pc: 109] local: i index: 3 type: int\n" +
" [pc: 79, pc: 92] local: diff index: 4 type: java.lang.Object\n"
:
" // Method descriptor #15 ([Ljava/lang/String;)V\n" +
" // Stack: 2, Locals: 5\n" +
" public static void main(java.lang.String[] args);\n" +
" 0 aconst_null\n" +
" 1 astore_2 [o]\n" +
" 2 iconst_0\n" +
" 3 istore_3 [i]\n" +
" 4 goto 103\n" +
" 7 iload_3 [i]\n" +
" 8 bipush 90\n" +
" 10 if_icmpge 100\n" +
" 13 new X [1]\n" +
" 16 dup\n" +
" 17 invokespecial X() [16]\n" +
" 20 astore_1 [x]\n" +
" 21 iload_3 [i]\n" +
" 22 iconst_4\n" +
" 23 if_icmple 37\n" +
" 26 new java.lang.Object [3]\n" +
" 29 dup\n" +
" 30 invokespecial java.lang.Object() [8]\n" +
" 33 astore_2 [o]\n" +
" 34 goto 39\n" +
" 37 aconst_null\n" +
" 38 astore_2 [o]\n" +
" 39 iconst_2\n" +
" 40 tableswitch default: 76\n" +
" case 0: 60\n" +
" 60 aload_2 [o]\n" +
" 61 instanceof java.lang.String [17]\n" +
" 64 ifeq 92\n" +
" 67 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 70 ldc <String \"1\"> [25]\n" +
" 72 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 75 return\n" +
" 76 aload_2 [o]\n" +
" 77 astore 4 [diff]\n" +
" 79 aload 4 [diff]\n" +
" 81 ifnull 92\n" +
" 84 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 87 ldc <String \"2\"> [33]\n" +
" 89 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 92 getstatic java.lang.System.out : java.io.PrintStream [19]\n" +
" 95 ldc <String \"3\"> [35]\n" +
" 97 invokevirtual java.io.PrintStream.print(java.lang.String) : void [27]\n" +
" 100 iinc 3 1 [i]\n" +
" 103 iload_3 [i]\n" +
" 104 bipush 10\n" +
" 106 if_icmplt 7\n" +
" 109 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 5]\n" +
" [pc: 2, line: 6]\n" +
" [pc: 7, line: 7]\n" +
" [pc: 13, line: 8]\n" +
" [pc: 21, line: 9]\n" +
" [pc: 26, line: 10]\n" +
" [pc: 37, line: 12]\n" +
" [pc: 39, line: 14]\n" +
" [pc: 60, line: 16]\n" +
" [pc: 67, line: 17]\n" +
" [pc: 75, line: 18]\n" +
" [pc: 76, line: 23]\n" +
" [pc: 79, line: 24]\n" +
" [pc: 84, line: 25]\n" +
" [pc: 92, line: 30]\n" +
" [pc: 100, line: 6]\n" +
" [pc: 109, line: 33]\n" +
" Local variable table:\n" +
" [pc: 0, pc: 110] local: args index: 0 type: java.lang.String[]\n" +
" [pc: 21, pc: 100] local: x index: 1 type: X\n" +
" [pc: 2, pc: 110] local: o index: 2 type: java.lang.Object\n" +
" [pc: 4, pc: 109] local: i index: 3 type: int\n" +
" [pc: 79, pc: 92] local: diff index: 4 type: java.lang.Object\n" +
" Stack map table: number of frames 8\n" +
" [pc: 7, full, stack: {}, locals: {java.lang.String[], _, java.lang.Object, int}]\n" +
" [pc: 37, full, stack: {}, locals: {java.lang.String[], X, java.lang.Object, int}]\n" +
" [pc: 39, same]\n" +
" [pc: 60, same]\n" +
" [pc: 76, same]\n" +
" [pc: 92, same]\n" +
" [pc: 100, full, stack: {}, locals: {java.lang.String[], _, java.lang.Object, int}]\n" +
" [pc: 103, same]\n";
File f = new File(OUTPUT_DIR + File.separator + "X.class");
byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(f);
ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler();
String result = disassembler.disassemble(classFileBytes, "\n", ClassFileBytesDisassembler.DETAILED);
int index = result.indexOf(expectedOutput);
if (index == -1 || expectedOutput.length() == 0) {
System.out.println(Util.displayString(result, 3));
}
if (index == -1) {
assertEquals("Wrong contents", expectedOutput, result);
}
}
}