diff options
Diffstat (limited to 'org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java')
| -rw-r--r-- | org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java | 4267 |
1 files changed, 4103 insertions, 164 deletions
diff --git a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java index 8aa63ad5af..9031689c0d 100644 --- a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java +++ b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/RecordsRestrictedClassTest.java @@ -29,14 +29,14 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { static { // TESTS_NUMBERS = new int [] { 40 }; // TESTS_RANGE = new int[] { 1, -1 }; -// TESTS_NAMES = new String[] { "testBug564146"}; +// TESTS_NAMES = new String[] { "testBug566418_001"}; } public static Class<?> testClass() { return RecordsRestrictedClassTest.class; } public static Test suite() { - return buildMinimalComplianceTestSuite(testClass(), F_14); + return buildMinimalComplianceTestSuite(testClass(), F_15); } public RecordsRestrictedClassTest(String testName){ super(testName); @@ -45,9 +45,9 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { // Enables the tests to run individually protected Map<String, String> getCompilerOptions() { Map<String, String> defaultOptions = super.getCompilerOptions(); - defaultOptions.put(CompilerOptions.OPTION_Compliance, CompilerOptions.VERSION_14); // FIXME - defaultOptions.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_14); - defaultOptions.put(CompilerOptions.OPTION_TargetPlatform, CompilerOptions.VERSION_14); + defaultOptions.put(CompilerOptions.OPTION_Compliance, CompilerOptions.VERSION_15); // FIXME + defaultOptions.put(CompilerOptions.OPTION_Source, CompilerOptions.VERSION_15); + defaultOptions.put(CompilerOptions.OPTION_TargetPlatform, CompilerOptions.VERSION_15); defaultOptions.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.ENABLED); defaultOptions.put(CompilerOptions.OPTION_ReportPreviewFeatures, CompilerOptions.IGNORE); defaultOptions.put(CompilerOptions.OPTION_Store_Annotations, CompilerOptions.ENABLED); @@ -59,20 +59,19 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { runConformTest(testFiles, expectedOutput, getCompilerOptions()); } - @SuppressWarnings({ "unchecked", "rawtypes" }) @Override - protected void runConformTest(String[] testFiles, String expectedOutput, Map customOptions) { + protected void runConformTest(String[] testFiles, String expectedOutput, Map<String, String> customOptions) { Runner runner = new Runner(); runner.testFiles = testFiles; runner.expectedOutputString = expectedOutput; runner.vmArguments = new String[] {"--enable-preview"}; runner.customOptions = customOptions; - runner.javacTestOptions = JavacTestOptions.forReleaseWithPreview("14"); + runner.javacTestOptions = JavacTestOptions.forReleaseWithPreview("15"); runner.runConformTest(); } @Override protected void runNegativeTest(String[] testFiles, String expectedCompilerLog) { - runNegativeTest(testFiles, expectedCompilerLog, JavacTestOptions.forReleaseWithPreview("14")); + runNegativeTest(testFiles, expectedCompilerLog, JavacTestOptions.forReleaseWithPreview("15")); } protected void runWarningTest(String[] testFiles, String expectedCompilerLog) { runWarningTest(testFiles, expectedCompilerLog, null); @@ -88,8 +87,8 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { runner.expectedCompilerLog = expectedCompilerLog; runner.customOptions = customOptions; runner.vmArguments = new String[] {"--enable-preview"}; - runner.javacTestOptions = javacAdditionalTestOptions == null ? JavacTestOptions.forReleaseWithPreview("14") : - JavacTestOptions.forReleaseWithPreview("14", javacAdditionalTestOptions); + runner.javacTestOptions = javacAdditionalTestOptions == null ? JavacTestOptions.forReleaseWithPreview("15") : + JavacTestOptions.forReleaseWithPreview("15", javacAdditionalTestOptions); runner.runWarningTest(); } @@ -429,7 +428,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "1. ERROR in X.java (at line 7)\n" + " private Point {\n" + " ^^^^^\n" + - "The canonical constructor Point of a record declaration must be declared public.\n" + + "Cannot reduce the visibility of a canonical constructor Point from that of the record\n" + "----------\n"); } public void testBug550750_020() { @@ -449,31 +448,17 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "}\n" + "interface I {}\n" }, - "----------\n" + - "1. ERROR in X.java (at line 7)\n" + - " protected Point {\n" + - " ^^^^^\n" + - "The canonical constructor Point of a record declaration must be declared public.\n" + - "----------\n"); - } - public void testBug550750_021() { - runConformTest( - new String[] { - "X.java", - "public class X {\n"+ - " public static void main(String[] args){\n"+ - " System.out.println(0);\n" + - " }\n"+ - "}\n"+ - "record Point(int myInt, char myChar) implements I {\n"+ - " public Point {\n"+ - " this.myInt = myInt;\n" + - " this.myChar = myChar;\n" + - " }\n"+ - "}\n" + - "interface I {}\n" - }, - "0"); + "----------\n" + + "1. ERROR in X.java (at line 8)\n" + + " this.myInt = myInt;\n" + + " ^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myInt in compact constructor\n" + + "----------\n" + + "2. ERROR in X.java (at line 9)\n" + + " this.myChar = myChar;\n" + + " ^^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myChar in compact constructor\n" + + "----------\n"); } public void testBug550750_022() { this.runNegativeTest( @@ -633,6 +618,16 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { " static final int z;\n" + " ^\n" + "The blank final field z may not have been initialized\n" + + "----------\n" + + "2. ERROR in X.java (at line 9)\n" + + " this.myInt = myInt;\n" + + " ^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myInt in compact constructor\n" + + "----------\n" + + "3. ERROR in X.java (at line 10)\n" + + " this.myZ = myZ;\n" + + " ^^^^^^^^\n" + + "Illegal explicit assignment of a final field myZ in compact constructor\n" + "----------\n"); } public void testBug550750_028() { @@ -742,7 +737,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "1. ERROR in X.java (at line 1)\n" + " class record {\n" + " ^^^^^^\n" + - "Record is a restricted identifier and hence not a valid type name\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } public void testBug550750_033() { @@ -759,7 +754,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "1. ERROR in X.java (at line 1)\n" + " class X<record> {\n" + " ^^^^^^\n" + - "Record is a restricted identifier and hence not a valid type name\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } public void testBug550750_034() { @@ -777,7 +772,12 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "1. ERROR in X.java (at line 5)\n" + " public <record> void foo(record args){}\n" + " ^^^^^^\n" + - "Record is a restricted identifier and hence not a valid type name\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 5)\n" + + " public <record> void foo(record args){}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } public void testBug550750_035() { @@ -795,12 +795,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "1. ERROR in X.java (at line 5)\n" + " public void foo(record args){}\n" + " ^^^^^^\n" + - "record cannot be resolved to a type\n" + - "----------\n" + - "2. ERROR in X.java (at line 5)\n" + - " public void foo(record args){}\n" + - " ^^^^^^\n" + - "Record is a restricted identifier and hence not a valid type name\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } public void testBug550750_036() { @@ -826,12 +821,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "2. ERROR in X.java (at line 4)\n" + " I lambda = (record r) -> {};\n" + " ^^^^^^\n" + - "record cannot be resolved to a type\n" + - "----------\n" + - "3. ERROR in X.java (at line 4)\n" + - " I lambda = (record r) -> {};\n" + - " ^^^^^^\n" + - "Record is a restricted identifier and hence not a valid type name\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } public void testBug550750_037() { @@ -1105,14 +1095,24 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { " ^^^^^\n" + "Duplicate method Point(Integer, int) in type Point\n" + "----------\n" + - "2. ERROR in X.java (at line 11)\n" + + "2. ERROR in X.java (at line 8)\n" + + " this.myInt = 0;\n" + + " ^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myInt in compact constructor\n" + + "----------\n" + + "3. ERROR in X.java (at line 9)\n" + + " this.myZ = 0;\n" + + " ^^^^^^^^\n" + + "Illegal explicit assignment of a final field myZ in compact constructor\n" + + "----------\n" + + "4. ERROR in X.java (at line 11)\n" + " public Point(Integer myInt, int myZ) {\n" + " ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + "Duplicate method Point(Integer, int) in type Point\n" + "----------\n"); } public void testBug553152_009() { - this.runNegativeTest( + this.runConformTest( new String[] { "X.java", "public class X {\n"+ @@ -1128,12 +1128,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "}\n" + "interface I {}\n" }, - "----------\n" + - "1. ERROR in X.java (at line 7)\n" + - " Point(Integer myInt, int myZ) {\n" + - " ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + - "The canonical constructor Point of a record declaration must be declared public.\n" + - "----------\n"); + "0"); } public void testBug553152_010() { this.runNegativeTest( @@ -1336,7 +1331,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "Nested Record is (implicitly) static and hence enclosing type should be static\n" + "----------\n"); } - public void _testBug553152_018() { + public void testBug553152_018() { runConformTest( new String[] { "X.java", @@ -1376,25 +1371,7 @@ public class RecordsRestrictedClassTest extends AbstractRegressionTest { "The accessor method must not be static\n" + "----------\n"); } -public void testBug553153_01() { - runConformTest( - new String[] { - "X.java", - "public class X {\n"+ - " public static void main(String[] args){\n"+ - " System.out.println(0);\n" + - " }\n"+ - "}\n"+ - "record Point(int myInt, char myChar) implements I {\n"+ - " public Point {\n"+ - " this.myInt = myInt;\n" + - " }\n"+ - "}\n" + - "interface I {}\n" - }, - "0"); - } - public void testBug553153_002() { +public void testBug553153_002() { this.runNegativeTest( new String[] { "X.java", @@ -1413,10 +1390,20 @@ public void testBug553153_01() { "interface I {}\n" }, "----------\n" + - "1. ERROR in X.java (at line 7)\n" + - " public Point {\n" + - " ^^^^^\n" + - "The blank final field myChar may not have been initialized\n" + + "1. ERROR in X.java (at line 8)\n" + + " this.myInt = myInt;\n" + + " ^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myInt in compact constructor\n" + + "----------\n" + + "2. ERROR in X.java (at line 9)\n" + + " if (this.myInt > 0) // conditional assignment\n" + + " ^^^^^\n" + + "The blank final field myInt may not have been initialized\n" + + "----------\n" + + "3. ERROR in X.java (at line 10)\n" + + " this.myChar = myChar;\n" + + " ^^^^^^^^^^^\n" + + "Illegal explicit assignment of a final field myChar in compact constructor\n" + "----------\n"); } public void testBug553153_003() { @@ -1431,7 +1418,6 @@ public void testBug553153_003() { "record Point(int myInt, char myChar) implements I {\n"+ " static int f;\n"+ " public Point {\n"+ - " this.myInt = myInt;\n" + " }\n"+ "}\n" + "interface I {}\n" @@ -2337,7 +2323,7 @@ public void testBug560893_006() { "X.java", "class X {\n"+ " public static void main(String[] args) {\n"+ - " static record R(int x, int y) {}\n"+ + " record R(int x, int y) {}\n"+ " R r = new R(100,200);\n"+ " System.out.println(r.x());\n"+ " }\n"+ @@ -2371,7 +2357,7 @@ public void testBug560893_007() { "1. ERROR in X.java (at line 10)\n" + " System.out.println(li); // error, local variable\n" + " ^^\n" + - "Cannot make a static reference to the non-static variable li from a local record\n" + + "Cannot make a static reference to the non-static variable li\n" + "----------\n" + "2. ERROR in X.java (at line 11)\n" + " System.out.println(nsi); // error, non-static member\n" + @@ -2392,7 +2378,7 @@ public void testBug558718_001() { "1. ERROR in X.java (at line 1)\n" + " record R() {}\n" + " ^^^^^^\n" + - "record is a preview feature and disabled by default. Use --enable-preview to enable\n" + + "Records is a preview feature and disabled by default. Use --enable-preview to enable\n" + "----------\n", null, true, @@ -2413,7 +2399,7 @@ public void testBug558718_002() { "1. ERROR in X.java (at line 1)\n" + " record R() {}\n" + " ^^^^^^\n" + - "Syntax error on token \"record\", @ expected\n" + + "The preview feature Records is only available with source level 15 and above\n" + "----------\n" + "2. ERROR in X.java (at line 1)\n" + " record R() {}\n" + @@ -2425,6 +2411,22 @@ public void testBug558718_002() { options ); } +public void testBug56180_001() throws Exception { + runConformTest( + new String[] { + "X.java", + "record R () {} \n"+ + "class X {\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(new R().toString());\n"+ + " }\n"+ + "}\n" + }, + "R[]"); + String expectedOutput = + " public final java.lang.String toString();\n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "R.class", ClassFileBytesDisassembler.SYSTEM); +} public void testBug561528_001() { runConformTest( new String[] { @@ -3279,6 +3281,10 @@ public void testBug562439_013() throws IOException, ClassFormatException { " RuntimeInvisibleAnnotations: \n" + " #8 @RCMU(\n" + " )\n" + + " RuntimeInvisibleTypeAnnotations: \n" + + " #8 @RCMU(\n" + + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + " \n"; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = @@ -3392,9 +3398,11 @@ public void testBug562439_015() throws IOException, ClassFormatException { " 4 ireturn\n" + " Line numbers:\n" + " [pc: 0, line: 11]\n" + - " RuntimeInvisibleAnnotations: \n" + + " RuntimeInvisibleTypeAnnotations: \n" + " #8 @T(\n" + - " )\n"; + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + + " "; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = "Record: #Record\n" + @@ -3408,7 +3416,7 @@ public void testBug562439_015() throws IOException, ClassFormatException { " )\n"; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [14]\n" + " 4 aload_0 [this]\n" + @@ -3471,10 +3479,11 @@ public void testBug562439_016() throws IOException, ClassFormatException { " 4 ireturn\n" + " Line numbers:\n" + " [pc: 0, line: 13]\n" + - " RuntimeVisibleAnnotations: \n" + + " RuntimeVisibleTypeAnnotations: \n" + " #8 @T(\n" + + " target type = 0x14 METHOD_RETURN\n" + " )\n" + - " \n"; + " "; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = "Record: #Record\n" + @@ -3488,7 +3497,7 @@ public void testBug562439_016() throws IOException, ClassFormatException { " )\n"; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [14]\n" + " 4 aload_0 [this]\n" + @@ -3533,7 +3542,7 @@ public void testBug562439_017() throws IOException, ClassFormatException { }, "100"); String expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [14]\n" + " 4 aload_0 [this]\n" + @@ -3591,7 +3600,7 @@ public void testBug562439_018() throws IOException, ClassFormatException { }, "100"); String expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [14]\n" + " 4 aload_0 [this]\n" + @@ -3657,7 +3666,7 @@ public void testBug562439_019() throws IOException, ClassFormatException { " \n"; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [16]\n" + " 4 aload_0 [this]\n" + @@ -3697,7 +3706,11 @@ public void testBug562439_019() throws IOException, ClassFormatException { " RuntimeInvisibleAnnotations: \n" + " #8 @Annot(\n" + " )\n" + - " \n"; + " RuntimeInvisibleTypeAnnotations: \n" + + " #8 @Annot(\n" + + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + + " "; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); expectedOutput = "Record: #Record\n" + @@ -3738,7 +3751,7 @@ public void testBug562439_020() throws IOException, ClassFormatException { }, "100"); String expectedOutput = - " public Point(int myInt, char myChar);\n" + + " Point(int myInt, char myChar);\n" + " 0 aload_0 [this]\n" + " 1 invokespecial java.lang.Record() [14]\n" + " 4 aload_0 [this]\n" + @@ -3772,136 +3785,3818 @@ public void testBug562439_020() throws IOException, ClassFormatException { " )\n"; RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); } -public void testBug564146_001() { +public void testBug563178_001() { this.runNegativeTest( new String[] { "X.java", - "public record X(int i) {\n"+ - " public X() {\n"+ - " this.i = 10;\n"+ + "class X {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n"+ + "record Point(final int x, int y){\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 6)\n" + + " record Point(final int x, int y){\n" + + " ^\n" + + "A record component x cannot have modifiers\n" + + "----------\n"); +} +public void testBug563183_001() { + this.runConformTest( + new String[] { + "X.java", + "public record X() {\n"+ + " public X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_002() { + this.runConformTest( + new String[] { + "X.java", + "public record X() {\n"+ + " public X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_003() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ + " protected X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + " }\n"+ "}", }, "----------\n" + "1. ERROR in X.java (at line 2)\n" + - " public X() {\n" + - " ^^^\n" + - "A non-canonical constructor must start with an explicit invocation to a constructor\n" + + " protected X() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + "----------\n"); } -public void testBug564146_002() { +public void testBug563183_004() { this.runNegativeTest( new String[] { "X.java", - "public record X(int i) {\n"+ - " public X() {\n"+ - " super();\n"+ - " this.i = 10;\n"+ + "public record X() {\n"+ + " protected X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + " }\n"+ "}", }, "----------\n" + "1. ERROR in X.java (at line 2)\n" + - " public X() {\n" + - " ^^^\n" + - "A non-canonical constructor must start with an explicit invocation to a constructor\n" + + " protected X {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + "----------\n"); } -public void testBug564146_003() { +public void testBug563183_005() { this.runNegativeTest( new String[] { "X.java", - "public record X(int i) {\n"+ - " public X(int i) {\n"+ - " this.i = 10;\n"+ - " Zork();\n"+ + "public record X() {\n"+ + " /*package */ X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + " }\n"+ "}", }, "----------\n" + - "1. ERROR in X.java (at line 4)\n" + - " Zork();\n" + - " ^^^^\n" + - "The method Zork() is undefined for the type X\n" + + "1. ERROR in X.java (at line 2)\n" + + " /*package */ X() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + "----------\n"); } -public void testBug564146_004() { - runConformTest( +public void testBug563183_006() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ + " /*package */ X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " /*package */ X {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + + "----------\n"); +} +public void testBug563183_007() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ + " private X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " private X() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + + "----------\n"); +} +public void testBug563183_008() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ + " private X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " private X {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + + "----------\n"); +} +public void testBug563183_009() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " public R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_010() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " public R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_011() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " protected R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_012() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " protected R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_013() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " /*package */ R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " /*package */ R() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor R from that of the record\n" + + "----------\n"); +} +public void testBug563183_014() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " /*package */ R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " /*package */ R {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor R from that of the record\n" + + "----------\n"); +} +public void testBug563183_015() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " private R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " private R() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor R from that of the record\n" + + "----------\n"); +} +public void testBug563183_016() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " protected record R() {\n"+ + " private R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " private R {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor R from that of the record\n" + + "----------\n"); +} +public void testBug563183_017() { + this.runConformTest( + new String[] { + "X.java", + "/*package */ record X() {\n"+ + " public X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_018() { + this.runConformTest( + new String[] { + "X.java", + "/*package */ record X() {\n"+ + " public X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_019() { + this.runConformTest( + new String[] { + "X.java", + "record X() {\n"+ + " protected X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_020() { + this.runConformTest( + new String[] { + "X.java", + "record X() {\n"+ + " protected X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_021() { + this.runConformTest( + new String[] { + "X.java", + " record X() {\n"+ + " /*package */ X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_022() { + this.runConformTest( + new String[] { + "X.java", + " record X() {\n"+ + " /*package */ X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_023() { + this.runNegativeTest( + new String[] { + "X.java", + "record X() {\n"+ + " private X() {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " private X() {}\n" + + " ^^^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + + "----------\n"); +} +public void testBug563183_024() { + this.runNegativeTest( + new String[] { + "X.java", + "record X() {\n"+ + " private X {}\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " private X {}\n" + + " ^\n" + + "Cannot reduce the visibility of a canonical constructor X from that of the record\n" + + "----------\n"); +} +public void testBug563183_025() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record R() {\n"+ + " public R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_026() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record R() {\n"+ + " protected R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_027() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record R() {\n"+ + " /* package */ R() {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563183_028() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record R() {\n"+ + " private R {}\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug563184_001() { + this.runNegativeTest( + new String[] { + "X.java", + "record X(int angel) {\n"+ + " X(int devil) {\n"+ + " this.angel = devil;\n" + + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " X(int devil) {\n" + + " ^^^^^\n" + + "Illegal parameter name devil in canonical constructor, expected angel, the corresponding component name\n" + + "----------\n"); +} +public void testBug563184_002() { + this.runConformTest( + new String[] { + "X.java", + "record X(int myInt) {\n"+ + " X(int myInt) {\n"+ + " this.myInt = myInt;\n" + + " }\n"+ + " X(int i, int j) {\n"+ + " this(i);\n"+ + " }\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}", + }, + "0"); +} +public void testBug562637_001() { + this.runConformTest( new String[] { "X.java", "public record X(int i) {\n"+ + " public X {\n"+ + " i = i/2;\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(new X(10).i());\n"+ + " }\n"+ + "}", + }, + "5"); +} + public void testBug563181_01() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "import java.lang.annotation.ElementType;\n"+ + "import java.lang.annotation.Target;\n"+ + "public class X { \n"+ + " public static void main(String[] args){}\n"+ + "}\n"+ + "record Point(@RCMU int myInt, char myChar) { \n"+ + " public int myInt(){\n"+ + " return this.myInt;\n" + + " }\n"+ + "} \n"+ + "@Target({ ElementType.RECORD_COMPONENT, ElementType.METHOD, ElementType.TYPE_USE})\n"+ + "@interface RCMU {}\n" + }, + ""); + String expectedOutput = + " // Method descriptor #25 ()I\n" + + " // Stack: 1, Locals: 1\n" + + " public int myInt();\n" + + " 0 aload_0 [this]\n" + + " 1 getfield Point.myInt : int [17]\n" + + " 4 ireturn\n" + + " Line numbers:\n" + + " [pc: 0, line: 8]\n" + + " Local variable table:\n" + + " [pc: 0, pc: 5] local: this index: 0 type: Point\n" + + " \n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug563181_02() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "import java.lang.annotation.ElementType;\n"+ + "import java.lang.annotation.Target;\n"+ + "public class X { \n"+ + " public static void main(String[] args){}\n"+ + "}\n"+ + "record Point(@RCMU int myInt, char myChar) {\n"+ + " @RCMU public int myInt(){\n"+ + " return this.myInt;\n" + + " }\n"+ + "}\n"+ + "@Target({ ElementType.RECORD_COMPONENT, ElementType.METHOD, ElementType.TYPE_USE})\n"+ + "@interface RCMU {}\n" + }, + ""); + String expectedOutput = + " // Method descriptor #25 ()I\n" + + " // Stack: 1, Locals: 1\n" + + " public int myInt();\n" + + " 0 aload_0 [this]\n" + + " 1 getfield Point.myInt : int [17]\n" + + " 4 ireturn\n" + + " Line numbers:\n" + + " [pc: 0, line: 8]\n" + + " Local variable table:\n" + + " [pc: 0, pc: 5] local: this index: 0 type: Point\n" + + " RuntimeInvisibleAnnotations: \n" + + " #8 @RCMU(\n" + + " )\n" + + " RuntimeInvisibleTypeAnnotations: \n" + + " #8 @RCMU(\n" + + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + + " \n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug563181_03() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "import java.lang.annotation.*;\n"+ + "public class X { \n"+ + " public static void main(String[] args){}\n"+ + "}\n"+ + "record Point(@TypeAnnot @SimpleAnnot int myInt, char myChar) {}\n"+ + "@Target({ ElementType.RECORD_COMPONENT, ElementType.METHOD})\n"+ + "@Retention(RetentionPolicy.RUNTIME)\n" + + "@interface SimpleAnnot {}\n" + + "@Target({ ElementType.RECORD_COMPONENT, ElementType.TYPE_USE})\n"+ + "@Retention(RetentionPolicy.RUNTIME)\n" + + "@interface TypeAnnot {}\n" + }, + ""); + String expectedOutput = + " // Method descriptor #25 ()I\n" + + " // Stack: 1, Locals: 1\n" + + " public int myInt();\n" + + " 0 aload_0 [this]\n" + + " 1 getfield Point.myInt : int [17]\n" + + " 4 ireturn\n" + + " Line numbers:\n" + + " [pc: 0, line: 5]\n" + + " RuntimeVisibleAnnotations: \n" + + " #27 @SimpleAnnot(\n" + + " )\n" + + " RuntimeVisibleTypeAnnotations: \n" + + " #8 @TypeAnnot(\n" + + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + + " \n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug563181_04() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "import java.lang.annotation.*;\n"+ + "public class X { \n"+ + " public static void main(String[] args){}\n"+ + "}\n"+ + "record Point(@TypeAnnot @SimpleAnnot int myInt, char myChar) {\n"+ + " @TypeAnnot @SimpleAnnot public int myInt(){\n"+ + " return this.myInt;\n" + + " }\n"+ + "}\n"+ + "@Target({ ElementType.RECORD_COMPONENT, ElementType.METHOD})\n"+ + "@Retention(RetentionPolicy.RUNTIME)\n" + + "@interface SimpleAnnot {}\n" + + "@Target({ ElementType.RECORD_COMPONENT, ElementType.TYPE_USE})\n"+ + "@Retention(RetentionPolicy.RUNTIME)\n" + + "@interface TypeAnnot {}\n" + }, + ""); + String expectedOutput = + " // Method descriptor #25 ()I\n" + + " // Stack: 1, Locals: 1\n" + + " public int myInt();\n" + + " 0 aload_0 [this]\n" + + " 1 getfield Point.myInt : int [17]\n" + + " 4 ireturn\n" + + " Line numbers:\n" + + " [pc: 0, line: 7]\n" + + " Local variable table:\n" + + " [pc: 0, pc: 5] local: this index: 0 type: Point\n" + + " RuntimeVisibleAnnotations: \n" + + " #27 @SimpleAnnot(\n" + + " )\n" + + " RuntimeVisibleTypeAnnotations: \n" + + " #8 @TypeAnnot(\n" + + " target type = 0x14 METHOD_RETURN\n" + + " )\n" + + " \n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "Point.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug565104_001() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "public class X { \n"+ + " public record R() {}\n"+ + " public static void main(String[] args){}\n"+ + "}\n" + }, + ""); + String expectedOutput = + " // Stack: 1, Locals: 1\n" + + " public X$R();\n" + + " 0 aload_0 [this]\n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "X$R.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug565104_002() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "public class X { \n"+ + " record R() {}\n"+ + " public static void main(String[] args){}\n"+ + "}\n" + }, + ""); + String expectedOutput = + " // Stack: 1, Locals: 1\n" + + " X$R();\n" + + " 0 aload_0 [this]\n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "X$R.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug565104_003() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "public class X { \n"+ + " protected record R() {}\n"+ + " public static void main(String[] args){}\n"+ + "}\n" + }, + ""); + String expectedOutput = + " // Stack: 1, Locals: 1\n" + + " protected X$R();\n" + + " 0 aload_0 [this]\n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "X$R.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug565104_004() throws IOException, ClassFormatException { + runConformTest( + new String[] { + "X.java", + "public class X { \n"+ + " private record R() {}\n"+ + " public static void main(String[] args){}\n"+ + "}\n" + }, + ""); + String expectedOutput = + " // Stack: 1, Locals: 1\n" + + " private X$R();\n" + + " 0 aload_0 [this]\n"; + RecordsRestrictedClassTest.verifyClassFile(expectedOutput, "X$R.class", ClassFileBytesDisassembler.SYSTEM); + } + public void testBug564146_001() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X(int i) {\n"+ + " public X() {\n"+ + " this.i = 10;\n"+ + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " public X() {\n" + + " ^^^\n" + + "A non-canonical constructor must start with an explicit invocation to a constructor\n" + + "----------\n"); + } + public void testBug564146_002() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X(int i) {\n"+ + " public X() {\n"+ + " super();\n"+ + " this.i = 10;\n"+ + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " public X() {\n" + + " ^^^\n" + + "A non-canonical constructor must start with an explicit invocation to a constructor\n" + + "----------\n"); + } + public void testBug564146_003() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X(int i) {\n"+ + " public X(int i) {\n"+ + " this.i = 10;\n"+ + " Zork();\n"+ + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " Zork();\n" + + " ^^^^\n" + + "The method Zork() is undefined for the type X\n" + + "----------\n"); + } + public void testBug564146_004() { + runConformTest( + new String[] { + "X.java", + "public record X(int i) {\n"+ + " public X() {\n"+ + " this(10);\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(new X().i());\n"+ + " }\n"+ + "}" + }, + "10"); + } + public void testBug564146_005() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ + " public X(int i) {\n"+ + " this(10);\n"+ + " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " this(10);\n" + + " ^^^^^^^^^\n" + + "Recursive constructor invocation X(int)\n" + + "----------\n"); + } + public void testBug564146_006() { + this.runNegativeTest( + new String[] { + "X.java", + "public record X() {\n"+ " public X() {\n"+ + " System.out.println(10);\n"+ " this(10);\n"+ " }\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " this(10);\n" + + " ^^^^^^^^^\n" + + "The body of a canonical constructor must not contain an explicit constructor call\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " this(10);\n" + + " ^^^^^^^^^\n" + + "Constructor call must be the first statement in a constructor\n" + + "----------\n"); + } + public void testBug564146_007() { + runConformTest( + new String[] { + "X.java", + "public record X(int i) {\n"+ + " public X() {\n"+ + " this(10);\n"+ + " }\n"+ + " public X(int i, int k) {\n"+ + " this();\n"+ + " }\n"+ " public static void main(String[] args) {\n"+ - " System.out.println(new X().i());\n"+ + " System.out.println(new X(2, 3).i());\n"+ " }\n"+ "}" + }, + "10"); + } + +public void testBug564672_001() { + this.runNegativeTest( + new String[] { + "X.java", + "class X extends record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + + "class record {}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class X extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 6)\n" + + " class record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_002() { + this.runNegativeTest( + new String[] { + "X.java", + "class X extends record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class X extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_003() { + this.runNegativeTest( + new String[] { + "X.java", + "class X implements record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "interface record {}\n;" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class X implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 5)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_004() { + this.runNegativeTest( + new String[] { + "X.java", + "class X implements record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class X implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_005() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y extends record {\n"+ + " }\n" + + " class record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " class record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_006() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y extends record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_007() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y implements record {\n"+ + " }\n" + + " interface record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_008() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y implements record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_009() { + this.runNegativeTest( + new String[] { + "X.java", + "interface Y extends record {\n"+ + "}\n" + + "interface record {}\n" + + "class X {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 3)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_010() { + this.runNegativeTest( + new String[] { + "X.java", + "interface Y extends record {\n"+ + "}\n" + + "class X {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_011() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " interface record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_012() { + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_013() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y extends record {\n"+ + " }\n" + + " class record {}\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " class record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_014() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y extends record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_015() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y implements record {\n"+ + " }\n" + + " interface record {}\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_016() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y implements record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_017() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " interface record {}\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " interface record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_018() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_019() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " static record a(int i, int j) {\n" + + " record r=new record(i,j);\n" + + " return r;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "3. ERROR in X.java (at line 4)\n" + + " return r;\n" + + " ^^^^^^\n" + + "Syntax error on token \"return\", byte expected\n" + + "----------\n"); +} +public void testBug564672_020() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " class record {};\n" + + " static record a(int i, int j) {\n" + + " record r=new record();\n" + + " return r;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " class record {};\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " record r=new record();\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "3. ERROR in X.java (at line 4)\n" + + " record r=new record();\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "4. ERROR in X.java (at line 5)\n" + + " return r;\n" + + " ^^^^^^\n" + + "Syntax error on token \"return\", byte expected\n" + + "----------\n"); +} +public void testBug564672_021() { + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " interface IPoint {\n" + + " }\n" + + " record Point(int x, int y) implements IPoint {}\n" + + " static IPoint a(int i, int j) {\n" + + " Point record=new Point(i,j);\n" + + " return record;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(a(5,10));\n" + + " }\n" + + "}\n" + }, + "Point[x=5, y=10]"); +} +public void testBug564672_022() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " record R(int i){} \n" + + " interface IPoint {\n" + + " record a(int i) {\n" + + " System.out.println(0);\n" + + " return new R(i);\n" + + " }\n" + + " }\n" + + " record Point(int x, int y) implements IPoint {}\n" + + " static IPoint a(int i, int j) {\n" + + " Point record=new Point(i,j);\n" + + " record.a(1);\n" + + " return record;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " System.out.println(0);\n" + + " ^\n" + + "Syntax error on token \".\", @ expected after this token\n" + + "----------\n" + + "2. ERROR in X.java (at line 5)\n" + + " System.out.println(0);\n" + + " return new R(i);\n" + + " ^^^^^^^^^^^^^^^^^^^^^\n" + + "Syntax error on tokens, delete these tokens\n" + + "----------\n" + + "3. ERROR in X.java (at line 6)\n" + + " return new R(i);\n" + + " ^\n" + + "Syntax error, insert \")\" to complete SingleMemberAnnotation\n" + + "----------\n" + + "4. ERROR in X.java (at line 6)\n" + + " return new R(i);\n" + + " ^\n" + + "Syntax error, insert \"SimpleName\" to complete QualifiedName\n" + + "----------\n" + + "5. ERROR in X.java (at line 6)\n" + + " return new R(i);\n" + + " ^\n" + + "Syntax error, insert \"Identifier (\" to complete MethodHeaderName\n" + + "----------\n" + + "6. ERROR in X.java (at line 6)\n" + + " return new R(i);\n" + + " ^\n" + + "Syntax error, insert \")\" to complete MethodDeclaration\n" + + "----------\n" + + "7. ERROR in X.java (at line 11)\n" + + " Point record=new Point(i,j);\n" + + " ^^^^^^^^^^^^^^\n" + + "The constructor X.Point(int, int) is undefined\n" + + "----------\n" + + "8. ERROR in X.java (at line 12)\n" + + " record.a(1);\n" + + " ^\n" + + "The method a(int) is undefined for the type X.Point\n" + + "----------\n"); +} +public void testBug564672_023() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " interface IPoint {\n" + + " }\n" + + " record Point(int x, int y) implements IPoint {}\n" + + " static IPoint a(int i, int j) throws record{\n" + + " Point record=new Point(i,j);\n" + + " return record;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " static IPoint a(int i, int j) throws record{\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_024() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " X() throws record {} \n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " X() throws record {} \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_025() { + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n" + + " int a() throws record; \n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " int a() throws record; \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_026() { + this.runNegativeTest( + new String[] { + "X.java", + "import java.util.List;" + + "public class X {\n" + + " List<record> R = new List<record>();\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " List<record> R = new List<record>();\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " List<record> R = new List<record>();\n" + + " ^^^^\n" + + "Cannot instantiate the type List<record>\n" + + "----------\n" + + "3. ERROR in X.java (at line 2)\n" + + " List<record> R = new List<record>();\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_027() { + this.runNegativeTest( + new String[] { + "X.java", + "interface I<S> {\n" + + " void print(S arg);\n" + + "}\n" + + "public class X implements I<record>{\n" + + " void print(record arg){\n" + + " System.out.println(arg);\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " public class X implements I<record>{\n" + + " ^\n" + + "The type X must implement the inherited abstract method I<record>.print(record)\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " public class X implements I<record>{\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "3. ERROR in X.java (at line 5)\n" + + " void print(record arg){\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_028() { + this.runNegativeTest( + new String[] { + "X.java", + "class Y<record> {\n" + + " void equal(record R) {}\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class Y<record> {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " void equal(record R) {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_029() { + this.runNegativeTest( + new String[] { + "X.java", + "class Y<record> {\n" + + " Y(record R) {}\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class Y<record> {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " Y(record R) {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_030() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " static record i= 0;\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " static record i= 0;\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_031() { + this.runNegativeTest( + new String[] { + "X.java", + "interface I {\n" + + " record i=0;\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " record i=0;\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_032() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " static int sum(record i, int param){\n" + + " return 1;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " static int sum(record i, int param){\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_033() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " X(record i, int param){\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " X(record i, int param){\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_034() { + this.runNegativeTest( + new String[] { + "X.java", + "interface I {\n" + + " int sum(record i, int num);\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " int sum(record i, int num);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_035() { + this.runConformTest( + new String[] { + "X.java", + "interface Greetings {\n" + + " void greet(String head, String tail);\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " Greetings g = (record, y) -> {\n" + + " System.out.println(record + y);\n" + + " };\n" + + " g.greet(\"Hello, \", \"World!\");\n" + + " }\n" + + "}\n", }, - "10"); + "Hello, World!" + ); } -public void testBug564146_005() { +public void testBug564672_036() { this.runNegativeTest( new String[] { "X.java", - "public record X() {\n"+ - " public X(int i) {\n"+ - " this(10);\n"+ - " }\n"+ - "}", + "class Y {\n" + + " int sum(record this, int i, int num) {}\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " int sum(record this, int i, int num) {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_037() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " static record i;\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " static record i;\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_038() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " for (record i = 0; i<10; i++) {\n" + + " System.out.println(0);\n" + + " }\n" + + " }\n" + + "}\n" }, "----------\n" + "1. ERROR in X.java (at line 3)\n" + - " this(10);\n" + - " ^^^^^^^^^\n" + - "Recursive constructor invocation X(int)\n" + + " for (record i = 0; i<10; i++) {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n"); } -public void testBug564146_006() { +public void testBug564672_039() { this.runNegativeTest( new String[] { "X.java", - "public record X() {\n"+ - " public X() {\n"+ - " System.out.println(10);\n"+ - " this(10);\n"+ - " }\n"+ - "}", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " int rec[] = {1,2,3,4,5,6,7,8,9};\n" + + " for (record i: rec) {\n" + + " System.out.println(0);\n" + + " }\n" + + " }\n" + + "}\n" }, "----------\n" + "1. ERROR in X.java (at line 4)\n" + - " this(10);\n" + - " ^^^^^^^^^\n" + - "The body of a canonical constructor must not contain an explicit constructor call\n" + + " for (record i: rec) {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + "----------\n" + "2. ERROR in X.java (at line 4)\n" + - " this(10);\n" + - " ^^^^^^^^^\n" + - "Constructor call must be the first statement in a constructor\n" + + " for (record i: rec) {\n" + + " ^^^\n" + + "Type mismatch: cannot convert from element type int to record\n" + "----------\n"); } -public void testBug564146_007() { - runConformTest( +public void testBug564672_040() { + this.runNegativeTest( new String[] { "X.java", - "public record X(int i) {\n"+ - " public X() {\n"+ - " this(10);\n"+ - " }\n"+ - " public X(int i, int k) {\n"+ - " this();\n"+ - " }\n"+ - " public static void main(String[] args) {\n"+ - " System.out.println(new X(2, 3).i());\n"+ - " }\n"+ + "public class X {\n" + + " public static void main(String[] args) {\n" + + " try (record i = 0){\n" + + " }\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " try (record i = 0){\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_041() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " try{\n" + + " }\n" + + " catch (record e) {}\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " catch (record e) {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_042() { + this.runNegativeTest( + new String[] { + "X.java", + "record Point(record x, int i) { }\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " record Point(record x, int i) { }\n" + + " ^\n" + + "record cannot be resolved to a type\n" + + "----------\n" + + "2. ERROR in X.java (at line 1)\n" + + " record Point(record x, int i) { }\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_043() { + this.runNegativeTest( + new String[] { + "X.java", + "class Point {\n" + + " <T> Point(T i) {\n" + + " }\n" + + " Point (int i, int j) {\n" + + " <record> this(null);\n" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " <record> this(null);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 5)\n" + + " <record> this(null);\n" + + " ^^^^^^^^^^^\n" + + "The constructor Point(record) refers to the missing type record\n" + + "----------\n"); +} +public void testBug564672_044() { + this.runNegativeTest( + new String[] { + "X.java", + "class Point {\n" + + " <T> Point(T i) {\n" + + " }\n" + + "}\n" + + "class PointEx extends Point {\n" + + " PointEx (int i, int j) {\n" + + " <record> super(null);\n" + + " }\n;" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 7)\n" + + " <record> super(null);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 7)\n" + + " <record> super(null);\n" + + " ^^^^^^^^^^^^\n" + + "The constructor Point(record) refers to the missing type record\n" + + "----------\n"); +} +public void testBug564672_045() { + this.runNegativeTest( + new String[] { + "X.java", + "class Y {\n" + + " void m1() {} \n" + + " void m2() {\n" + + " this.<record>m1();" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " this.<record>m1(); }\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. WARNING in X.java (at line 4)\n" + + " this.<record>m1(); }\n" + + " ^^^^^^\n" + + "Unused type arguments for the non generic method m1() of type Y; it should not be parameterized with arguments <record>\n" + + "----------\n"); +} +public void testBug564672_046() { + this.runNegativeTest( + new String[] { + "X.java", + "class Y{\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Y().a();\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 8)\n" + + " new <record>Y().a();\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. WARNING in X.java (at line 8)\n" + + " new <record>Y().a();\n" + + " ^^^^^^\n" + + "Unused type arguments for the non generic constructor Y() of type Y; it should not be parameterized with arguments <record>\n" + + "----------\n"); +} +public void testBug564672_047() { + this.runNegativeTest( + new String[] { + "X.java", + "interface Y{}\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Y() {\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + " }.a();\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " new <record>Y() {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. WARNING in X.java (at line 5)\n" + + " new <record>Y() {\n" + + " ^^^^^^\n" + + "Unused type arguments for the non generic constructor Object() of type Object; it should not be parameterized with arguments <record>\n" + + "----------\n"); +} +public void testBug564672_048() { + this.runNegativeTest( + new String[] { + "X.java", + "class Y{}\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Y() {\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + " }.a();\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 5)\n" + + " new <record>Y() {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. WARNING in X.java (at line 5)\n" + + " new <record>Y() {\n" + + " ^^^^^^\n" + + "Unused type arguments for the non generic constructor Y() of type Y; it should not be parameterized with arguments <record>\n" + + "----------\n"); +} +public void testBug564672_049() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " record[] y= new record[3]; \n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " record[] y= new record[3]; \n" + + " ^^^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 3)\n" + + " record[] y= new record[3]; \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_050() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " String s=\"Hello\";\n" + + " record y= (record)s; \n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " record y= (record)s; \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " record y= (record)s; \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_051() { + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " String s=\"Hello\";\n" + + " if (s instanceof record) { \n" + + " System.out.println(1);\n" + + " }\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 4)\n" + + " if (s instanceof record) { \n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +public void testBug564672_052() { + this.runNegativeTest( + new String[] { + "X.java", + "import java.util.Arrays;\n" + + "import java.util.List;\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " List<String> messages = Arrays.asList(\"hello\", \"java\", \"testers!\");\n" + + " messages.forEach(record::length);\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 7)\n" + + " messages.forEach(record::length);\n" + + " ^^^^^^\n" + + "record cannot be resolved\n" + + "----------\n"); +} +public void testBug564672_053() { + this.runNegativeTest( + new String[] { + "X.java", + "import java.util.Arrays;\n" + + "import java.util.List;\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " List<String> messages = Arrays.asList(\"hello\", \"java\", \"testers!\");\n" + + " messages.stream().map(record::new).toArray(record[]::new);\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 7)\n" + + " messages.stream().map(record::new).toArray(record[]::new);\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n" + + "2. ERROR in X.java (at line 7)\n" + + " messages.stream().map(record::new).toArray(record[]::new);\n" + + " ^^^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n"); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_001() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class X extends record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + + "class record {}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_002() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "class X extends record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 1)\n" + + " class X extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " class X extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_003() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class X implements record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n"+ + "interface record {}\n;" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_004() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "class X implements record {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 1)\n" + + " class X implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 1)\n" + + " class X implements record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_005() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y extends record {\n"+ + " }\n" + + " class record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_006() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y extends record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_007() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y implements record {\n"+ + " }\n" + + " interface record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_008() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " class Y implements record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_009() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Y extends record {\n"+ + "}\n" + + "interface record {}\n" + + "class X {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_010() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "interface Y extends record {\n"+ + "}\n" + + "class X {\n"+ + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 1)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 1)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_011() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " interface record {}\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_012() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_013() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Z {\n"+ + " class Y extends record {\n"+ + " }\n" + + " class record {}\n" + + "}\n" + + "class X {\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_014() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y extends record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " class Y extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_015() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Z {\n"+ + " class Y implements record {\n"+ + " }\n" + + " interface record {}\n" + + "}\n" + + "class X {\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_016() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " class Y implements record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " class Y implements record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_017() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Z {\n"+ + " interface Y extends record {\n"+ + " }\n" + + " interface record {}\n" + + "}\n" + + "class X {\n" + + " public static void main(String[] args){\n"+ + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_018() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "interface X {\n"+ + " interface Y extends record {\n"+ + " }\n" + + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " interface Y extends record {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_019() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " static record a(int i, int j) {\n" + + " record r=new record(i,j);\n" + + " return r;\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " static record a(int i, int j) {\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "2. ERROR in X.java (at line 2)\n" + + " static record a(int i, int j) {\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n" + + "3. WARNING in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "4. ERROR in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n" + + "5. WARNING in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n" + + "6. ERROR in X.java (at line 3)\n" + + " record r=new record(i,j);\n" + + " ^^^^^^\n" + + "record cannot be resolved to a type\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_020() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " class record {}\n" + + "\n" + + " static record a(int i, int j) {\n" + + " record r = new X().new record();\n" + + " return r;\n" + + " }\n" + + "\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_021() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " X() throws record {} \n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record extends Exception {\n" + + " private static final long serialVersionUID = 1L;\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_022() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Y {\n" + + " int a() throws record;\n" + + "}\n" + + "\n" + + "class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record extends Exception {\n" + + " private static final long serialVersionUID = 1L;\n" + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_023() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "import java.util.ArrayList;\n" + + "import java.util.List;\n" + + "public class X {\n" + + " List<record> R = new ArrayList<record>();\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record{}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_024() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface I<S> {\n" + + " void print(S arg);\n" + + "}\n" + + "\n" + + "public class X implements I<record> {\n" + + " public void print(record arg) {\n" + + " System.out.println(arg);\n" + + " }\n" + + "\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_025() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Y<record> {\n" + + " void equal(record R) {}\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_026() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Y<record> {\n" + + " Y(record R) {}\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_027() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " static record i;\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_028() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface I {\n" + + " record i = new record(0);\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {\n" + + " int i;\n" + + " record (int i) {\n" + + " this.i=i;\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_029() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " static int sum(record i, int param) {\n" + + " return 1;\n" + + " }\n" + + "\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record{}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_030() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " X(record i, int param){\n" + + " }\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record{}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_031() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface I {\n" + + " int sum(record i, int num);\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record{}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_032() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Greetings {\n" + + " void greet(String head, String tail);\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " Greetings g = (record, y) -> {\n" + + " System.out.println(record + y);\n" + + " };\n" + + " g.greet(\"Hello, \", \"World!\");\n" + + " }\n" + + "}\n", }, - "10"); + "Hello, World!", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_033() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record {\n" + + " int sum(record this, int i, int num) {\n" + + " return 0;\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_034() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " static Rec record;\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class Rec {}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_035() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "import java.util.ArrayList;\n" + + "import java.util.Iterator;\n" + + "import java.util.List;\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " int rec[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };\n" + + " String s=\"\";\n" + + " List <record> recList= new ArrayList<>();\n" + + " for (int i:rec) {\n" + + " recList.add(new record(i));\n" + + " }\n" + + " for (Iterator<record> i =recList.iterator(); i.hasNext();) {\n" + + " s=s+i.next()+\" \";\n" + + " }\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record {\n" + + " int i;\n" + + " record (int i) {\n" + + " this.i=i;\n" + + " }\n" + + " public String toString (){\n" + + " return Integer.toString(i);\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_036() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "import java.util.ArrayList;\n" + + "import java.util.List;\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " int rec[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };\n" + + " String s=\"\";\n" + + " List <record> recList= new ArrayList<>();\n" + + " for (int i:rec) {\n" + + " recList.add(new record(i));\n" + + " }\n" + + " for (record i : recList) {\n" + + " s=s+i+\" \";\n" + + " }\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record {\n" + + " int i;\n" + + " record (int i) {\n" + + " this.i=i;\n" + + " }\n" + + " public String toString (){\n" + + " return Integer.toString(i);\n" + + " }\n" + + "}\n" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_037() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " try (record i = new record (0)){\n" + + " } catch (Exception e) {\n" + + " e.printStackTrace();\n" + + " }\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record implements AutoCloseable{\n" + + " int i;\n" + + " record (int i) {\n" + + " this.i=i;\n" + + " }\n" + + " @Override\n" + + " public void close() throws Exception {}\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_038() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " try {\n" + + " throw new record();\n" + + " } catch (record e) {\n" + + " System.out.println(\"0\");\n" + + " }\n" + + " }\n" + + "}\n" + + "\n" + + "class record extends Exception {\n" + + " private static final long serialVersionUID = 1L;\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_039() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runNegativeTest( + new String[] { + "X.java", + "record Point(record x, int i) { }\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " record Point(record x, int i) { }\n" + + " ^^^^^^\n" + + "Records is a preview feature and disabled by default. Use --enable-preview to enable\n" + + "----------\n" + + "2. WARNING in X.java (at line 7)\n" + + " class record {}\n" + + " ^^^^^^\n" + + "\'record\' is not a valid type name; it is a restricted identifier and not allowed as a type identifier in Java 15\n" + + "----------\n", + null, + true, + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_040() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Point {\n" + + " <T> Point(T i) {\n" + + " }\n" + + " Point (int i, int j) {\n" + + " <record> this(null);\n" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_041() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Point {\n" + + " <T> Point(T i) {\n" + + " }\n" + + "}\n" + + "class PointEx extends Point {\n" + + " PointEx (int i, int j) {\n" + + " <record> super(null);\n" + + " }\n;" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_042() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Y {\n" + + " <T> void m1() {} \n" + + " void m2() {\n" + + " this.<record>m1();" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_043() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Y{\n" + + " <T> Y() {}\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + "}\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Y().a();\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "1", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_044() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "interface Y{\n" + + "}\n" + + "\n" + + "class Z implements Y {\n" + + " <T> Z() {\n" + + " \n" + + " }\n" + + "}\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Z() {\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + " }.a();\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "1", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_045() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "class Y{" + + " <T> Y() {\n" + + " }" + + "}\n" + + "\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " new <record>Y() {\n" + + " void a() {\n" + + " System.out.println(\"1\");\n" + + " }\n" + + " }.a();\n" + + " }\n" + + "}\n" + + "class record {}" + }, + "1", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_046() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " record[] y= new record[3]; \n" + + " System.out.println(0);\n" + + " }\n" + + "}" + + "class record {}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_047() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " StrRec s = new StrRec(\"Hello\");\n" + + " record y = (record) s;\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "\n" + + "class record {\n" + + "}\n" + + "\n" + + "class StrRec extends record {\n" + + " String s;\n" + + "\n" + + " StrRec(String s) {\n" + + " this.s = s;\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_048() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " StrRec s=new StrRec(\"Hello\");\n" + + " if (s instanceof record) { \n" + + " System.out.println(1);\n" + + " }\n" + + " }\n" + + "}\n" + + "class record {}\n" + + "\n" + + "class StrRec extends record {\n" + + " String s;\n" + + "\n" + + " StrRec(String s) {\n" + + " this.s = s;\n" + + " }\n" + + "}" + }, + "1", + options + ); } -public void testBug565830_01() { +@SuppressWarnings({ "rawtypes", "unchecked" }) +public void testBug564672b_049() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_EnablePreviews, CompilerOptions.DISABLED); + this.runConformTest( + new String[] { + "X.java", + "import java.util.Arrays;\n" + + "import java.util.List;\n" + + "public class X {\n" + + " public static void main(String[] args) {\n" + + " List<String> messages = Arrays.asList(\"hello\", \"java\", \"testers!\");\n" + + " \n" + + " messages.stream().map(record::new).toArray(record[]::new);;\n" + + " System.out.println(0);\n" + + " }\n" + + "}\n" + + "class record {\n" + + " String s;\n" + + "\n" + + " record(String s) {\n" + + " this.s = s;\n" + + " }\n" + + "}" + }, + "0", + options + ); +} +public void testBug565388_001() { + this.runNegativeTest( + new String[] { + "X.java", + "public non-sealed record X() {}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " public non-sealed record X() {}\n" + + " ^\n" + + "Illegal modifier for the record X; only public, final and strictfp are permitted\n" + + "----------\n" + ); +} +public void testBug565388_002() { + this.runNegativeTest( + new String[] { + "X.java", + "public sealed record X() {}\n" + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " public sealed record X() {}\n" + + " ^\n" + + "Illegal modifier for the record X; only public, final and strictfp are permitted\n" + + "----------\n" + ); +} +public void testBug565786_001() throws IOException, ClassFormatException { runConformTest( new String[] { "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n"+ + " System.out.println(0);\n"+ + " }\n"+ + "}\n"+ + "interface I {\n"+ + " record R() {}\n"+ + "}", + }, + "0"); + String expectedOutput = + " // Method descriptor #6 ()V\n" + + " // Stack: 1, Locals: 1\n" + + " public I$R();\n"; + verifyClassFile(expectedOutput, "I$R.class", ClassFileBytesDisassembler.SYSTEM); +} +// Test that without an explicit canonical constructor, we +// report the warning on the record type. +public void testBug563182_01() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " record Point<T> (T ... args) { // 1\n" + + " ^^^^\n" + + "Type safety: Potential heap pollution via varargs parameter args\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of an explicit canonical constructor that is NOT annotated with @SafeVarargs, +// we don't report the warning on the record type but report on the explicit canonical constructor +public void testBug563182_02() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " Point(T ... args) { // 2\n" + + " this.args = args;\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "----------\n" + + "1. WARNING in X.java (at line 3)\n" + + " Point(T ... args) { // 2\n" + + " ^^^^\n" + + "Type safety: Potential heap pollution via varargs parameter args\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of an explicit canonical constructor that IS annotated with @SafeVarargs, +//we don't report the warning on neither the record type nor the explicit canonical constructor +public void testBug563182_03() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " @SafeVarargs\n" + + " Point(T ... args) { // 2\n" + + " this.args = args;\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of a compact canonical constructor that is NOT annotated with @SafeVarargs, +//we don't report the warning on the compact canonical constructor but report on the record type +public void testBug563182_04() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " Point { // 2\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " record Point<T> (T ... args) { // 1\n" + + " ^^^^\n" + + "Type safety: Potential heap pollution via varargs parameter args\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of a compact canonical constructor that IS annotated with @SafeVarargs, +//we don't report the warning on neither the record type nor the compact canonical constructor +public void testBug563182_05() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " @SafeVarargs\n" + + " Point { // 2\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of a non-canonical constructor that is annotated with @SafeVarargs, +//we don't report the warning on the non-canonical constructor but report on the record type +public void testBug563182_06() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " @SafeVarargs\n" + + " Point (String s, T ... t) {\n" + + " this(t);\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " record Point<T> (T ... args) { // 1\n" + + " ^^^^\n" + + "Type safety: Potential heap pollution via varargs parameter args\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} +//Test that in presence of a non-canonical constructor that is NOT annotated with @SafeVarargs, +//we don't report the warning on the non-canonical constructor but report on the record type +public void testBug563182_07() { + Map<String, String> customOptions = getCompilerOptions(); + this.runNegativeTest( + new String[] { + "X.java", + "class X<T> {\n" + + " record Point<T> (T ... args) { // 1\n" + + " Point (String s, T ... t) {\n" + + " this(t);\n" + + " }\n" + + " }\n" + + " public static void main(String[] args) {}\n"+ + "}\n", + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " record Point<T> (T ... args) { // 1\n" + + " ^^^^\n" + + "Type safety: Potential heap pollution via varargs parameter args\n" + + "----------\n" + + "2. WARNING in X.java (at line 3)\n" + + " Point (String s, T ... t) {\n" + + " ^\n" + + "Type safety: Potential heap pollution via varargs parameter t\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + customOptions); +} + public void testBug563186_01() { + runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record Point(int myInt){\n"+ + " @Override\n" + + " public int myInt(){\n"+ + " return this.myInt;\n" + + " }\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(0);\n"+ + " }\n"+ + "}\n" + }, + "0"); + } + public void testBug563186_02() { + runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record Point(int myInt){\n"+ + " public int myInt(){\n"+ + " return this.myInt;\n" + + " }\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(0);\n"+ + " }\n"+ + "}\n" + }, + "0"); + } + public void testBug563186_03() { + runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record Point(int myInt){\n"+ + " @Override\n" + + " public int myInt(int i){\n"+ + " return this.myInt;\n" + + " }\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(0);\n"+ + " }\n"+ + "}\n" + }, + "----------\n" + + "1. WARNING in X.java (at line 2)\n" + + " private record Point(int myInt){\n" + + " ^^^^^\n" + + "The type X.Point is never used locally\n" + + "----------\n" + + "2. ERROR in X.java (at line 4)\n" + + " public int myInt(int i){\n" + + " ^^^^^^^^^^^^\n" + + "The method myInt(int) of type X.Point must override or implement a supertype method\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + getCompilerOptions()); + } + public void testBug563186_04() { + runConformTest( + new String[] { + "X.java", + "public class X {\n"+ + " private record Point(int myInt){\n"+ + " public int myInt(int i){\n"+ + " return this.myInt;\n" + + " }\n"+ + " }\n"+ + " public static void main(String[] args) {\n"+ + " System.out.println(0);\n"+ + " }\n"+ + "}\n" + }, + "0"); + } + public void testBug565732_01() { + runNegativeTest( + new String[] { + "X.java", + "public record X {\n" + + "} " + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " public record X {\n" + + " ^\n" + + "Syntax error, insert \"RecordHeader\" to complete RecordHeaderPart\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + getCompilerOptions()); + } + public void testBug565732_02() { + runNegativeTest( + new String[] { + "X.java", + "public record X<T> {\n" + + "} " + }, + "----------\n" + + "1. ERROR in X.java (at line 1)\n" + + " public record X<T> {\n" + + " ^\n" + + "Syntax error, insert \"RecordHeader\" to complete RecordHeaderPart\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + getCompilerOptions()); + } + // Test that a record without any record components was indeed compiled + // to be a record at runtime + public void testBug565732_03() { + runConformTest( + new String[] { + "X.java", + "public record X() {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(X.class.getSuperclass().getName());\n" + + " }\n" + + "}" + }, + "java.lang.Record"); + } + // Test that a record without any record components was indeed compiled + // to be a record at runtime + public void testBug565732_04() { + runConformTest( + new String[] { + "X.java", + "public record X<T>() {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(X.class.getSuperclass().getName());\n" + + " }\n" + + "}" + }, + "java.lang.Record"); + } + // Test that a "record" can be used as a method name and invoked inside a record + public void testBug565732_05() { + runConformTest( + new String[] { + "X.java", + "public record X<T>() {\n" + + " public static void main(String[] args) {\n" + + " record();\n" + + " }\n" + + " public static void record() {\n" + + " System.out.println(\"record()\");\n" + + " }\n" + + "}" + }, + "record()"); + } + // Test that a "record" can be used as a label and invoked inside a record + public void testBug565732_06() { + runConformTest( + new String[] { + "X.java", + "public record X<T>() {\n" + + " public static void main(String[] args) {\n" + + " boolean flag = true;\n" + + " record: {\n" + + " if (flag) {\n" + + " System.out.println(\"record:\");\n" + + " flag = false;\n" + + " break record;\n" + + " }\n" + + " }\n" + + " }\n" + + "}" + }, + "record:"); + } + public void testBug565732_07() { + runNegativeTest( + new String[] { + "X.java", + "public class X {\n" + + " record R {};\n" + + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 2)\n" + + " record R {};\n" + + " ^\n" + + "Syntax error, insert \"RecordHeader\" to complete RecordHeaderPart\n" + + "----------\n", + null, + true, + new String[] {"--enable-preview"}, + getCompilerOptions()); + } + public void testBug565732_08() { + runConformTest( + new String[] { + "X.java", + "public class X {\n" + + " public static void main(String[] args) {\n" + + " System.out.println(R.class.getSuperclass().getName());\n" + + " }\n" + + " record R() {};\n" + + "}" + }, + "java.lang.Record"); + } + public void testBug565830_01() { + runConformTest( + new String[] { + "X.java", "class X {\n"+ " void bar() throws Exception {\n"+ " record Bar(int x) implements java.io.Serializable {\n"+ @@ -3921,6 +7616,151 @@ public void testBug565830_01() { "}", }, "private final int X$1Bar.x"); + } +public void testBug566063_001() { + runConformTest( + new String[] { + "X.java", + "class X {\n"+ + " void bar() throws Exception {\n"+ + " enum E {\n"+ + " ONE,\n"+ + " TWO\n"+ + " }\n"+ + " interface I {}\n"+ + " record Bar(E x) implements I{}\n"+ + " E e = new Bar(E.ONE).x();\n"+ + " System.out.println(e);\n"+ + " }\n"+ + " public static void main(String[] args) throws Exception {\n"+ + " new X().bar();\n"+ + " }\n"+ + "}" + }, + "ONE"); +} +public void testBug566063_002() { + runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " void bar() throws Exception {\n"+ + " static enum E {\n"+ + " ONE,\n"+ + " TWO\n"+ + " }\n"+ + " interface I {}\n"+ + " record Bar(E x) implements I{}\n"+ + " E e = new Bar(E.ONE).x();\n"+ + " System.out.println(e);\n"+ + " }\n"+ + " public static void main(String[] args) throws Exception {\n"+ + " new X().bar();\n"+ + " }\n"+ + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " static enum E {\n" + + " ^\n" + + "A local interface, enum or record E is implicitly static; cannot have explicit static declaration\n" + + "----------\n"); +} +public void testBug566063_003() { + runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " void bar() throws Exception {\n"+ + " static enum E {\n"+ + " ONE,\n"+ + " TWO\n"+ + " }\n"+ + " interface I {}\n"+ + " static record Bar(E x) implements I{}\n"+ + " E e = new Bar(E.ONE).x();\n"+ + " System.out.println(e);\n"+ + " }\n"+ + " public static void main(String[] args) throws Exception {\n"+ + " new X().bar();\n"+ + " }\n"+ + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 3)\n" + + " static enum E {\n" + + " ^\n" + + "A local interface, enum or record E is implicitly static; cannot have explicit static declaration\n" + + "----------\n" + + "2. ERROR in X.java (at line 8)\n" + + " static record Bar(E x) implements I{}\n" + + " ^^^\n" + + "A local interface, enum or record Bar is implicitly static; cannot have explicit static declaration\n" + + "----------\n"); +} +public void testBug566063_004() { + runNegativeTest( + new String[] { + "X.java", + "class X {\n"+ + " void bar() throws Exception {\n"+ + " enum E {\n"+ + " ONE,\n"+ + " TWO\n"+ + " }\n"+ + " static interface I {}\n"+ + " record Bar(E x) implements I{}\n"+ + " E e = new Bar(E.ONE).x();\n"+ + " System.out.println(e);\n"+ + " }\n"+ + " public static void main(String[] args) throws Exception {\n"+ + " new X().bar();\n"+ + " }\n"+ + "}" + }, + "----------\n" + + "1. ERROR in X.java (at line 7)\n" + + " static interface I {}\n" + + " ^\n" + + "Illegal modifier for the local interface I; abstract and strictfp are the only modifiers allowed explicitly \n" + + "----------\n"); +} +@SuppressWarnings({ "unchecked", "rawtypes" }) +public void testBug566418_001() { + Map options = getCompilerOptions(); + options.put(CompilerOptions.OPTION_ReportUnnecessaryTypeCheck, CompilerOptions.ERROR); + options.put(CompilerOptions.OPTION_ReportUnusedWarningToken, CompilerOptions.ERROR); + options.put(CompilerOptions.OPTION_SuppressOptionalErrors, CompilerOptions.ENABLED); + this.runNegativeTest( + new String[] { + "X.java", + "public class X {\n"+ + " static void foo() {\n"+ + " record R() {\n"+ + " static int create(int lo) {\n"+ + " return lo;\n"+ + " }\n"+ + " }\n"+ + " System.out.println(R.create(0));\n"+ + " }\n"+ + " Zork();\n"+ + "}", + }, + "----------\n" + + "1. ERROR in X.java (at line 10)\n" + + " Zork();\n" + + " ^^^^^^\n" + + "Return type for the method is missing\n" + + "----------\n" + + "2. ERROR in X.java (at line 10)\n" + + " Zork();\n" + + " ^^^^^^\n" + + "This method requires a body instead of a semicolon\n" + + "----------\n", + null, + true, + options + ); } public void testBug565787_01() { runConformTest( @@ -3939,4 +7779,103 @@ public void testBug565787_01() { }, ""); } +public void testBug566554_01() { + runConformTest( + new String[] { + "Main.java", + "@SuppressWarnings(\"preview\")\n" + + "public class Main {\n" + + " public static void main(String[] args) {\n" + + " final Margin margins = new Margin(0);\n" + + " System.out.println(margins.left()); \n" + + " }\n" + + "}\n" + + "record Margin(int left) {\n" + + " public Margin left(int value) {\n" + + " return new Margin(value);\n" + + " }\n" + + " public String toString() {\n" + + " return \"Margin[left=\" + this.left + \"]\";\n" + + " }\n" + + "}", + }, + "0"); +} +public void testBug566554_02() { + runConformTest( + new String[] { + "Main.java", + "@SuppressWarnings(\"preview\")\n" + + "public class Main {\n" + + " public static void main(String[] args) {\n" + + " final Margin margins = new Margin(0);\n" + + " System.out.println(margins.left()); \n" + + " }\n" + + "}\n" + + "record Margin(int left) {\n" + + " public Margin left(int value) {\n" + + " return new Margin(value);\n" + + " }\n" + + " public int left() {\n" + + " return this.left;\n" + + " }\n" + + " public String toString() {\n" + + " return \"Margin[left=\" + this.left + \"]\";\n" + + " }\n" + + "}", + }, + "0"); +} +public void testBug566554_03() { + runConformTest( + new String[] { + "Main.java", + "@SuppressWarnings(\"preview\")\n" + + "public class Main {\n" + + " public static void main(String[] args) {\n" + + " final Margin margins = new Margin(0);\n" + + " System.out.println(margins.left(0)); \n" + + " }\n" + + "}\n" + + "record Margin(int left) {\n" + + " public Margin left(int value) {\n" + + " return new Margin(value);\n" + + " }\n" + + " public int left() {\n" + + " return this.left;\n" + + " }\n" + + " public String toString() {\n" + + " return \"Margin[left=\" + this.left + \"]\";\n" + + " }\n" + + "}", + }, + "Margin[left=0]"); +} +public void testBug566554_04() { + runNegativeTest( + new String[] { + "Main.java", + "@SuppressWarnings(\"preview\")\n" + + "public class Main {\n" + + " public static void main(String[] args) {\n" + + " final Margin margins = new Margin(0);\n" + + " int l = margins.left(0); \n" + + " }\n" + + "}\n" + + "record Margin(int left) {\n" + + " public Margin left(int value) {\n" + + " return new Margin(value);\n" + + " }\n" + + " public int left() {\n" + + " return this.left;\n" + + " }\n" + + "}", + }, + "----------\n" + + "1. ERROR in Main.java (at line 5)\n" + + " int l = margins.left(0); \n" + + " ^^^^^^^^^^^^^^^\n" + + "Type mismatch: cannot convert from Margin to int\n" + + "----------\n"); +} }
\ No newline at end of file |