|
||||||||||
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
,
Body
public java.util.List getBlocks()
Block
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List getHeads()
DirectedGraph
getHeads
in interface DirectedGraph
public java.util.List getTails()
DirectedGraph
getTails
in interface DirectedGraph
public java.util.List getPredsOf(java.lang.Object s)
DirectedGraph
getPredsOf
in interface DirectedGraph
public java.util.List getSuccsOf(java.lang.Object s)
DirectedGraph
getSuccsOf
in interface DirectedGraph
public int size()
DirectedGraph
size
in interface DirectedGraph
public 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 |