Provides classes and predicates for computing expression-level intra-procedural control flow graphs.
The only API exported by this library are the toplevel classes
and its subclass
ConditionNode, which wrap the successor relation and the
concept of true- and false-successors of conditions. A cfg node may either be a
statement, an expression, or the enclosing callable, indicating that
execution of the callable terminates.
Provides all default Java QL imports.