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 java.lang.Object
implements ExceptionalGraph.ExceptionDest<Unit>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExceptionalUnitGraph.ExceptionDest(Trap trap, ThrowableSet throwables)

Method Summary

Methods

Modifier and Type	Method and Description
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.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExceptionalUnitGraph.ExceptionDest

protected ExceptionalUnitGraph.ExceptionDest(Trap trap,
                                  ThrowableSet throwables)

Method Detail

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 java.lang.String toString()

Overrides:

toString in class java.lang.Object