Package soot.dava.toolkits.base.finders

Class ExceptionFinder

java.lang.Object

soot.dava.toolkits.base.finders.ExceptionFinder

All Implemented Interfaces:

FactFinder

public class ExceptionFinder
extends Object
implements FactFinder

Constructor Summary

Constructors

Constructor	Description
ExceptionFinder(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
void	find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
IterableSet<AugmentedStmt>	get_CatchBody(AugmentedStmt handlerAugmentedStmt)
void	preprocess(DavaBody body, AugmentedStmtGraph asg)
static ExceptionFinder	v()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExceptionFinder

public ExceptionFinder(Singletons.Global g)

Method Detail

v

public static ExceptionFinder v()

find

public void find(DavaBody body,
                 AugmentedStmtGraph asg,
                 SETNode SET)
          throws RetriggerAnalysisException

Specified by:

find in interface FactFinder

Throws:

RetriggerAnalysisException

preprocess

public void preprocess(DavaBody body,
                       AugmentedStmtGraph asg)

get_CatchBody

public IterableSet<AugmentedStmt> get_CatchBody(AugmentedStmt handlerAugmentedStmt)