From 352b3711f6700e9d3bdb1836ba328e1b484c69cd Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Mon, 16 Feb 2026 11:42:25 +0100 Subject: [PATCH] Java: Remove obsolete tests - false successors are no longer special. --- .../CloseReaderTest/FalseSuccessors.expected | 0 .../successors/CloseReaderTest/FalseSuccessors.ql | 4 ---- .../LoopVarReadTest/FalseSuccessors.expected | 1 - .../successors/LoopVarReadTest/FalseSuccessors.ql | 4 ---- .../SaveFileTest/FalseSuccessors.expected | 2 -- .../successors/SaveFileTest/FalseSuccessors.ql | 4 ---- .../SchackTest/FalseSuccessors.expected | 6 ------ .../successors/SchackTest/FalseSuccessors.ql | 4 ---- .../successors/TestBreak/FalseSuccessors.expected | 5 ----- .../successors/TestBreak/FalseSuccessors.ql | 4 ---- .../TestContinue/FalseSuccessors.expected | 10 ---------- .../successors/TestContinue/FalseSuccessors.ql | 4 ---- .../TestDeclarations/FalseSuccessors.expected | 3 --- .../TestDeclarations/FalseSuccessors.ql | 4 ---- .../TestFinally/FalseSuccessors.expected | 15 --------------- .../successors/TestFinally/FalseSuccessors.ql | 4 ---- .../FalseSuccessors.expected | 6 ------ .../TestFinallyBreakContinue/FalseSuccessors.ql | 4 ---- .../TestLoopBranch/FalseSuccessors.expected | 5 ----- .../successors/TestLoopBranch/FalseSuccessors.ql | 4 ---- .../successors/TestThrow/FalseSuccessors.expected | 12 ------------ .../successors/TestThrow/FalseSuccessors.ql | 4 ---- .../TestThrow2/FalseSuccessors.expected | 0 .../successors/TestThrow2/FalseSuccessors.ql | 4 ---- .../TestTryCatch/FalseSuccessors.expected | 1 - .../successors/TestTryCatch/FalseSuccessors.ql | 4 ---- .../TestTryWithResources/FalseSuccessors.expected | 0 .../TestTryWithResources/FalseSuccessors.ql | 4 ---- 28 files changed, 122 deletions(-) delete mode 100644 java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql delete mode 100644 java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected delete mode 100644 java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql diff --git a/java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected b/java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.expected deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql b/java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/CloseReaderTest/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected b/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected deleted file mode 100644 index 9d836931bed..00000000000 --- a/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.expected +++ /dev/null @@ -1 +0,0 @@ -| LoopVarReadTest.java:7:19:7:24 | ... < ... | LoopVarReadTest.java:12:3:12:13 | var ...; | diff --git a/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql b/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/LoopVarReadTest/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected b/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected deleted file mode 100644 index 8f3e2d0dd3e..00000000000 --- a/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.expected +++ /dev/null @@ -1,2 +0,0 @@ -| SaveFileTest.java:18:7:18:26 | startsWith(...) | SaveFileTest.java:24:3:24:33 | var ...; | -| SaveFileTest.java:34:11:34:54 | ... != ... | SaveFileTest.java:39:4:40:41 | ; | diff --git a/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql b/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/SaveFileTest/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected b/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected deleted file mode 100644 index 3f3f897cda8..00000000000 --- a/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.expected +++ /dev/null @@ -1,6 +0,0 @@ -| SchackTest.java:8:9:8:12 | ... == ... | SchackTest.java:10:5:10:13 | if (...) | -| SchackTest.java:10:9:10:12 | ... == ... | SchackTest.java:12:14:15:4 | { ... } | -| SchackTest.java:13:9:13:13 | bar(...) | SchackTest.java:16:4:16:41 | ; | -| SchackTest.java:13:9:13:13 | bar(...) | SchackTest.java:17:5:17:17 | catch (...) | -| SchackTest.java:13:9:13:13 | bar(...) | SchackTest.java:21:13:23:3 | { ... } | -| SchackTest.java:27:7:27:24 | ... > ... | SchackTest.java:29:10:29:22 | random(...) | diff --git a/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql b/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/SchackTest/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected deleted file mode 100644 index 6d5fbfbded6..00000000000 --- a/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.expected +++ /dev/null @@ -1,5 +0,0 @@ -| TestBreak.java:12:9:12:14 | ... == ... | TestBreak.java:16:5:27:5 | { ... } | -| TestBreak.java:19:11:19:16 | ... == ... | TestBreak.java:23:7:25:7 | { ... } | -| TestBreak.java:32:8:32:13 | ... == ... | TestBreak.java:36:4:46:4 | { ... } | -| TestBreak.java:39:10:39:15 | ... == ... | TestBreak.java:43:6:43:15 | ; | -| TestBreak.java:44:14:44:19 | ... == ... | TestBreak.java:45:5:45:11 | ; | diff --git a/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestBreak/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected deleted file mode 100644 index ce0fd732685..00000000000 --- a/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.expected +++ /dev/null @@ -1,10 +0,0 @@ -| TestContinue.java:8:20:8:25 | ... < ... | TestContinue.java:30:3:30:13 | var ...; | -| TestContinue.java:12:9:12:14 | ... == ... | TestContinue.java:16:5:28:5 | { ... } | -| TestContinue.java:19:11:19:16 | ... == ... | TestContinue.java:22:14:22:24 | if (...) | -| TestContinue.java:22:18:22:23 | ... == ... | TestContinue.java:26:7:26:13 | ; | -| TestContinue.java:31:10:31:16 | ... != ... | TestContinue.java:50:3:50:9 | ; | -| TestContinue.java:33:8:33:13 | ... == ... | TestContinue.java:37:4:47:4 | { ... } | -| TestContinue.java:40:10:40:15 | ... == ... | TestContinue.java:44:6:44:15 | ; | -| TestContinue.java:45:14:45:19 | ... == ... | TestContinue.java:46:5:46:11 | ; | -| TestContinue.java:51:10:51:16 | ... != ... | TestContinue.java:4:14:4:14 | Normal Exit | -| TestContinue.java:53:8:53:13 | ... != ... | TestContinue.java:56:5:56:10 | break | diff --git a/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestContinue/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected deleted file mode 100644 index c7e0cec8183..00000000000 --- a/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.expected +++ /dev/null @@ -1,3 +0,0 @@ -| TestDeclarations.java:10:8:10:14 | ... > ... | TestDeclarations.java:15:4:15:15 | if (...) | -| TestDeclarations.java:15:8:15:14 | ... == ... | TestDeclarations.java:17:4:17:15 | if (...) | -| TestDeclarations.java:17:8:17:14 | ... == ... | TestDeclarations.java:7:9:7:12 | true | diff --git a/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestDeclarations/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected deleted file mode 100644 index 03596ec8969..00000000000 --- a/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.expected +++ /dev/null @@ -1,15 +0,0 @@ -| TestFinally.java:12:9:12:14 | ... == ... | TestFinally.java:16:5:39:5 | try ... | -| TestFinally.java:19:10:19:15 | ... == ... | TestFinally.java:23:6:23:32 | ; | -| TestFinally.java:27:10:27:15 | ... == ... | TestFinally.java:32:5:39:5 | { ... } | -| TestFinally.java:34:10:34:15 | ... == ... | TestFinally.java:38:6:38:36 | ; | -| TestFinally.java:47:10:47:15 | ... == ... | TestFinally.java:51:6:51:32 | ; | -| TestFinally.java:55:10:55:15 | ... == ... | TestFinally.java:60:5:67:5 | { ... } | -| TestFinally.java:62:10:62:15 | ... == ... | TestFinally.java:66:6:66:36 | ; | -| TestFinally.java:68:9:68:14 | ... == ... | TestFinally.java:73:4:80:4 | { ... } | -| TestFinally.java:75:9:75:14 | ... == ... | TestFinally.java:79:5:79:35 | ; | -| TestFinally.java:91:9:91:14 | ... == ... | TestFinally.java:95:5:95:31 | ; | -| TestFinally.java:99:9:99:14 | ... == ... | TestFinally.java:104:4:111:4 | { ... } | -| TestFinally.java:106:9:106:14 | ... == ... | TestFinally.java:110:5:110:35 | ; | -| TestFinally.java:126:8:126:13 | ... == ... | TestFinally.java:130:4:130:30 | ; | -| TestFinally.java:134:8:134:13 | ... == ... | TestFinally.java:139:3:146:3 | { ... } | -| TestFinally.java:141:8:141:13 | ... == ... | TestFinally.java:145:4:145:34 | ; | diff --git a/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestFinally/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected deleted file mode 100644 index 1de80850858..00000000000 --- a/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.expected +++ /dev/null @@ -1,6 +0,0 @@ -| TestFinallyBreakContinue.java:12:9:12:14 | ... == ... | TestFinallyBreakContinue.java:16:5:18:5 | { ... } | -| TestFinallyBreakContinue.java:21:9:21:14 | ... == ... | TestFinallyBreakContinue.java:25:5:27:5 | { ... } | -| TestFinallyBreakContinue.java:40:10:40:15 | ... == ... | TestFinallyBreakContinue.java:44:6:46:6 | { ... } | -| TestFinallyBreakContinue.java:49:10:49:15 | ... == ... | TestFinallyBreakContinue.java:53:6:55:6 | { ... } | -| TestFinallyBreakContinue.java:78:11:78:16 | ... == ... | TestFinallyBreakContinue.java:82:7:84:7 | { ... } | -| TestFinallyBreakContinue.java:87:11:87:16 | ... == ... | TestFinallyBreakContinue.java:91:7:93:7 | { ... } | diff --git a/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestFinallyBreakContinue/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected deleted file mode 100644 index 97278336764..00000000000 --- a/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.expected +++ /dev/null @@ -1,5 +0,0 @@ -| TestLoopBranch.java:17:12:17:17 | ... == ... | TestLoopBranch.java:19:3:22:3 | { ... } | -| TestLoopBranch.java:24:10:24:15 | ... == ... | TestLoopBranch.java:31:3:31:30 | for (...;...;...) | -| TestLoopBranch.java:31:19:31:24 | ... < ... | TestLoopBranch.java:37:3:37:3 | ; | -| TestLoopBranch.java:46:7:46:13 | ... == ... | TestLoopBranch.java:51:3:51:14 | if (...) | -| TestLoopBranch.java:51:7:51:13 | ... == ... | TestLoopBranch.java:56:3:60:3 | { ... } | diff --git a/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestLoopBranch/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected deleted file mode 100644 index 8164f4c6b5e..00000000000 --- a/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.expected +++ /dev/null @@ -1,12 +0,0 @@ -| TestThrow.java:33:8:33:13 | ... == ... | TestThrow.java:36:11:36:21 | if (...) | -| TestThrow.java:36:15:36:20 | ... == ... | TestThrow.java:39:11:39:21 | if (...) | -| TestThrow.java:39:15:39:20 | ... == ... | TestThrow.java:43:4:45:4 | { ... } | -| TestThrow.java:58:8:58:13 | ... == ... | TestThrow.java:62:9:62:19 | if (...) | -| TestThrow.java:62:13:62:18 | ... == ... | TestThrow.java:66:4:68:4 | { ... } | -| TestThrow.java:78:8:78:13 | ... == ... | TestThrow.java:81:3:83:3 | { ... } | -| TestThrow.java:89:9:89:14 | ... == ... | TestThrow.java:92:12:92:22 | if (...) | -| TestThrow.java:92:16:92:21 | ... == ... | TestThrow.java:96:5:98:5 | { ... } | -| TestThrow.java:108:9:108:14 | ... == ... | TestThrow.java:111:12:111:22 | if (...) | -| TestThrow.java:111:16:111:21 | ... == ... | TestThrow.java:114:12:114:22 | if (...) | -| TestThrow.java:114:16:114:21 | ... == ... | TestThrow.java:124:3:126:3 | { ... } | -| TestThrow.java:128:7:128:12 | ... == ... | TestThrow.java:133:3:133:9 | ; | diff --git a/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestThrow/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.expected deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestThrow2/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected deleted file mode 100644 index 139e00728a7..00000000000 --- a/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.expected +++ /dev/null @@ -1 +0,0 @@ -| TestTryCatch.java:27:19:27:24 | ... < ... | TestTryCatch.java:42:3:42:12 | ; | diff --git a/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestTryCatch/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor() diff --git a/java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected b/java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.expected deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql b/java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql deleted file mode 100644 index aee4021bee6..00000000000 --- a/java/ql/test/library-tests/successors/TestTryWithResources/FalseSuccessors.ql +++ /dev/null @@ -1,4 +0,0 @@ -import java - -from ConditionNode c -select c, c.getAFalseSuccessor()