CodeQL library for Java
codeql/java-all 0.6.1 ( changelog , source )
Search

Member predicate Guard :: directlyControls

Holds if this guard evaluating to branch directly controls the block controlled. That is, the true- or false-successor of this guard (as given by branch) dominates controlled.

predicate directlyControls ( BasicBlock controlled , boolean branch )