/*******************************************************************************
* Copyright (c) 2000, 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
* Stephan Herrmann <stephan@cs.tu-berlin.de> - Contribution for Bug 331872 - [compiler] NPE in Scope.createArrayType when attempting qualified access from type parameter
* Andy Clement (GoPivotal, Inc) aclement@gopivotal.com - Contributions for
* Bug 409247 - [1.8][compiler] Verify error with code allocating multidimensional array
*******************************************************************************/
package org.eclipse.jdt.core.tests.compiler.regression;
import java.io.File;
import java.util.Map;
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;
@SuppressWarnings({ "unchecked", "rawtypes" })
public class ArrayTest extends AbstractRegressionTest {
static {
// TESTS_NUMBERS = new int[] { 18 };
}
public ArrayTest(String name) {
super(name);
}
public static Test suite() {
return buildAllCompliancesTestSuite(testClass());
}
public static Class testClass() {
return ArrayTest.class;
}
public void test001() {
this.runConformTest(new String[] {
"p/X.java",
"package p;\n" +
"public class X {\n" +
" int[] x= new int[] {,};\n" +
"}\n",
});
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=28615
*/
public void test002() {
this.runConformTest(
new String[] {
"A.java",
"public class A {\n" +
" public static void main(String[] args) {\n" +
" float[] tab = new float[] {-0.0f};\n" +
" System.out.print(tab[0]);\n" +
" }\n" +
"}",
},
"-0.0");
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=28615
*/
public void test003() {
this.runConformTest(
new String[] {
"A.java",
"public class A {\n" +
" public static void main(String[] args) {\n" +
" float[] tab = new float[] {0.0f};\n" +
" System.out.print(tab[0]);\n" +
" }\n" +
"}",
},
"0.0");
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=28615
*/
public void test004() {
this.runConformTest(
new String[] {
"A.java",
"public class A {\n" +
" public static void main(String[] args) {\n" +
" int[] tab = new int[] {-0};\n" +
" System.out.print(tab[0]);\n" +
" }\n" +
"}",
},
"0");
}
/**
* http://bugs.eclipse.org/bugs/show_bug.cgi?id=37387
*/
public void test005() throws Exception {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" private static final Object X[] = new Object[]{null,null};\n" +
" public static void main(String[] args) {\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler();
byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class"));
String actualOutput =
disassembler.disassemble(
classFileBytes,
"\n",
ClassFileBytesDisassembler.DETAILED);
String expectedOutput =
" static {};\n" +
" 0 iconst_2\n" +
" 1 anewarray java.lang.Object [3]\n" +
" 4 putstatic X.X : java.lang.Object[] [9]\n" +
" 7 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 2]\n";
int index = actualOutput.indexOf(expectedOutput);
if (index == -1 || expectedOutput.length() == 0) {
System.out.println(Util.displayString(actualOutput, 3));
}
if (index == -1) {
assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput);
}
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=80597
*/
public void test006() {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo() {\n" +
" char[][][] array = new char[][][10];\n" +
" }\n" +
"}",
},
"----------\n" +
"1. ERROR in X.java (at line 3)\n" +
" char[][][] array = new char[][][10];\n" +
" ^^\n" +
"Cannot specify an array dimension after an empty dimension\n" +
"----------\n");
}
/**
* http://bugs.eclipse.org/bugs/show_bug.cgi?id=85203
*/
public void test007() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" static long lfield;\n" +
" \n" +
" public static void main(String[] args) {\n" +
" lfield = args.length;\n" +
" lfield = args(args).length;\n" +
" \n" +
" }\n" +
" static String[] args(String[] args) {\n" +
" return args;\n" +
" }\n" +
"}\n",
},
"");
}
/**
* http://bugs.eclipse.org/bugs/show_bug.cgi?id=85125
*/
public void test008() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" public String getTexts(int i) [] {\n" +
" String[] texts = new String[1];\n" +
" return texts; \n" +
" }\n" +
" public static void main(String[] args) {\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
}
// check deep resolution of faulty initializer (no array expected type)
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=120263
public void test009() {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo() {\n" +
" X x = { 10, zork() };\n" +
" }\n" +
"}\n",
},
"----------\n" +
"1. ERROR in X.java (at line 3)\n" +
" X x = { 10, zork() };\n" +
" ^^^^^^^^^^^^^^\n" +
"Type mismatch: cannot convert from int[] to X\n" +
"----------\n" +
"2. ERROR in X.java (at line 3)\n" +
" X x = { 10, zork() };\n" +
" ^^^^\n" +
"The method zork() is undefined for the type X\n" +
"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=124101
public void test010() {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" \n" +
" int i = {};\n" +
"}\n",
},
"----------\n" +
"1. ERROR in X.java (at line 3)\n" +
" int i = {};\n" +
" ^^\n" +
"Type mismatch: cannot convert from Object[] to int\n" +
"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=148807 - variation
public void test011() throws Exception {
if (new CompilerOptions(getCompilerOptions()).complianceLevel < ClassFileConstants.JDK1_5) {
// there is a bug on 1.4 VMs which make them fail verification (see 148807)
return;
}
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" public static void main(String[] args) {\n" +
" try {\n" +
" Object[][] all = new String[1][];\n" +
" all[0] = new Object[0];\n" +
" } catch (ArrayStoreException e) {\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
" }\n" +
"}", // =================
},
"SUCCESS");
String expectedOutput =
" // Method descriptor #15 ([Ljava/lang/String;)V\n" +
" // Stack: 3, Locals: 2\n" +
" public static void main(java.lang.String[] args);\n" +
" 0 iconst_1\n" +
" 1 anewarray java.lang.String[] [16]\n" +
" 4 astore_1 [all]\n" +
" 5 aload_1 [all]\n" +
" 6 iconst_0\n" +
" 7 iconst_0\n" +
" 8 anewarray java.lang.Object [3]\n" +
" 11 aastore\n" +
" 12 goto 24\n" +
" 15 astore_1 [e]\n" +
" 16 getstatic java.lang.System.out : java.io.PrintStream [18]\n" +
" 19 ldc <String \"SUCCESS\"> [24]\n" +
" 21 invokevirtual java.io.PrintStream.println(java.lang.String) : void [26]\n" +
" 24 return\n" +
" Exception Table:\n" +
" [pc: 0, pc: 12] -> 15 when : java.lang.ArrayStoreException\n" +
" Line numbers:\n" +
" [pc: 0, line: 4]\n" +
" [pc: 5, line: 5]\n" +
" [pc: 12, line: 6]\n" +
" [pc: 16, line: 7]\n" +
" [pc: 24, line: 9]\n" +
" Local variable table:\n" +
" [pc: 0, pc: 25] local: args index: 0 type: java.lang.String[]\n" +
" [pc: 5, pc: 12] local: all index: 1 type: java.lang.Object[][]\n" +
" [pc: 16, pc: 24] local: e index: 1 type: java.lang.ArrayStoreException\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);
}
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=148807 - variation
public void test012() throws Exception {
if (new CompilerOptions(getCompilerOptions()).complianceLevel < ClassFileConstants.JDK1_5) {
// there is a bug on 1.4 VMs which make them fail verification (see 148807)
return;
}
this.runConformTest(
new String[] {
"X.java",
"import java.util.Map;\n" +
"\n" +
"public class X {\n" +
" Map fValueMap;\n" +
"\n" +
" public static void main(String[] args) {\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
" public Object[][] getAllChoices() {\n" +
" Object[][] all = new String[this.fValueMap.size()][];\n" +
" return all;\n" +
" }\n" +
"}", // =================,
},
"SUCCESS");
String expectedOutput =
" // Method descriptor #35 ()[[Ljava/lang/Object;\n" +
" // Stack: 1, Locals: 2\n" +
" public java.lang.Object[][] getAllChoices();\n" +
" 0 aload_0 [this]\n" +
" 1 getfield X.fValueMap : java.util.Map [36]\n" +
" 4 invokeinterface java.util.Map.size() : int [38] [nargs: 1]\n" +
" 9 anewarray java.lang.String[] [44]\n" +
" 12 astore_1 [all]\n" +
" 13 aload_1 [all]\n" +
" 14 areturn\n" +
" Line numbers:\n" +
" [pc: 0, line: 10]\n" +
" [pc: 13, line: 11]\n" +
" Local variable table:\n" +
" [pc: 0, pc: 15] local: this index: 0 type: X\n" +
" [pc: 13, pc: 15] local: all index: 1 type: java.lang.Object[][]\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);
}
}
//check resolution of faulty initializer
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=179477
public void test013() {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" String[] m(String arg) {\n" +
" System.out.println(argument + argument);\n" +
" return new String[] { argument + argument, argument/*no problem*/ };\n" +
" }\n" +
"}", // =================
},
"----------\n" +
"1. ERROR in X.java (at line 3)\n" +
" System.out.println(argument + argument);\n" +
" ^^^^^^^^\n" +
"argument cannot be resolved to a variable\n" +
"----------\n" +
"2. ERROR in X.java (at line 3)\n" +
" System.out.println(argument + argument);\n" +
" ^^^^^^^^\n" +
"argument cannot be resolved to a variable\n" +
"----------\n" +
"3. ERROR in X.java (at line 4)\n" +
" return new String[] { argument + argument, argument/*no problem*/ };\n" +
" ^^^^^^^^\n" +
"argument cannot be resolved to a variable\n" +
"----------\n" +
"4. ERROR in X.java (at line 4)\n" +
" return new String[] { argument + argument, argument/*no problem*/ };\n" +
" ^^^^^^^^\n" +
"argument cannot be resolved to a variable\n" +
"----------\n" +
"5. ERROR in X.java (at line 4)\n" +
" return new String[] { argument + argument, argument/*no problem*/ };\n" +
" ^^^^^^^^\n" +
"argument cannot be resolved to a variable\n" +
"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307
// Check return type of array#clone()
public void test014() throws Exception {
Map optionsMap = getCompilerOptions();
CompilerOptions options = new CompilerOptions(optionsMap);
if (options.complianceLevel > ClassFileConstants.JDK1_4) {
// check that #clone() return type is changed ONLY from -source 1.5 only (independant from compliance level)
optionsMap.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_1_4);
}
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo(long[] longs) throws Exception {\n" +
" long[] other = longs.clone();\n" +
" }\n" +
"}\n",
},
"----------\n" +
"1. ERROR in X.java (at line 3)\n" +
" long[] other = longs.clone();\n" +
" ^^^^^^^^^^^^^\n" +
"Type mismatch: cannot convert from Object to long[]\n" +
"----------\n",
null,
true,
optionsMap);
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation
//Check return type of array#clone()
public void test015() throws Exception {
if ( new CompilerOptions(getCompilerOptions()).sourceLevel < ClassFileConstants.JDK1_5) {
return;
}
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo(long[] longs) throws Exception {\n" +
" long[] other = longs.clone();\n" +
" }\n" +
"}\n",
},
"");
}
//https:bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation
//Check constant pool declaring class of array#clone()
public void test016() throws Exception {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo(long[] longs) throws Exception {\n" +
" Object other = longs.clone();\n" +
" }\n" +
"}\n",
},
"");
ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler();
byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class"));
String actualOutput =
disassembler.disassemble(
classFileBytes,
"\n",
ClassFileBytesDisassembler.DETAILED);
String expectedOutput = new CompilerOptions(getCompilerOptions()).sourceLevel <= ClassFileConstants.JDK1_4
? " // Method descriptor #15 ([J)V\n" +
" // Stack: 1, Locals: 3\n" +
" void foo(long[] longs) throws java.lang.Exception;\n" +
" 0 aload_1 [longs]\n" +
" 1 invokevirtual java.lang.Object.clone() : java.lang.Object [19]\n" +
" 4 astore_2 [other]\n" +
" 5 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 3]\n" +
" [pc: 5, line: 4]\n"
: " // Method descriptor #15 ([J)V\n" +
" // Stack: 1, Locals: 3\n" +
" void foo(long[] longs) throws java.lang.Exception;\n" +
" 0 aload_1 [longs]\n" +
" 1 invokevirtual long[].clone() : java.lang.Object [19]\n" +
" 4 astore_2 [other]\n" +
" 5 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 3]\n" +
" [pc: 5, line: 4]\n";
int index = actualOutput.indexOf(expectedOutput);
if (index == -1 || expectedOutput.length() == 0) {
System.out.println(Util.displayString(actualOutput, 3));
}
if (index == -1) {
assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput);
}
return;
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=247307 - variation
//Check constant pool declaring class of array#clone()
public void test017() throws Exception {
Map optionsMap = getCompilerOptions();
CompilerOptions options = new CompilerOptions(optionsMap);
if (options.complianceLevel > ClassFileConstants.JDK1_4) {
// check that #clone() return type is changed ONLY from -source 1.5 only (independant from compliance level)
optionsMap.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_1_4);
}
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" void foo(long[] longs) throws Exception {\n" +
" Object other = longs.clone();\n" +
" }\n" +
"}\n",
},
"",
null,
true,
null,
optionsMap,
null);
ClassFileBytesDisassembler disassembler = ToolFactory.createDefaultClassFileBytesDisassembler();
byte[] classFileBytes = org.eclipse.jdt.internal.compiler.util.Util.getFileByteContent(new File(OUTPUT_DIR + File.separator +"X.class"));
String actualOutput =
disassembler.disassemble(
classFileBytes,
"\n",
ClassFileBytesDisassembler.DETAILED);
String expectedOutput =
" // Method descriptor #15 ([J)V\n" +
" // Stack: 1, Locals: 3\n" +
" void foo(long[] longs) throws java.lang.Exception;\n" +
" 0 aload_1 [longs]\n" +
" 1 invokevirtual java.lang.Object.clone() : java.lang.Object [19]\n" +
" 4 astore_2 [other]\n" +
" 5 return\n" +
" Line numbers:\n" +
" [pc: 0, line: 3]\n" +
" [pc: 5, line: 4]\n";
int index = actualOutput.indexOf(expectedOutput);
if (index == -1 || expectedOutput.length() == 0) {
System.out.println(Util.displayString(actualOutput, 3));
}
if (index == -1) {
assertEquals("unexpected bytecode sequence", expectedOutput, actualOutput);
}
}
// https://bugs.eclipse.org/331872 - [compiler] NPE in Scope.createArrayType when attempting qualified access from type parameter
public void test018() throws Exception {
if (this.complianceLevel < ClassFileConstants.JDK1_5)
return;
this.runNegativeTest(
new String[] {
"X.java",
"public class X<p> {\n" +
" void foo(p.O[] elems) {\n" +
" }\n" +
" void bar() {\n" +
" foo(new Object[0]);\n" +
" }\n" +
"}\n",
},
"----------\n" +
"1. ERROR in X.java (at line 2)\n" +
" void foo(p.O[] elems) {\n" +
" ^^^^^\n" +
"Illegal qualified access from the type parameter p\n" +
"----------\n" +
"2. ERROR in X.java (at line 5)\n" +
" foo(new Object[0]);\n" +
" ^^^\n" +
"The method foo(Object[]) is undefined for the type X<p>\n" +
"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=409247 - [1.8][compiler] Verify error with code allocating multidimensional array
public void test019() throws Exception {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" public static void main(String[] args) {\n" +
" X [][][] x = new X[10][10][];\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
"}\n",
},
"SUCCESS");
}
}