boomerang.poi

Class ExecuteImportFieldStmtPOI<W extends wpds.impl.Weight>

java.lang.Object

boomerang.poi.ExecuteImportFieldStmtPOI<W>

public abstract class ExecuteImportFieldStmtPOI<W extends wpds.impl.Weight>
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W>	baseAutomaton
protected ForwardBoomerangSolver<W>	baseSolver
protected ControlFlowGraph.Edge	curr
protected wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W>	flowAutomaton
protected ForwardBoomerangSolver<W>	flowSolver

Constructor Summary

Constructors

Constructor and Description
ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W> baseSolver, ForwardBoomerangSolver<W> flowSolver, AbstractPOI<ControlFlowGraph.Edge,Val,Field> poi)

Method Summary

Modifier and Type	Method and Description
abstract void	activate(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> start)
void	addReachable(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> node)
boolean	equals(Object obj)
protected void	flowsTo()
int	hashCode()
protected void	importFieldTransitionsStartingAt(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t, int importDepth)
void	solve()
void	trigger(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> start)

Methods inherited from class java.lang.Object

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

Field Detail

baseSolver

protected final ForwardBoomerangSolver<W extends wpds.impl.Weight> baseSolver

flowSolver

protected final ForwardBoomerangSolver<W extends wpds.impl.Weight> flowSolver

curr

protected final ControlFlowGraph.Edge curr

baseAutomaton

protected final wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight> baseAutomaton

flowAutomaton

protected final wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight> flowAutomaton

Constructor Detail

ExecuteImportFieldStmtPOI

public ExecuteImportFieldStmtPOI(ForwardBoomerangSolver<W> baseSolver,
                                 ForwardBoomerangSolver<W> flowSolver,
                                 AbstractPOI<ControlFlowGraph.Edge,Val,Field> poi)

Method Detail

solve

public void solve()

flowsTo

protected void flowsTo()

importFieldTransitionsStartingAt

protected void importFieldTransitionsStartingAt(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t,
                                                int importDepth)

addReachable

public void addReachable(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> node)

activate

public abstract void activate(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> start)

trigger

public void trigger(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> start)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object