soot.dava.toolkits.base.finders
Class ExceptionNode
java.lang.Object
soot.dava.toolkits.base.finders.ExceptionNode
public class ExceptionNode
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExceptionNode
public ExceptionNode(IterableSet tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt)
add_TryStmts
public boolean add_TryStmts(Collection c)
add_TryStmt
public boolean add_TryStmt(AugmentedStmt as)
refresh_CatchBody
public void refresh_CatchBody(ExceptionFinder ef)
get_Body
public IterableSet get_Body()
get_TryBody
public IterableSet get_TryBody()
get_CatchBody
public IterableSet get_CatchBody()
remove
public boolean remove(AugmentedStmt as)
get_CatchExits
public List get_CatchExits()
splitOff_ExceptionNode
public void splitOff_ExceptionNode(IterableSet newTryBody,
AugmentedStmtGraph asg,
IterableSet enlist)
add_CatchBody
public void add_CatchBody(ExceptionNode other)
add_CatchBody
public void add_CatchBody(IterableSet newCatchBody,
SootClass except)
get_CatchList
public List get_CatchList()
get_ExceptionMap
public Map get_ExceptionMap()
get_Exception
public SootClass get_Exception()
get_Exception
public SootClass get_Exception(IterableSet catchBody)
dump
public void dump()