public class PathTrackingWeightFunctions extends Object implements WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>
| Constructor and Description |
|---|
PathTrackingWeightFunctions() |
| 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) |
public DataFlowPathWeight push(Node<Statement,Val> curr, Node<Statement,Val> succ, Statement callSite)
push in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>public DataFlowPathWeight normal(Node<Statement,Val> curr, Node<Statement,Val> succ)
normal in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>public DataFlowPathWeight pop(Node<Statement,Val> curr, Statement location)
pop in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>public DataFlowPathWeight getOne()
getOne in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>public DataFlowPathWeight getZero()
getZero in interface WeightFunctions<Statement,Val,Statement,DataFlowPathWeight>Copyright © 2023. All rights reserved.