Package com.tonic.analysis.ssa.cfg

The control flow graph: methods, blocks, edges and exception handlers.

Class Summary

Class	Description
ExceptionHandler	One exception-table entry: a protected try region and the block handling its catch type.
IRBlock	A basic block in the SSA CFG, holding phi instructions ahead of its regular instructions.
IRMethod	A method in SSA form: its CFG blocks plus parameters, exception handlers, and lowering metadata.
IRMethod.SourceLocal	A source-declared variable (the receiver, a parameter, or a body local) and the SSA value(s) it lowered to.

Enum Summary

Enum	Description
EdgeType	Types of edges in the control flow graph.