public static class ExceptionalBlockGraph.ExceptionDest extends java.lang.Object implements ExceptionalGraph.ExceptionDest<Block>
Modifier | Constructor and Description |
---|---|
protected |
ExceptionDest(Trap trap,
ThrowableSet throwables,
Block handler) |
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() |
protected ExceptionDest(Trap trap, ThrowableSet throwables, Block handler)
public Trap getTrap()
ExceptionalGraph.ExceptionDest
getTrap
in interface ExceptionalGraph.ExceptionDest<Block>
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.public ThrowableSet getThrowables()
ExceptionalGraph.ExceptionDest
getThrowables
in interface ExceptionalGraph.ExceptionDest<Block>
ThrowableSet
representing
the exceptions which may be caught by this
ExceptionDest
's trap.public Block getHandlerNode()
ExceptionalGraph.ExceptionDest
trap().getBeginUnit()
).getHandlerNode
in interface ExceptionalGraph.ExceptionDest<Block>
null
if there is no such handler and the
exceptions cause the method to terminate abruptly.public java.lang.String toString()
toString
in class java.lang.Object