|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.TrapManager
public class 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<Trap> |
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<Trap> 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 | |||||||||