boomerang.weights

Class PathTrackingWeightFunctions

java.lang.Object

boomerang.weights.PathTrackingWeightFunctions

All Implemented Interfaces:

sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>

public class PathTrackingWeightFunctions
extends Object
implements sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>

Constructor Summary

Constructors

Constructor and Description
PathTrackingWeightFunctions(boolean trackDataFlowPath, boolean trackPathConditions, boolean implicitBooleanCondition)

Method Summary

Modifier and Type	Method and Description
DataFlowPathWeight	getOne()
DataFlowPathWeight	normal(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ)
DataFlowPathWeight	pop(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr)
DataFlowPathWeight	push(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ, ControlFlowGraph.Edge callSite)

Methods inherited from class java.lang.Object

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

Constructor Detail

PathTrackingWeightFunctions

public PathTrackingWeightFunctions(boolean trackDataFlowPath,
                                   boolean trackPathConditions,
                                   boolean implicitBooleanCondition)

Method Detail

push

public DataFlowPathWeight push(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr,
                               sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ,
                               ControlFlowGraph.Edge callSite)

Specified by:

push in interface sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>

normal

public DataFlowPathWeight normal(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr,
                                 sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ)

Specified by:

normal in interface sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>

pop

public DataFlowPathWeight pop(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr)

Specified by:

pop in interface sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>

getOne

public DataFlowPathWeight getOne()

Specified by:

getOne in interface sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>