Module Dominance

Provides classes and predicates for control-flow graph dominance.

Import path

import semmle.code.java.controlflow.Dominance

java	Provides all default Java QL imports.

dominanceFrontier	The dominance frontier relation for basic blocks.
dominates	Holds if `dom` dominates `node`. (This is reflexive.)
iDominates	Immediate dominance relation on control-flow graph nodes.
postDominates	Holds if `dom` post-dominates `node`. (This is reflexive.)
strictlyDominates	Holds if `dom` strictly dominates `node`.
strictlyPostDominates	Holds if `dom` strictly post-dominates `node`.