|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.graph.BlockGraph
Implements a CFG for a Body instance where the nodes are Block instances. It is a generic implementation used by more specific classes such as BriefBlockGraph.
BriefBlockGraph
,
CompleteBlockGraph
,
ZonedBlockGraph
Method Summary | |
java.util.List |
getBlocks()
Returns a list of the Blocks composing this graph. |
Body |
getBody()
Returns the underlying Body instance this BlockGraph is derived from. |
java.util.List |
getHeads()
Returns a list of entry points for this graph. |
java.util.List |
getPredsOf(Directed s)
Returns a list of predecessors for the given node in the graph. |
java.util.List |
getSuccsOf(Directed s)
Returns a list of successors for the given node in the graph. |
java.util.List |
getTails()
Returns a list of exit points for this graph. |
java.util.Iterator |
iterator()
Returns an iterator for the nodes in this graph. |
int |
size()
Returns the node count for this graph. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Method Detail |
public Body getBody()
BlockGraph
,
Body
public java.util.List getBlocks()
Block
public java.lang.String toString()
public java.util.List getHeads()
public java.util.List getTails()
public java.util.List getPredsOf(Directed s)
Directed
public java.util.List getSuccsOf(Directed s)
Directed
public int size()
Directed
public java.util.Iterator iterator()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |