boomerang.solver

Class MethodBasedFieldTransitionListener<W extends Weight>

java.lang.Object

boomerang.solver.MethodBasedFieldTransitionListener<W>

All Implemented Interfaces:

WPAUpdateListener<Field,INode<Node<Statement,Val>>,W>

public abstract class MethodBasedFieldTransitionListener<W extends Weight>
extends Object
implements WPAUpdateListener<Field,INode<Node<Statement,Val>>,W>

Constructor Summary

Constructors

Constructor and Description
MethodBasedFieldTransitionListener(soot.SootMethod method)

Method Summary

Modifier and Type	Method and Description
soot.SootMethod	getMethod()
abstract void	onAddedTransition(Transition<Field,INode<Node<Statement,Val>>> t)
void	onWeightAdded(Transition<Field,INode<Node<Statement,Val>>> t, W w, WeightedPAutomaton<Field,INode<Node<Statement,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(soot.SootMethod method)

Method Detail

getMethod

public soot.SootMethod getMethod()

onWeightAdded

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

Specified by:

onWeightAdded in interface WPAUpdateListener<Field,INode<Node<Statement,Val>>,W extends Weight>

onAddedTransition

public abstract void onAddedTransition(Transition<Field,INode<Node<Statement,Val>>> t)