soot.dava.toolkits.base.finders
Class SequenceFinder

java.lang.Object
  soot.dava.toolkits.base.finders.SequenceFinder

All Implemented Interfaces:

FactFinder

public class SequenceFinder
extends Object
implements FactFinder

Constructor Summary

SequenceFinder(Singletons.Global g)

Method Summary

void	find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> 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

Throws:

RetriggerAnalysisException

find_StatementSequences

public void find_StatementSequences(SETNode SETParent,
                                    IterableSet body,
                                    HashSet<AugmentedStmt> childUnion,
                                    DavaBody davaBody)