Package boomerang.solver
Class ControlFlowEdgeBasedCallTransitionListener<W extends wpds.impl.Weight>
- java.lang.Object
-
- boomerang.solver.ControlFlowEdgeBasedCallTransitionListener<W>
-
- All Implemented Interfaces:
wpds.interfaces.WPAUpdateListener<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W>
public abstract class ControlFlowEdgeBasedCallTransitionListener<W extends wpds.impl.Weight> extends Object implements wpds.interfaces.WPAUpdateListener<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W>
-
-
Constructor Summary
Constructors Constructor Description ControlFlowEdgeBasedCallTransitionListener(ControlFlowGraph.Edge edge)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)ControlFlowGraph.EdgegetControlFlowEdge()inthashCode()abstract voidonAddedTransition(wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> t, W w)voidonWeightAdded(wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> t, W w, wpds.impl.WeightedPAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> aut)
-
-
-
Constructor Detail
-
ControlFlowEdgeBasedCallTransitionListener
public ControlFlowEdgeBasedCallTransitionListener(ControlFlowGraph.Edge edge)
-
-
Method Detail
-
getControlFlowEdge
public ControlFlowGraph.Edge getControlFlowEdge()
-
onWeightAdded
public void onWeightAdded(wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> t, W w, wpds.impl.WeightedPAutomaton<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W> aut)
- Specified by:
onWeightAddedin interfacewpds.interfaces.WPAUpdateListener<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>,W extends wpds.impl.Weight>
-
onAddedTransition
public abstract void onAddedTransition(wpds.impl.Transition<ControlFlowGraph.Edge,sync.pds.solver.nodes.INode<Val>> t, W w)
-
-