soot.dava.toolkits.base.finders

Class ExceptionNode

java.lang.Object

soot.dava.toolkits.base.finders.ExceptionNode

public class ExceptionNode
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ExceptionNode(IterableSet<AugmentedStmt> tryBody, SootClass exception, AugmentedStmt handlerAugmentedStmt)

Method Summary

Modifier and Type	Method and Description
void	add_CatchBody(ExceptionNode other)
void	add_CatchBody(IterableSet<AugmentedStmt> newCatchBody, SootClass except)
boolean	add_TryStmt(AugmentedStmt as)
boolean	add_TryStmts(java.util.Collection<AugmentedStmt> c)
void	dump()
IterableSet<AugmentedStmt>	get_Body()
IterableSet<AugmentedStmt>	get_CatchBody()
java.util.List<AugmentedStmt>	get_CatchExits()
java.util.List<IterableSet<AugmentedStmt>>	get_CatchList()
SootClass	get_Exception()
SootClass	get_Exception(IterableSet<AugmentedStmt> catchBody)
java.util.Map<IterableSet<AugmentedStmt>,SootClass>	get_ExceptionMap()
IterableSet<AugmentedStmt>	get_TryBody()
void	refresh_CatchBody(ExceptionFinder ef)
boolean	remove(AugmentedStmt as)
void	splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody, AugmentedStmtGraph asg, IterableSet<ExceptionNode> 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<AugmentedStmt> tryBody,
                     SootClass exception,
                     AugmentedStmt handlerAugmentedStmt)

Method Detail

add_TryStmts

public boolean add_TryStmts(java.util.Collection<AugmentedStmt> c)

add_TryStmt

public boolean add_TryStmt(AugmentedStmt as)

refresh_CatchBody

public void refresh_CatchBody(ExceptionFinder ef)

get_Body

public IterableSet<AugmentedStmt> get_Body()

get_TryBody

public IterableSet<AugmentedStmt> get_TryBody()

get_CatchBody

public IterableSet<AugmentedStmt> get_CatchBody()

remove

public boolean remove(AugmentedStmt as)

get_CatchExits

public java.util.List<AugmentedStmt> get_CatchExits()

splitOff_ExceptionNode

public void splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
                                   AugmentedStmtGraph asg,
                                   IterableSet<ExceptionNode> enlist)

add_CatchBody

public void add_CatchBody(ExceptionNode other)

add_CatchBody

public void add_CatchBody(IterableSet<AugmentedStmt> newCatchBody,
                          SootClass except)

get_CatchList

public java.util.List<IterableSet<AugmentedStmt>> get_CatchList()

get_ExceptionMap

public java.util.Map<IterableSet<AugmentedStmt>,SootClass> get_ExceptionMap()

get_Exception

public SootClass get_Exception()

get_Exception

public SootClass get_Exception(IterableSet<AugmentedStmt> catchBody)

dump

public void dump()