|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.
Nested Class Summary | |
static interface |
ExceptionalGraph.ExceptionDest
Data structure to represent the fact that a given Trap will catch some subset of the exceptions
which may be thrown by a given graph node. |
Method Summary | |
Body |
getBody()
Returns the Body from which this graph was built. |
List |
getExceptionalPredsOf(Object n)
Returns a list of nodes which are predecessors of a given node when only exceptional control flow is considered. |
List |
getExceptionalSuccsOf(Object n)
Returns a list of nodes which are successors of a given node when only exceptional control flow is considered. |
Collection |
getExceptionDests(Object n)
Returns a collection of ExceptionDest
objects which represent how exceptions thrown by a specified
node will be handled. |
List |
getUnexceptionalPredsOf(Object n)
Returns a list of nodes which are predecessors of a given node when only unexceptional control flow is considered. |
List |
getUnexceptionalSuccsOf(Object n)
Returns a list of nodes which are successors of a given node when only unexceptional control flow is considered. |
Methods inherited from interface soot.toolkits.graph.DirectedGraph |
getHeads, getPredsOf, getSuccsOf, getTails, iterator, size |
Method Detail |
public Body getBody()
Body
from which this graph was built.
Body
from which this graph was built.public List getUnexceptionalPredsOf(Object n)
n
- The node whose predecessors are to be returned.
List
of the nodes in this graph from which
there is an unexceptional edge to n
.public List getUnexceptionalSuccsOf(Object n)
n
- The node whose successors are to be returned.
List
of nodes in this graph to which
there is an unexceptional edge from n
.public List getExceptionalPredsOf(Object n)
n
- The node whose predecessors are to be returned.
List
of nodes in this graph from which
there is an exceptional edge to n
.public List getExceptionalSuccsOf(Object n)
n
- The node whose successors are to be returned.
List
of nodes in this graph to which
there is an exceptional edge from n
.public Collection getExceptionDests(Object n)
ExceptionDest
objects which represent how exceptions thrown by a specified
node will be handled.
n
- The node for which to provide exception information.
ExceptionDest
objects describing
the traps and handlers, if any, which catch the exceptions
which may be thrown by n
.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |