Java: Accept new test results after JDK 26 extractor upgrade

IdrissRio · IdrissRio · commit 2d8454a2e6d5 · 2026-03-19T10:24:25.000+01:00
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/constants/PrintAst.expected b/java/ql/test/library-tests/constants/PrintAst.expected
@@ -80,6 +80,7 @@ constants/Initializers.java:
 #    8|       -1: [TypeAccess] int
 #   10|     6: [Constructor] Initializers
 #   10|       5: [BlockStmt] { ... }
+#   10|         0: [SuperConstructorInvocationStmt] super(...)
 #   12|         2: [ExprStmt] <Expr>;
 #   12|           0: [AssignExpr] ...=...
 #   12|             0: [VarAccess] IFIELD2
diff --git a/java/ql/test/library-tests/constructors/ConstructorCalls.expected b/java/ql/test/library-tests/constructors/ConstructorCalls.expected
@@ -1,3 +1,3 @@
 | constructors/A.java:5:3:5:11 | this(...) |
-| constructors/A.java:8:2:8:2 | super(...) |
+| constructors/A.java:8:11:8:11 | super(...) |
 | constructors/A.java:11:3:11:9 | new A(...) |
diff --git a/java/ql/test/library-tests/constructors/PrintAst.expected b/java/ql/test/library-tests/constructors/PrintAst.expected
@@ -10,6 +10,7 @@ constructors/A.java:
 #    8|         0: [Parameter] i
 #    8|           0: [TypeAccess] int
 #    8|       5: [BlockStmt] { ... }
+#    8|         0: [SuperConstructorInvocationStmt] super(...)
 #   10|     5: [Method] main
 #   10|       3: [TypeAccess] void
 #-----|       4: (Parameters)
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/PrintAst.expected b/java/ql/test/library-tests/flexible-constructors/PrintAst.expected
@@ -6,6 +6,7 @@ FlexibleConstructors.java:
 #    2|         0: [Parameter] msg
 #    2|           0: [TypeAccess] String
 #    2|       5: [BlockStmt] { ... }
+#    2|         0: [SuperConstructorInvocationStmt] super(...)
 #    3|         1: [ExprStmt] <Expr>;
 #    3|           0: [MethodCall] println(...)
 #    3|             -1: [VarAccess] System.out
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`		`-//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) \|`