boomerang.results

Class ExtractAllocationSiteStateListener<W extends Weight>

java.lang.Object

wpds.interfaces.WPAStateListener<Field,INode<Node<Statement,Val>>,W>

boomerang.results.ExtractAllocationSiteStateListener<W>

public abstract class ExtractAllocationSiteStateListener<W extends Weight>
extends WPAStateListener<Field,INode<Node<Statement,Val>>,W>

Field Summary

Fields inherited from class wpds.interfaces.WPAStateListener

state

Constructor Summary

Constructors

Constructor and Description
ExtractAllocationSiteStateListener(INode<Node<Statement,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(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)
void	onOutTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,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(INode<Node<Statement,Val>> state,
                                          BackwardQuery bwQuery,
                                          ForwardQuery query)

Method Detail

onOutTransitionAdded

public void onOutTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t,
                                 W w,
                                 WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)

Specified by:

onOutTransitionAdded in class WPAStateListener<Field,INode<Node<Statement,Val>>,W extends Weight>

onInTransitionAdded

public void onInTransitionAdded(Transition<Field,INode<Node<Statement,Val>>> t,
                                W w,
                                WeightedPAutomaton<Field,INode<Node<Statement,Val>>,W> weightedPAutomaton)

Specified by:

onInTransitionAdded in class WPAStateListener<Field,INode<Node<Statement,Val>>,W extends Weight>

allocationSiteFound

protected abstract void allocationSiteFound(ForwardQuery allocationSite,
                                            BackwardQuery query)

hashCode

public int hashCode()

Overrides:

hashCode in class WPAStateListener<Field,INode<Node<Statement,Val>>,W extends Weight>

equals

public boolean equals(Object obj)

Overrides:

equals in class WPAStateListener<Field,INode<Node<Statement,Val>>,W extends Weight>