|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CFGBuilder.Graph | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of CFGBuilder.Graph in tip.cfg |
---|
Subclasses of CFGBuilder.Graph in tip.cfg | |
---|---|
private static class |
CFGBuilder.ProgramPointGraph
|
Fields in tip.cfg declared as CFGBuilder.Graph | |
---|---|
CFGBuilder.Graph |
CFGBuilder.Vertex.parent
|
Fields in tip.cfg with type parameters of type CFGBuilder.Graph | |
---|---|
private java.util.HashMap<Node,CFGBuilder.Graph> |
CFGBuilder.graphMap
|
Methods in tip.cfg that return CFGBuilder.Graph | |
---|---|
private CFGBuilder.Graph |
CFGBuilder.filterGraph(CFGBuilder.Graph graph,
Node node)
|
private CFGBuilder.Graph |
CFGBuilder.getGraph(Node node)
|
Methods in tip.cfg with parameters of type CFGBuilder.Graph | |
---|---|
private CFGBuilder.Graph |
CFGBuilder.filterGraph(CFGBuilder.Graph graph,
Node node)
|
Method parameters in tip.cfg with type arguments of type CFGBuilder.Graph | |
---|---|
void |
CFGBuilder.ProgramPointGraph.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> programPointSet,
java.util.Set<CFGBuilder.Graph> graphSet)
|
Constructors in tip.cfg with parameters of type CFGBuilder.Graph | |
---|---|
CFGBuilder.EntryVertex(CFGBuilder.Graph parent)
|
|
CFGBuilder.ExitVertex(CFGBuilder.Graph parent)
|
|
CFGBuilder.Vertex(CFGBuilder.Graph parent)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |