boomerang.poi

Class ExecuteImportFieldStmtPOI<W extends Weight>

java.lang.Object

boomerang.poi.ExecuteImportFieldStmtPOI<W>

public abstract class ExecuteImportFieldStmtPOI<W extends Weight>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	baseAutomaton
protected AbstractBoomerangSolver<W>	baseSolver
protected Statement	curr
protected WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W>	flowAutomaton
protected AbstractBoomerangSolver<W>	flowSolver
protected Statement	succ

Constructor Summary

Constructors

Constructor and Description
ExecuteImportFieldStmtPOI(WeightedBoomerang<W> boomerang, AbstractBoomerangSolver<W> baseSolver, AbstractBoomerangSolver<W> flowSolver, AbstractPOI<Statement,Val,Field> poi, Statement succ)

Method Summary

Modifier and Type	Method and Description
abstract void	activate(INode<Node<Statement,Val>> start)
boolean	equals(Object obj)
protected void	flowsTo()
int	hashCode()
protected void	importStartingFrom(Transition<Field,INode<Node<Statement,Val>>> t)
protected boolean	isBackward()
void	solve()
void	trigger(INode<Node<Statement,Val>> start)

Methods inherited from class java.lang.Object

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

Field Detail

baseSolver

protected final AbstractBoomerangSolver<W extends Weight> baseSolver

flowSolver

protected final AbstractBoomerangSolver<W extends Weight> flowSolver

curr

protected final Statement curr

succ

protected final Statement succ

baseAutomaton

protected final WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W extends Weight> baseAutomaton

flowAutomaton

protected final WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W extends Weight> flowAutomaton

Constructor Detail

ExecuteImportFieldStmtPOI

public ExecuteImportFieldStmtPOI(WeightedBoomerang<W> boomerang,
                                 AbstractBoomerangSolver<W> baseSolver,
                                 AbstractBoomerangSolver<W> flowSolver,
                                 AbstractPOI<Statement,Val,Field> poi,
                                 Statement succ)

Method Detail

solve

public void solve()

flowsTo

protected void flowsTo()

isBackward

protected boolean isBackward()

importStartingFrom

protected void importStartingFrom(Transition<Field,INode<Node<Statement,Val>>> t)

activate

public abstract void activate(INode<Node<Statement,Val>> start)

trigger

public void trigger(INode<Node<Statement,Val>> start)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object