Package 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

Constructors

Constructor	Description
SequenceFinder(Singletons.Global g)

Method Summary

Modifier and Type	Method	Description
void	find(DavaBody body, AugmentedStmtGraph asg, SETNode SET)
void	find_StatementSequences(SETNode SETParent, IterableSet body, HashSet<AugmentedStmt> childUnion, DavaBody davaBody)
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)