/*******************************************************************************
* Copyright (c) 2000, 2014 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.jdt.core.tests.compiler.regression;
import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import junit.framework.Test;
@SuppressWarnings({ "rawtypes" })
public class AssertionTest extends AbstractRegressionTest {
// 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[] { 13, 14 };
// TESTS_RANGE = new int[] { 11, -1 };
}
public AssertionTest(String name) {
super(name);
}
public static Test suite() {
return buildMinimalComplianceTestSuite(testClass(), F_1_4);
}
public static Class testClass() {
return AssertionTest.class;
}
public void test001() {
this.runNegativeTest(
new String[] {
"assert.java",
"public class assert {}\n",
},
"----------\n" +
"1. ERROR in assert.java (at line 1)\n" +
" public class assert {}\n" +
" ^^^^^^\n" +
"Syntax error on token \"assert\", Identifier expected\n" +
"----------\n");
}
public void test002() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " int i = 4;\n"
+ " assert i != 4;\n"
+ " System.out.println(i);\n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(\"SUCCESS\"); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"SUCCESS", //expected display
null, // use default class-path
true, // flush previous output dir content
new String[] {"-ea"});
}
public void test003() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " int i = 4;\n"
+ " assert i != 4;\n"
+ " System.out.println(i);\n"
+ " } \n"
+ "} \n" },
"4",
null, // use default class-path
true, // flush previous output dir content
new String[] {"-da"});
}
public void test004() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : \"SUC\"; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " assert false : new Object(){ public String toString(){ return \"CESS\";}}; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"SUCCESS", //expected display
null, // use default class-path
true, // flush previous output dir content
new String[] {"-ea"});
}
public void test005() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : 1; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " int i = 2; \n"
+ " assert false : i; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"12", //expected display
null, // use default class-path
true, // flush previous output dir content
new String[] {"-ea"});
}
public void test006() {
this.runNegativeTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : unbound; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"----------\n" +
"1. ERROR in A4.java (at line 4)\n" +
" assert false : unbound; \n" +
" ^^^^^^^\n" +
"unbound cannot be resolved to a variable\n" +
"----------\n");
}
public void test007() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : 1L; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " assert false : 0L; \n" // 0L isn't 0
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " long l = 2L; \n"
+ " assert false : l; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"102", //expected display
null, // use default class-path
true, // flush previous output dir content
new String[] {"-ea"});
}
public void test008() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : 1.0f; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " float f = 2.0f; \n"
+ " assert false : f; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"1.02.0", //expected display
null, // use default class-path
true, // do not flush previous output dir content
new String[] {"-ea"});
}
public void test009() {
this.runConformTest(new String[] {
"A4.java",
"public class A4 { \n"
+ " public static void main(String[] args) {\n"
+ " try { \n"
+ " assert false : 1.0; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.print(e.getMessage()); \n"
+ " } \n"
+ " try { \n"
+ " double d = 2.0; \n"
+ " assert false : d; \n"
+ " } catch(AssertionError e){ \n"
+ " System.out.println(e.getMessage()); \n"
+ " } \n"
+ " } \n"
+ "} \n" },
"1.02.0", //expected display
null, // use default class-path
true, // flush previous output dir content
new String[] {"-ea"});
}
// http://dev.eclipse.org/bugs/show_bug.cgi?id=22334
public void test010() {
this.runConformTest(new String[] {
"X.java",
"public class X { \n" +
" public static void main(String[] args) { \n" +
" I.Inner inner = new I.Inner(); \n" +
" try { \n" +
" inner.test(); \n" +
" System.out.println(\"FAILED\"); \n" +
" } catch(AssertionError e){ \n" +
" System.out.println(\"SUCCESS\"); \n" +
" } \n" +
" } \n" +
"} \n" +
"interface I { \n" +
" public static class Inner { \n" +
" public void test() { \n" +
" assert false; \n" +
" } \n" +
" } \n" +
"} \n" },
"SUCCESS",
null, // use default classpath
true, // flush previous output dir content
new String[] {"-ea"});
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=28750
*/
public void test011() {
this.runConformTest(
new String[] {
"AssertTest.java",
"public class AssertTest {\n" +
" public AssertTest() {}\n" +
" public class InnerClass {\n" +
" InnerClass() {\n" +
" assert(false);\n" +
" }\n" +
" }\n" +
" \n" +
" public static void main(String[] args) { \n" +
" System.out.print(\"SUCCESS\"); \n" +
" } \n" +
"}"
},
"SUCCESS"); // expected output
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=57743
*/
public void test012() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" public static void main( String[] args ) {\n" +
" try {\n" +
" throw new Throwable( \"This is a test\");\n" +
" }\n" +
" catch( Throwable ioe ) {\n" +
" assert false : ioe;\n" +
" }\n" +
" System.out.print(\"SUCCESS\"); \n" +
" }\n" +
"}\n"
},
"SUCCESS"); // expected output
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=157389
*/
public void test013() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
" static class Y {\n" +
" public static void test() {\n" +
" assert false;\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
" }\n" +
" public static void main(String[] args) {\n" +
" ClassLoader classLoader = new X().getClass().getClassLoader();\n" +
" // enable assertion for X.Y\n" +
" classLoader.setClassAssertionStatus(\"X$Y\", true);\n" +
" X.Y.test();\n" +
" }\n" +
"}"
},
"SUCCESS"); // expected output
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=163600
*/
public void test014() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
"\n" +
" public static class Foo {\n" +
" public void myMethod(boolean trash) {\n" +
" System.out.println(\"Expecting class Foo\");\n" +
" Class c = Foo.class;\n" +
" System.out.println(\"Got the class \" + c);\n" +
" }\n" +
" }\n" +
" public static class Bar {\n" +
" public void myMethod(boolean doAssert) {\n" +
" System.out.println(\"Expecting class Bar\");\n" +
" Class c = Bar.class;\n" +
" System.out.println(\"Got the class \" + c);\n" +
" assert c.getName().endsWith(\"Bar\");\n" +
" }\n" +
" }\n" +
" public static void main(String[] args) {\n" +
" new Foo().myMethod(false);\n" +
" new Bar().myMethod(false);\n" +
" }\n" +
"}"
},
"Expecting class Foo\n" +
"Got the class class X$Foo\n" +
"Expecting class Bar\n" +
"Got the class class X$Bar"); // expected output
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=163600
*/
public void test015() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
"\n" +
" public static class Foo {\n" +
" public void myMethod(boolean trash) {\n" +
" System.out.println(\"Expecting class Foo\");\n" +
" Class c = Foo.class;\n" +
" System.out.println(\"Got the class \" + c);\n" +
" }\n" +
" }\n" +
" public static class Bar {\n" +
" public void myMethod(boolean doAssert) {\n" +
" System.out.println(\"Expecting class Bar\");\n" +
" Class c = Bar.class;\n" +
" try {\n" +
" assert c.getName().endsWith(\"Bar2\");\n" +
" } catch(AssertionError e) {\n" +
" System.out.println(\"SUCCESS\");\n" +
" }\n" +
" System.out.println(\"Got the class \" + c);\n" +
" }\n" +
" }\n" +
" public static void main(String[] args) {\n" +
" new Foo().myMethod(false);\n" +
" new Bar().myMethod(false);\n" +
" }\n" +
"}"
},
"Expecting class Foo\n" +
"Got the class class X$Foo\n" +
"Expecting class Bar\n" +
"SUCCESS\n" +
"Got the class class X$Bar",
null, // use default classpath
true, // flush previous output dir content
new String[] {"-ea"});
}
/**
* http://dev.eclipse.org/bugs/show_bug.cgi?id=163600
*/
public void test016() {
this.runConformTest(
new String[] {
"X.java",
"public class X {\n" +
"\n" +
" public static class Foo {\n" +
" public void myMethod(boolean trash) {\n" +
" System.out.println(\"Expecting class Foo\");\n" +
" Class c = Foo.class;\n" +
" System.out.println(\"Got the class \" + c);\n" +
" }\n" +
" }\n" +
" public static class Bar {\n" +
" public void myMethod(boolean doAssert) {\n" +
" System.out.println(\"Expecting class Bar\");\n" +
" Class c = Bar.class;\n" +
" try {\n" +
" assert c.getName().endsWith(\"Bar2\");\n" +
" System.out.println(\"SUCCESS\");\n" +
" } catch(AssertionError e) {\n" +
" System.out.println(\"FAILED\");\n" +
" }\n" +
" System.out.println(\"Got the class \" + c);\n" +
" }\n" +
" }\n" +
" public static void main(String[] args) {\n" +
" new Foo().myMethod(false);\n" +
" new Bar().myMethod(false);\n" +
" }\n" +
"}"
},
"Expecting class Foo\n" +
"Got the class class X$Foo\n" +
"Expecting class Bar\n" +
"SUCCESS\n" +
"Got the class class X$Bar",
null, // use default classpath
true, // flush previous output dir content
new String[] {"-da"});
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=255008
public void test017() {
runNegativeTest(
new String[] { /* test files */
"X.java",
"public class X {\n" +
" protected void transform1(boolean srcPts) {\n" +
" final float error1;\n" +
" assert !(srcPts && (error1 = maxError()) > 0) : error1;\n" +
" }\n" +
" float foo1(boolean srcPts) {\n" +
" final float error2;\n" +
" if (!(srcPts && (error2 = maxError()) > 0)) {\n" +
" } else {\n" +
" return error2;\n" +
" }\n" +
" return 0;\n" +
" }\n" +
" float bar1(boolean srcPts) {\n" +
" final float error3;\n" +
" if ((srcPts && (error3 = maxError()) > 0)) {\n" +
" return error3;\n" +
" }\n" +
" return 0;\n" +
" } \n" +
" protected void transform2(boolean srcPts) {\n" +
" final float error4;\n" +
" assert (srcPts && (error4 = maxError()) > 0) : error4;\n" +
" }\n" +
" float foo2(boolean srcPts) {\n" +
" final float error5;\n" +
" if (srcPts && (error5 = maxError()) > 0) {\n" +
" } else {\n" +
" return error5;\n" +
" }\n" +
" return 0;\n" +
" }\n" +
" float bar2(boolean srcPts) {\n" +
" final float error6;\n" +
" if (!(srcPts && (error6 = maxError()) > 0)) {\n" +
" return error6;\n" +
" }\n" +
" return 0;\n" +
" }\n" +
" private float maxError() {\n" +
" return 0;\n" +
" }\n" +
"\n" +
"}\n"
},
"----------\n" +
"1. ERROR in X.java (at line 23)\n" +
" assert (srcPts && (error4 = maxError()) > 0) : error4;\n" +
" ^^^^^^\n" +
"The local variable error4 may not have been initialized\n" +
"----------\n" +
"2. ERROR in X.java (at line 29)\n" +
" return error5;\n" +
" ^^^^^^\n" +
"The local variable error5 may not have been initialized\n" +
"----------\n" +
"3. ERROR in X.java (at line 36)\n" +
" return error6;\n" +
" ^^^^^^\n" +
"The local variable error6 may not have been initialized\n" +
"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=328361
public void test018() {
this.runNegativeTest(new String[] {
"X.java",
"public class X {\n" +
" static final int i;\n" +
" static {\n" +
" assert (i = 0) == 0;\n" +
" System.out.println(i);\n" +
" }\n" +
"}"
},
"----------\n" +
"1. ERROR in X.java (at line 2)\n" +
" static final int i;\n" +
" ^\n" +
"The blank final field i may not have been initialized\n" +
"----------\n" +
"2. ERROR in X.java (at line 5)\n" +
" System.out.println(i);\n" +
" ^\n" +
"The blank final field i may not have been initialized\n" +
"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=328361
public void test019() {
this.runConformTest(new String[] {
"X.java",
"public class X {\n" +
" static final int i;\n" +
" static {\n" +
" i = 0;\n" +
" assert i == 0;\n" +
" System.out.println(i);\n" +
" }\n" +
"}"
},
"");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=328361
public void test020() throws Exception {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" void method1() {\n" +
" int i;" +
" assert (i = 0) == 0;\n" +
" System.out.println(i);\n" +
" }\n" +
"}\n"
},
"----------\n" +
"1. ERROR in X.java (at line 4)\n" +
" System.out.println(i);\n" +
" ^\n" +
"The local variable i may not have been initialized\n" +
"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=328361
public void test021() throws Exception {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" public int bar() {\n" +
" return 1;\n" +
" }\n" +
" void method1() {\n" +
" int i;" +
" assert (i = this.bar()) == 0;\n" +
" System.out.println(i);\n" +
" }\n" +
"}\n"
},
"----------\n" +
"1. ERROR in X.java (at line 7)\n" +
" System.out.println(i);\n" +
" ^\n" +
"The local variable i may not have been initialized\n" +
"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=328361
public void test022() throws Exception {
this.runNegativeTest(
new String[] {
"X.java",
"public class X {\n" +
" public int bar() {\n" +
" return 1;\n" +
" }\n" +
" void method1() {\n" +
" int i;\n" +
" assert i++ == 0;\n" +
" System.out.println(i);\n" +
" }\n" +
"}\n"
},
"----------\n" +
"1. ERROR in X.java (at line 7)\n" +
" assert i++ == 0;\n" +
" ^\n" +
"The local variable i may not have been initialized\n" +
"----------\n" +
"2. ERROR in X.java (at line 8)\n" +
" System.out.println(i);\n" +
" ^\n" +
"The local variable i may not have been initialized\n" +
"----------\n");
}
public void test023() {
if (this.complianceLevel < ClassFileConstants.JDK1_8)
return;
this.runConformTest(new String[] {"X.java",
"interface Foo {\n" +
" default Object test(Object a) {\n" +
" assert a != null; // triggers creation of bogus synthetic field\n" +
" return a;\n" +
" }\n" +
"}\n" +
"public class X implements Foo {\n" +
" public static void main(String[] args) {\n" +
" new X().test(\"\");\n" +
" System.out.println(\"Hello\");\n" +
" }\n" +
"}\n"}, "Hello");
}
}
