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 Object
implements ExceptionalGraph.ExceptionDest<Block>

Constructor Summary

protected

ExceptionalBlockGraph.ExceptionDest(Trap trap, ThrowableSet throwables, Block handler)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExceptionalBlockGraph.ExceptionDest

protected ExceptionalBlockGraph.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 String toString()

Overrides:

toString in class Object