Module BasicBlocks
Provides classes and predicates for working with basic blocks in Java.
Import path
import semmle.code.java.controlflow.BasicBlocks
Imports
Dominance | Provides classes and predicates for control-flow graph dominance. |
Make<Location::Location, BasicBlocks::Input> | Provides a basic block construction on top of a control flow graph. |
java | Provides all default Java QL imports. |
Predicates
hasDominanceInformation | Holds if the dominance relation is calculated for |
Classes
BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
ExitBlock | A basic block that ends in an exit node. |