boomerang.results

Class ExtractAllocationSiteStateListener<W extends wpds.impl.Weight>

java.lang.Object

wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W>

boomerang.results.ExtractAllocationSiteStateListener<W>

public abstract class ExtractAllocationSiteStateListener<W extends wpds.impl.Weight>
extends wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W>

Field Summary

Fields inherited from class wpds.interfaces.WPAStateListener

state

Constructor Summary

Constructors

Constructor and Description
ExtractAllocationSiteStateListener(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> state, BackwardQuery bwQuery, ForwardQuery query)

Method Summary

Modifier and Type	Method and Description
protected abstract void	allocationSiteFound(ForwardQuery allocationSite, BackwardQuery query)
boolean	equals(Object obj)
int	hashCode()
void	onInTransitionAdded(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t, W w, wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> weightedPAutomaton)
void	onOutTransitionAdded(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t, W w, wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> weightedPAutomaton)

Methods inherited from class wpds.interfaces.WPAStateListener

getState

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtractAllocationSiteStateListener

public ExtractAllocationSiteStateListener(sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> state,
                                          BackwardQuery bwQuery,
                                          ForwardQuery query)

Method Detail

onOutTransitionAdded

public void onOutTransitionAdded(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t,
                                 W w,
                                 wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> weightedPAutomaton)

Specified by:

onOutTransitionAdded in class wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight>

onInTransitionAdded

public void onInTransitionAdded(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t,
                                W w,
                                wpds.impl.WeightedPAutomaton<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W> weightedPAutomaton)

Specified by:

onInTransitionAdded in class wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight>

allocationSiteFound

protected abstract void allocationSiteFound(ForwardQuery allocationSite,
                                            BackwardQuery query)

hashCode

public int hashCode()

Overrides:

hashCode in class wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class wpds.interfaces.WPAStateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight>