Package boomerang.solver

Class MethodBasedFieldTransitionListener<W extends wpds.impl.Weight>

java.lang.Object

boomerang.solver.MethodBasedFieldTransitionListener<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 MethodBasedFieldTransitionListener<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	Description
MethodBasedFieldTransitionListener(Method method)

Method Summary

Modifier and Type	Method	Description
Method	getMethod()
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, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MethodBasedFieldTransitionListener

public MethodBasedFieldTransitionListener(Method method)

Method Detail

getMethod

public Method getMethod()

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)