soot.dava.toolkits.base.finders
Class ExceptionNode

java.lang.Object
  extended by soot.dava.toolkits.base.finders.ExceptionNode

public class ExceptionNode
extends Object


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

Constructor Detail

ExceptionNode

public ExceptionNode(IterableSet tryBody,
                     SootClass exception,
                     AugmentedStmt handlerAugmentedStmt)
Method Detail

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()