boomerang.results

Class ExtractAllAliasListener<W extends wpds.impl.Weight>

java.lang.Object

boomerang.results.ExtractAllAliasListener<W>

All Implemented Interfaces:

sync.pds.solver.SyncPDSUpdateListener<ControlFlowGraph.Edge,Val>

public class ExtractAllAliasListener<W extends wpds.impl.Weight>
extends Object
implements sync.pds.solver.SyncPDSUpdateListener<ControlFlowGraph.Edge,Val>

Constructor Summary

Constructors

Constructor and Description
ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver, Set<AccessPath> results, ControlFlowGraph.Edge stmt)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtractAllAliasListener

public ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver,
                               Set<AccessPath> results,
                               ControlFlowGraph.Edge stmt)

Method Detail

onReachableNodeAdded

public void onReachableNodeAdded(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> reachableNode)

Specified by:

onReachableNodeAdded in interface sync.pds.solver.SyncPDSUpdateListener<ControlFlowGraph.Edge,Val>

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object