|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | 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,
ArrayRefBlockGraph| Field Summary | |
static int |
ARRAYREF
|
static int |
BRIEF
|
static int |
COMPLETE
|
static int |
ZONED
|
| Constructor Summary | |
BlockGraph(Body aBody,
int type)
Constructs a BriefBlockGraph from a given Body instance. |
|
| 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(java.lang.Object s)
Returns a list of predecessors for the given node in the graph. |
java.util.List |
getSuccsOf(java.lang.Object 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 |
| Field Detail |
public static final int COMPLETE
public static final int BRIEF
public static final int ZONED
public static final int ARRAYREF
| Constructor Detail |
public BlockGraph(Body aBody,
int type)
aBody - The Body instance we want a graph for.type - Specifies the type of graph to build.
This can be BRIEF, ZONED or COMPLETE.CompleteBlockGraph,
BriefBlockGraph,
ZonedBlockGraph,
ArrayRefBlockGraph| Method Detail |
public Body getBody()
BlockGraph,
Bodypublic java.util.List getBlocks()
Blockpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.util.List getHeads()
DirectedGraph
getHeads in interface DirectedGraphpublic java.util.List getTails()
DirectedGraph
getTails in interface DirectedGraphpublic java.util.List getPredsOf(java.lang.Object s)
DirectedGraph
getPredsOf in interface DirectedGraphpublic java.util.List getSuccsOf(java.lang.Object s)
DirectedGraph
getSuccsOf in interface DirectedGraphpublic int size()
DirectedGraph
size in interface DirectedGraphpublic java.util.Iterator iterator()
DirectedGraph
iterator in interface DirectedGraph
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||