soot.toolkits.graph

Class ExceptionalBlockGraph.ExceptionDest

java.lang.Object

soot.toolkits.graph.ExceptionalBlockGraph.ExceptionDest

All Implemented Interfaces:

ExceptionalGraph.ExceptionDest<Block>

Enclosing class:

ExceptionalBlockGraph

public static class ExceptionalBlockGraph.ExceptionDest
extends java.lang.Object
implements ExceptionalGraph.ExceptionDest<Block>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExceptionDest(Trap trap, ThrowableSet throwables, Block handler)

Method Summary

Modifier and Type	Method and Description
Block	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

ExceptionDest

protected ExceptionDest(Trap trap,
                        ThrowableSet throwables,
                        Block handler)

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<Block>

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<Block>

Returns:

a ThrowableSet representing the exceptions which may be caught by this ExceptionDest's trap.

getHandlerNode

public Block 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<Block>

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