Package soot.dava.toolkits.base.finders

Class CycleFinder

java.lang.Object

soot.dava.toolkits.base.finders.CycleFinder

All Implemented Interfaces:

FactFinder

public class CycleFinder
extends Object
implements FactFinder

Constructor Summary

Constructors

Constructor	Description
CycleFinder(Singletons.Global g)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CycleFinder

public CycleFinder(Singletons.Global g)

Method Detail

v

public static CycleFinder v()

find

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

Specified by:

find in interface FactFinder

Throws:

RetriggerAnalysisException