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

ExceptionFinder(Singletons.Global g)

Method Summary

void	find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
IterableSet	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 get_CatchBody(AugmentedStmt handlerAugmentedStmt)