boomerang.weights

Class PathTrackingWeightFunctions

java.lang.Object

boomerang.weights.PathTrackingWeightFunctions

All Implemented Interfaces:

WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

public class PathTrackingWeightFunctions
extends Object
implements WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

Constructor Summary

Constructors

Constructor and Description
PathTrackingWeightFunctions()

Method Summary

Modifier and Type	Method and Description
DataFlowPathWeight	getOne()
DataFlowPathWeight	getZero()
DataFlowPathWeight	normal(Node<Statement,Val> curr, Node<Statement,Val> succ)
DataFlowPathWeight	pop(Node<Statement,Val> curr, Statement location)
DataFlowPathWeight	push(Node<Statement,Val> curr, Node<Statement,Val> succ, Statement callSite)

Methods inherited from class java.lang.Object

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

Constructor Detail

PathTrackingWeightFunctions

public PathTrackingWeightFunctions()

Method Detail

push

public DataFlowPathWeight push(Node<Statement,Val> curr,
                               Node<Statement,Val> succ,
                               Statement callSite)

Specified by:

push in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

normal

public DataFlowPathWeight normal(Node<Statement,Val> curr,
                                 Node<Statement,Val> succ)

Specified by:

normal in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

pop

public DataFlowPathWeight pop(Node<Statement,Val> curr,
                              Statement location)

Specified by:

pop in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

getOne

public DataFlowPathWeight getOne()

Specified by:

getOne in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>

getZero

public DataFlowPathWeight getZero()

Specified by:

getZero in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>