Uses of Class
boomerang.weights.DataFlowPathWeight

Packages that use DataFlowPathWeight

Package	Description
boomerang.weights

Uses of DataFlowPathWeight in boomerang.weights

Methods in boomerang.weights that return DataFlowPathWeight

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

Methods in boomerang.weights that return types with arguments of type DataFlowPathWeight

Modifier and Type	Method and Description
Debugger<DataFlowPathWeight>	PathTrackingBoomerang.createDebugger()
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>	PathTrackingBoomerang.getBackwardCallWeights()
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getBackwardFieldWeights()
protected WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>	PathTrackingBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)
protected WeightFunctions<Statement,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getForwardFieldWeights()