Files
codeql/java/ql/test/library-tests/successors/TestFinallyBreakContinue/TestSucc.ql
2018-10-11 11:31:37 +02:00

9 lines
223 B
Plaintext

import java
from ControlFlowNode n, ControlFlowNode succ
where
succ = n.getASuccessor() and
n.getLocation().getFile().getExtension() = "java" and
not n.getFile().getStem() = "PopulateRuntimeException"
select n, succ