soot.toolkits.graph
Class ExceptionalUnitGraph.ExceptionDest
java.lang.Object
soot.toolkits.graph.ExceptionalUnitGraph.ExceptionDest
- All Implemented Interfaces:
- ExceptionalGraph.ExceptionDest<Unit>
- Enclosing class:
- ExceptionalUnitGraph
public static class ExceptionalUnitGraph.ExceptionDest
- extends Object
- implements ExceptionalGraph.ExceptionDest<Unit>
Method Summary |
Unit |
getHandlerNode()
Returns the CFG node corresponding to the beginning of
the exception handler that catches the exceptions (that is,
the node that includes trap().getBeginUnit() ). |
ThrowableSet |
getThrowables()
Returns the exceptions thrown to this destination. |
Trap |
getTrap()
Returns the trap corresponding to this destination. |
String |
toString()
|
ExceptionalUnitGraph.ExceptionDest
protected ExceptionalUnitGraph.ExceptionDest(Trap trap,
ThrowableSet throwables)
getTrap
public Trap getTrap()
- Description copied from interface:
ExceptionalGraph.ExceptionDest
- Returns the trap corresponding to this destination.
- Specified by:
getTrap
in interface ExceptionalGraph.ExceptionDest<Unit>
- Returns:
- either a
Trap
representing the handler that
catches the exceptions, if there is such a handler within
the method, or null
if there is no such
handler and the exceptions cause the method to terminate
abruptly.
getThrowables
public ThrowableSet getThrowables()
- Description copied from interface:
ExceptionalGraph.ExceptionDest
- Returns the exceptions thrown to this destination.
- Specified by:
getThrowables
in interface ExceptionalGraph.ExceptionDest<Unit>
- Returns:
- a
ThrowableSet
representing
the exceptions which may be caught by this
ExceptionDest
's trap.
getHandlerNode
public Unit getHandlerNode()
- Description copied from interface:
ExceptionalGraph.ExceptionDest
- Returns the CFG node corresponding to the beginning of
the exception handler that catches the exceptions (that is,
the node that includes
trap().getBeginUnit()
).
- Specified by:
getHandlerNode
in interface ExceptionalGraph.ExceptionDest<Unit>
- Returns:
- the node in this graph which represents the
beginning of the handler which catches these exceptions, or
null
if there is no such handler and the
exceptions cause the method to terminate abruptly.
toString
public String toString()
- Overrides:
toString
in class Object