soot.dava.toolkits.base.finders
Class ExceptionNode
java.lang.Object
|
+--soot.dava.toolkits.base.finders.ExceptionNode
- public class ExceptionNode
- extends java.lang.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(java.util.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 java.util.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 java.util.List get_CatchList()
get_ExceptionMap
public java.util.Map get_ExceptionMap()
get_Exception
public SootClass get_Exception()
get_Exception
public SootClass get_Exception(IterableSet catchBody)
dump
public void dump()