boomerang.poi

Class CopyAccessPathChain<W extends wpds.impl.Weight>

java.lang.Object

boomerang.poi.CopyAccessPathChain<W>

public class CopyAccessPathChain<W extends wpds.impl.Weight>
extends Object

Constructor Summary

Constructors

Constructor and Description
CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver, BackwardBoomerangSolver<W> backwardSolver, ControlFlowGraph.Edge fieldWriteStatement, wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition)

Method Summary

Modifier and Type	Method and Description
void	addReachable(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> node)
boolean	equals(Object obj)
void	exec()
int	hashCode()

Methods inherited from class java.lang.Object

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

Constructor Detail

CopyAccessPathChain

public CopyAccessPathChain(ForwardBoomerangSolver<W> forwardSolver,
                           BackwardBoomerangSolver<W> backwardSolver,
                           ControlFlowGraph.Edge fieldWriteStatement,
                           wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> killedTransition)

Method Detail

exec

public void exec()

addReachable

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object