boomerang.solver

Class ControlFlowEdgeBasedFieldTransitionListener<W extends wpds.impl.Weight>

java.lang.Object

boomerang.solver.ControlFlowEdgeBasedFieldTransitionListener<W>

All Implemented Interfaces:

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

public abstract class ControlFlowEdgeBasedFieldTransitionListener<W extends wpds.impl.Weight>
extends Object
implements wpds.interfaces.WPAUpdateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W>

Constructor Summary

Constructors

Constructor and Description
ControlFlowEdgeBasedFieldTransitionListener(ControlFlowGraph.Edge cfgEdge)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
ControlFlowGraph.Edge	getCfgEdge()
int	hashCode()
abstract void	onAddedTransition(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t)
void	onWeightAdded(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> aut)

Methods inherited from class java.lang.Object

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

Constructor Detail

ControlFlowEdgeBasedFieldTransitionListener

public ControlFlowEdgeBasedFieldTransitionListener(ControlFlowGraph.Edge cfgEdge)

Method Detail

getCfgEdge

public ControlFlowGraph.Edge getCfgEdge()

onWeightAdded

public void onWeightAdded(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> aut)

Specified by:

onWeightAdded in interface wpds.interfaces.WPAUpdateListener<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>,W extends wpds.impl.Weight>

onAddedTransition

public abstract void onAddedTransition(wpds.impl.Transition<Field,sync.pds.solver.nodes.INode<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>> t)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object