|
|||||||||
| 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,
ArrayRefBlockGraph| Field Summary | |
static int |
ARRAYREF
|
static int |
BRIEF
|
static int |
COMPLETE
|
static int |
ZONED
|
| Constructor Summary | |
BlockGraph(Body aBody,
int type)
Constructs a BlockGraph 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, COMPLETE, or
ARRAYREF.CompleteBlockGraph,
BriefBlockGraph,
ZonedBlockGraph,
ArrayRefBlockGraph| Method Detail |
public Body getBody()
BlockGraph,
Bodypublic java.util.List getBlocks()
Blockpublic java.lang.String toString()
public java.util.List getHeads()
public java.util.List getTails()
public java.util.List getPredsOf(java.lang.Object s)
public java.util.List getSuccsOf(java.lang.Object s)
public int size()
public java.util.Iterator iterator()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||