Module Dominance
Provides classes and predicates for control-flow graph dominance.
Import path
import semmle.code.java.controlflow.Dominance
Imports
java |
Provides all default Java QL imports. |
Predicates
bbDominates |
Holds if |
bbIDominates |
The immediate dominance relation for basic blocks. |
bbIPostDominates |
The immediate post-dominance relation on basic blocks. |
bbPostDominates |
Holds if |
bbStrictlyDominates |
Holds if |
bbStrictlyPostDominates |
Holds if |
dominanceFrontier |
The dominance frontier relation for basic blocks. |
dominates |
Holds if |
dominatingEdge |
Holds if |
hasDominanceInformation |
Holds if the dominance relation is calculated for |
iDominates |
Immediate dominance relation on control-flow graph nodes. |
postDominates |
Holds if |
strictlyDominates |
Holds if |
strictlyPostDominates |
Holds if |