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

CycleFinder(Singletons.Global g)

Method Summary

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