Java: Accept new test results after JDK 26 extractor upgrade

IdrissRio · IdrissRio · commit 19276181ad62 · 2026-04-01T11:08:35.000+02:00
diff --git a/java/ql/test-kotlin1/library-tests/exprs_typeaccess/PrintAst.expected b/java/ql/test-kotlin1/library-tests/exprs_typeaccess/PrintAst.expected
@@ -111,6 +111,7 @@ B.java:
 #    1|   1: [Class] B
 #    2|     2: [Constructor] B
 #    2|       5: [BlockStmt] { ... }
+#    2|         0: [SuperConstructorInvocationStmt] super(...)
 #    3|         1: [EmptyStmt] ;
 #    6|     3: [Method] fn
 #    6|       3: [TypeAccess] void
diff --git a/java/ql/test-kotlin2/library-tests/exprs_typeaccess/PrintAst.expected b/java/ql/test-kotlin2/library-tests/exprs_typeaccess/PrintAst.expected
@@ -110,6 +110,7 @@ B.java:
 #    1|   1: [Class] B
 #    2|     2: [Constructor] B
 #    2|       5: [BlockStmt] { ... }
+#    2|         0: [SuperConstructorInvocationStmt] super(...)
 #    3|         1: [EmptyStmt] ;
 #    6|     3: [Method] fn
 #    6|       3: [TypeAccess] void
diff --git a/java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected b/java/ql/test/library-tests/compact-source-files/CompactSourceAnalysis.expected
@@ -1 +1 @@
-| Test.java:0:0:0:0 | Test | Test.java:1:1:1:1 | Test | Compact source file 'Test' contains implicit class 'Test' |
+| Test.java:0:0:0:0 | Test | Test.java:1:1:29:1 | Test | Compact source file 'Test' contains implicit class 'Test' |
diff --git a/java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected b/java/ql/test/library-tests/compact-source-files/ImplicitClassDetection.expected
@@ -1,2 +1,2 @@
-| Test.java:1:1:1:1 | Test | implicit |
+| Test.java:1:1:29:1 | Test | implicit |
 | Test.java:25:7:25:16 | NotCompact | not implicit |
diff --git a/java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected b/java/ql/test/library-tests/compact-source-files/MethodInCompactSource.expected
@@ -1,5 +1,5 @@
-| Test.java:1:1:1:1 | <clinit> | in compact source |
-| Test.java:1:1:1:1 | <obinit> | in compact source |
+| Test.java:1:1:29:1 | <clinit> | in compact source |
+| Test.java:1:1:29:1 | <obinit> | in compact source |
 | Test.java:5:6:5:9 | main | in compact source |
 | Test.java:11:6:11:16 | processData | in compact source |
 | Test.java:16:14:16:31 | updatePrivateField | in compact source |
diff --git a/java/ql/test/library-tests/compact-source-files/options b/java/ql/test/library-tests/compact-source-files/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --release 25 --enable-preview
+//semmle-extractor-options: --javac-args --release 25
diff --git a/java/ql/test/library-tests/dataflow/kdf/options b/java/ql/test/library-tests/dataflow/kdf/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --enable-preview --release 25
+//semmle-extractor-options: --javac-args --release 25
diff --git a/java/ql/test/library-tests/dataflow/scoped-values/options b/java/ql/test/library-tests/dataflow/scoped-values/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args -source 25 -target 25 --enable-preview
+//semmle-extractor-options: --javac-args -source 25 -target 25
diff --git a/java/ql/test/library-tests/errorexpr/CONSISTENCY/diags.expected b/java/ql/test/library-tests/errorexpr/CONSISTENCY/diags.expected
@@ -0,0 +1,2 @@
+unusedDiagnosticException
+| Test.java:16:1:16:95 | // Diagnostic Matches: In file Test.java:8:15 no end location for JCMethodInvocation : yield(x) |
diff --git a/java/ql/test/library-tests/flexible-constructors/options b/java/ql/test/library-tests/flexible-constructors/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --release 25 --enable-preview
+//semmle-extractor-options: --javac-args --release 25
diff --git a/java/ql/test/library-tests/module-import-declarations/options b/java/ql/test/library-tests/module-import-declarations/options
@@ -1 +1 @@
-//semmle-extractor-options: --javac-args --release 25 --enable-preview
+//semmle-extractor-options: --javac-args --release 25
diff --git a/java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.expected b/java/ql/test/library-tests/successors/TestLoopBranch/TestSucc.expected
@@ -269,8 +269,8 @@
 | TestLoopBranch.java:109:9:109:22 | <obinit>(...) | TestLoopBranch.java:111:3:111:10 | <Expr>; |
 | TestLoopBranch.java:109:9:109:22 | Entry | TestLoopBranch.java:110:2:113:2 | { ... } |
 | TestLoopBranch.java:109:9:109:22 | Normal Exit | TestLoopBranch.java:109:9:109:22 | Exit |
-| TestLoopBranch.java:109:9:109:22 | super(...) | TestLoopBranch.java:109:9:109:22 | <Expr>; |
-| TestLoopBranch.java:110:2:113:2 | { ... } | TestLoopBranch.java:109:9:109:22 | super(...) |
+| TestLoopBranch.java:110:2:110:2 | super(...) | TestLoopBranch.java:109:9:109:22 | <Expr>; |
+| TestLoopBranch.java:110:2:113:2 | { ... } | TestLoopBranch.java:110:2:110:2 | super(...) |
 | TestLoopBranch.java:111:3:111:4 | xx | TestLoopBranch.java:111:8:111:9 | 33 |
 | TestLoopBranch.java:111:3:111:9 | ...=... | TestLoopBranch.java:112:3:112:10 | <Expr>; |
 | TestLoopBranch.java:111:3:111:10 | <Expr>; | TestLoopBranch.java:111:3:111:4 | xx |
@@ -283,8 +283,8 @@
 | TestLoopBranch.java:115:9:115:22 | <obinit>(...) | TestLoopBranch.java:117:3:117:9 | <Expr>; |
 | TestLoopBranch.java:115:9:115:22 | Entry | TestLoopBranch.java:116:2:119:2 | { ... } |
 | TestLoopBranch.java:115:9:115:22 | Normal Exit | TestLoopBranch.java:115:9:115:22 | Exit |
-| TestLoopBranch.java:115:9:115:22 | super(...) | TestLoopBranch.java:115:9:115:22 | <Expr>; |
-| TestLoopBranch.java:116:2:119:2 | { ... } | TestLoopBranch.java:115:9:115:22 | super(...) |
+| TestLoopBranch.java:116:2:116:2 | super(...) | TestLoopBranch.java:115:9:115:22 | <Expr>; |
+| TestLoopBranch.java:116:2:119:2 | { ... } | TestLoopBranch.java:116:2:116:2 | super(...) |
 | TestLoopBranch.java:117:3:117:4 | xx | TestLoopBranch.java:117:8:117:8 | i |
 | TestLoopBranch.java:117:3:117:8 | ...=... | TestLoopBranch.java:118:3:118:9 | <Expr>; |
 | TestLoopBranch.java:117:3:117:9 | <Expr>; | TestLoopBranch.java:117:3:117:4 | xx |
diff --git a/java/ql/test/library-tests/successors/TestThrow/TestSucc.expected b/java/ql/test/library-tests/successors/TestThrow/TestSucc.expected
@@ -1,7 +1,7 @@
 | TestThrow.java:7:10:7:18 | Entry | TestThrow.java:8:2:9:2 | { ... } |
 | TestThrow.java:7:10:7:18 | Normal Exit | TestThrow.java:7:10:7:18 | Exit |
-| TestThrow.java:7:10:7:18 | super(...) | TestThrow.java:7:10:7:18 | Normal Exit |
-| TestThrow.java:8:2:9:2 | { ... } | TestThrow.java:7:10:7:18 | super(...) |
+| TestThrow.java:8:2:8:2 | super(...) | TestThrow.java:7:10:7:18 | Normal Exit |
+| TestThrow.java:8:2:9:2 | { ... } | TestThrow.java:8:2:8:2 | super(...) |
 | TestThrow.java:11:15:11:21 | Entry | TestThrow.java:12:2:13:2 | { ... } |
 | TestThrow.java:11:15:11:21 | Normal Exit | TestThrow.java:11:15:11:21 | Exit |
 | TestThrow.java:12:2:13:2 | { ... } | TestThrow.java:11:15:11:21 | Normal Exit |

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-\| Test.java:0:0:0:0 \| Test \| Test.java:1:1:1:1 \| Test \| Compact source file 'Test' contains implicit class 'Test' \|`
	`1`	`+\| Test.java:0:0:0:0 \| Test \| Test.java:1:1:29:1 \| Test \| Compact source file 'Test' contains implicit class 'Test' \|`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		`-\| Test.java:1:1:1:1 \| Test \| implicit \|`
	`1`	`+\| Test.java:1:1:29:1 \| Test \| implicit \|`
`2`	`2`	`\| Test.java:25:7:25:16 \| NotCompact \| not implicit \|`
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-//semmle-extractor-options: --javac-args --release 25 --enable-preview`
	`1`	`+//semmle-extractor-options: --javac-args --release 25`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+unusedDiagnosticException`
	`2`	`+\| Test.java:16:1:16:95 \| // Diagnostic Matches: In file Test.java:8:15 no end location for JCMethodInvocation : yield(x) \|`