soot.dava.toolkits.base.finders
Class SequenceFinder

java.lang.Object
  |
  +--soot.dava.toolkits.base.finders.SequenceFinder

public class SequenceFinder
extends java.lang.Object
implements FactFinder


Constructor Summary
SequenceFinder(Singletons.Global g)
           
 
Method Summary
 void find_StatementSequences(SETNode SETParent, IterableSet body, java.util.HashSet childUnion, DavaBody davaBody)
           
 void find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
           
static SequenceFinder v()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SequenceFinder

public SequenceFinder(Singletons.Global g)
Method Detail

v

public static SequenceFinder v()

find

public void find(DavaBody body,
                 AugmentedStmtGraph asg,
                 SETNode SET)
          throws RetriggerAnalysisException
Specified by:
find in interface FactFinder

find_StatementSequences

public void find_StatementSequences(SETNode SETParent,
                                    IterableSet body,
                                    java.util.HashSet childUnion,
                                    DavaBody davaBody)