Package 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 Description ExtractAllAliasListener(AbstractBoomerangSolver<W> fwSolver, Set<AccessPath> results, ControlFlowGraph.Edge stmt)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)inthashCode()voidonReachableNodeAdded(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> reachableNode)
-
-
-
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:
onReachableNodeAddedin interfacesync.pds.solver.SyncPDSUpdateListener<ControlFlowGraph.Edge,Val>
-
-