Uses of Package
edu.cmu.cs.crystal.cfg

Packages that use edu.cmu.cs.crystal.cfg
edu.cmu.cs.crystal.cfg An internal package for defining a control flow graph. 
edu.cmu.cs.crystal.cfg.eclipse An internal package for creating a control flow graph from Eclipse. 
edu.cmu.cs.crystal.flow.worklist An internal package for running a flow analysis. 
 

Classes in edu.cmu.cs.crystal.cfg used by edu.cmu.cs.crystal.cfg
BlockStack
          Protocol to using block Stack is: call push/pop labeled and push/pop breakable in pairs.
ICFGEdge
          Abstract TODO: define subclasses for exceptions, normal, true, false, switch edges
ICFGNode
          Abstract
 

Classes in edu.cmu.cs.crystal.cfg used by edu.cmu.cs.crystal.cfg.eclipse
ICFGEdge
          Abstract TODO: define subclasses for exceptions, normal, true, false, switch edges
ICFGNode
          Abstract
IControlFlowGraph
           
 

Classes in edu.cmu.cs.crystal.cfg used by edu.cmu.cs.crystal.flow.worklist
ICFGNode
          Abstract
IControlFlowGraph