|
|||||||||
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
,
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(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 |