Package soot.dava.toolkits.base.finders

Class IfFinder

java.lang.Object

soot.dava.toolkits.base.finders.IfFinder

All Implemented Interfaces:

FactFinder

public class IfFinder
extends Object
implements FactFinder

Constructor Summary

Constructors

Constructor	Description
IfFinder(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
void	find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
static IfFinder	v()

Methods inherited from class java.lang.Object

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

Constructor Detail

IfFinder

public IfFinder(Singletons.Global g)

Method Detail

v

public static IfFinder v()

find

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

Specified by:

find in interface FactFinder

Throws:

RetriggerAnalysisException