public class DataFlowPathWeight
extends wpds.impl.Weight
| Constructor and Description |
|---|
DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path) |
DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path,
Statement callSite,
Method callee) |
DataFlowPathWeight(Statement ifStatement,
Boolean condition) |
DataFlowPathWeight(Statement callSite,
Method callee) |
DataFlowPathWeight(Val returnVal) |
DataFlowPathWeight(Val leftOp,
PathConditionWeight.ConditionDomain conditionVal) |
| Modifier and Type | Method and Description |
|---|---|
wpds.impl.Weight |
combineWith(wpds.impl.Weight other) |
boolean |
equals(Object o) |
wpds.impl.Weight |
extendWith(wpds.impl.Weight other) |
List<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> |
getAllStatements() |
Map<Statement,PathConditionWeight.ConditionDomain> |
getConditions() |
Map<Val,PathConditionWeight.ConditionDomain> |
getEvaluationMap() |
int |
hashCode() |
static DataFlowPathWeight |
one() |
String |
toString() |
public DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path)
public DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path, Statement callSite, Method callee)
public DataFlowPathWeight(Val leftOp, PathConditionWeight.ConditionDomain conditionVal)
public DataFlowPathWeight(Val returnVal)
public static DataFlowPathWeight one()
public List<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getAllStatements()
public Map<Statement,PathConditionWeight.ConditionDomain> getConditions()
public Map<Val,PathConditionWeight.ConditionDomain> getEvaluationMap()
public wpds.impl.Weight extendWith(wpds.impl.Weight other)
extendWith in class wpds.impl.Weightpublic wpds.impl.Weight combineWith(wpds.impl.Weight other)
combineWith in class wpds.impl.WeightCopyright © 2024. All rights reserved.