soot.dava.toolkits.base.finders

Class IfFinder

java.lang.Object

soot.dava.toolkits.base.finders.IfFinder

All Implemented Interfaces:

FactFinder

public class IfFinder
extends java.lang.Object
implements FactFinder

Constructor Summary

Constructors

Constructor and Description
IfFinder(Singletons.Global g)

Method Summary

Modifier and Type	Method and 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