|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CFGBuilder.Vertex | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of CFGBuilder.Vertex in tip.cfg |
---|
Subclasses of CFGBuilder.Vertex in tip.cfg | |
---|---|
private static class |
CFGBuilder.EntryVertex
|
private static class |
CFGBuilder.ExitVertex
|
Fields in tip.cfg declared as CFGBuilder.Vertex | |
---|---|
protected CFGBuilder.Vertex |
CFGBuilder.Graph.innerEntry
|
protected CFGBuilder.Vertex |
CFGBuilder.Graph.innerExit
|
protected CFGBuilder.Vertex |
CFGBuilder.Graph.outerEntry
|
protected CFGBuilder.Vertex |
CFGBuilder.Graph.outerExit
|
Fields in tip.cfg with type parameters of type CFGBuilder.Vertex | |
---|---|
java.util.Set<CFGBuilder.Vertex> |
CFGBuilder.Vertex.edges
|
protected java.util.Map<java.lang.String,CFGBuilder.Vertex> |
CFGBuilder.Graph.entryMap
|
protected java.util.Map<java.lang.String,CFGBuilder.Vertex> |
CFGBuilder.Graph.exitMap
|
Methods in tip.cfg that return CFGBuilder.Vertex | |
---|---|
CFGBuilder.Vertex |
CFGBuilder.Graph.getEntry()
|
CFGBuilder.Vertex |
CFGBuilder.Graph.getEntry(java.lang.String label)
|
CFGBuilder.Vertex |
CFGBuilder.Graph.getExit()
|
CFGBuilder.Vertex |
CFGBuilder.Graph.getExit(java.lang.String label)
|
CFGBuilder.Vertex |
CFGBuilder.Graph.getInnerEntry()
|
CFGBuilder.Vertex |
CFGBuilder.Graph.getInnerExit()
|
Method parameters in tip.cfg with type arguments of type CFGBuilder.Vertex | |
---|---|
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 |