|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CFGBuilder.ProgramPointGraph | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of CFGBuilder.ProgramPointGraph in tip.cfg |
---|
Fields in tip.cfg declared as CFGBuilder.ProgramPointGraph | |
---|---|
private CFGBuilder.ProgramPointGraph |
CFGBuilder.currentEntryPoint
|
private CFGBuilder.ProgramPointGraph |
CFGBuilder.currentExitPoint
|
Methods in tip.cfg with parameters of type CFGBuilder.ProgramPointGraph | |
---|---|
private void |
CFGBuilder.collectProgramPoints(CCFG cfg,
CFGBuilder.ProgramPointGraph graph)
|
Method parameters in tip.cfg with type arguments of type CFGBuilder.ProgramPointGraph | |
---|---|
void |
CFGBuilder.ProgramPointGraph.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> programPointSet,
java.util.Set<CFGBuilder.Graph> graphSet)
|
abstract void |
CFGBuilder.Vertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet,
java.util.Set<CFGBuilder.Vertex> vertexSet)
|
void |
CFGBuilder.EntryVertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet,
java.util.Set<CFGBuilder.Vertex> vertexSet)
|
void |
CFGBuilder.ExitVertex.getSuccessorPoints(java.util.Set<CFGBuilder.ProgramPointGraph> successorSet,
java.util.Set<CFGBuilder.Vertex> vertexSet)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |