Module BasicBlocks

Provides classes and predicates for working with basic blocks in Java.

Import path

import semmle.code.java.controlflow.BasicBlocks

Dominance	Provides classes and predicates for control-flow graph dominance.
java	Provides all default Java QL imports.

BasicBlock	A control-flow node that represents the start of a basic block.
ExitBlock	A basic block that ends in an exit node.