|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.TrapManager
Utility methods for dealing with traps.
Constructor Summary | |
TrapManager()
|
Method Summary | |
static List |
getExceptionTypesOf(Unit u,
Body body)
Given a body and a unit handling an exception, returns the list of exception types possibly caught by the handler. |
static Set |
getTrappedUnitsOf(Body b)
Returns a set of units which lie inside the range of any trap. |
static List |
getTrapsAt(Unit unit,
Body b)
Returns the list of traps caught at Unit u in Body b. |
static boolean |
isExceptionCaughtAt(SootClass e,
Unit u,
Body b)
If exception e is caught at unit u in body b, return true; otherwise, return false. |
static void |
splitTrapsAgainst(Body b,
Unit rangeStart,
Unit rangeEnd)
Splits all traps so that they do not cross the range rangeStart - rangeEnd. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TrapManager()
Method Detail |
public static boolean isExceptionCaughtAt(SootClass e, Unit u, Body b)
public static List getTrapsAt(Unit unit, Body b)
public static Set getTrappedUnitsOf(Body b)
public static void splitTrapsAgainst(Body b, Unit rangeStart, Unit rangeEnd)
public static List getExceptionTypesOf(Unit u, Body body)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |