Uses of Class
soot.dava.toolkits.base.finders.ExceptionNode

Packages that use ExceptionNode

Package	Description
soot.dava
soot.dava.internal.SET
soot.dava.toolkits.base.finders

Uses of ExceptionNode in soot.dava

Methods in soot.dava that return types with arguments of type ExceptionNode

Modifier and Type	Method and Description
IterableSet<ExceptionNode>	DavaBody.get_ExceptionFacts()
IterableSet<ExceptionNode>	DavaBody.get_SynchronizedBlockFacts()

Uses of ExceptionNode in soot.dava.internal.SET

Constructors in soot.dava.internal.SET with parameters of type ExceptionNode

Constructor and Description
SETSynchronizedBlockNode(ExceptionNode en, Value local)
SETTryNode(IterableSet body, ExceptionNode en, AugmentedStmtGraph asg, DavaBody davaBody)

Uses of ExceptionNode in soot.dava.toolkits.base.finders

Methods in soot.dava.toolkits.base.finders with parameters of type ExceptionNode

Modifier and Type	Method and Description
void	ExceptionNode.add_CatchBody(ExceptionNode other)

Method parameters in soot.dava.toolkits.base.finders with type arguments of type ExceptionNode

Modifier and Type	Method and Description
void	ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody, AugmentedStmtGraph asg, IterableSet<ExceptionNode> enlist)