|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |