Package edu.cmu.cs.crystal.cfg

An internal package for defining a control flow graph.

See:
          Description

Interface Summary
ICFGEdge<N> Abstract TODO: define subclasses for exceptions, normal, true, false, switch edges
ICFGNode<N> Abstract
IControlFlowGraph<N>  
 

Class Summary
BlockStack<Node extends ICFGNode> Protocol to using block Stack is: call push/pop labeled and push/pop breakable in pairs.
ExceptionMap<N,Node extends ICFGNode<N>> This class maintains the exception information for the CFG algorithm while it is building the graph.
 

Package edu.cmu.cs.crystal.cfg Description

An internal package for defining a control flow graph. Do not use.