Package boomerang.weights
Class DataFlowPathWeight
- java.lang.Object
-
- wpds.impl.Weight
-
- boomerang.weights.DataFlowPathWeight
-
public class DataFlowPathWeight extends wpds.impl.Weight
-
-
Constructor Summary
Constructors Constructor Description DataFlowPathWeight(Statement callSite, Method callee)DataFlowPathWeight(Statement ifStatement, Boolean condition)DataFlowPathWeight(Val returnVal)DataFlowPathWeight(Val leftOp, PathConditionWeight.ConditionDomain conditionVal)DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path)DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path, Statement callSite, Method callee)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description wpds.impl.WeightcombineWith(wpds.impl.Weight other)booleanequals(Object o)wpds.impl.WeightextendWith(wpds.impl.Weight other)List<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>>getAllStatements()Map<Statement,PathConditionWeight.ConditionDomain>getConditions()Map<Val,PathConditionWeight.ConditionDomain>getEvaluationMap()inthashCode()static DataFlowPathWeightone()StringtoString()
-
-
-
Constructor Detail
-
DataFlowPathWeight
public DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path)
-
DataFlowPathWeight
public DataFlowPathWeight(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> path, Statement callSite, Method callee)
-
DataFlowPathWeight
public DataFlowPathWeight(Val leftOp, PathConditionWeight.ConditionDomain conditionVal)
-
DataFlowPathWeight
public DataFlowPathWeight(Val returnVal)
-
-
Method Detail
-
one
public static DataFlowPathWeight one()
-
getAllStatements
public List<sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val>> getAllStatements()
-
getConditions
public Map<Statement,PathConditionWeight.ConditionDomain> getConditions()
-
getEvaluationMap
public Map<Val,PathConditionWeight.ConditionDomain> getEvaluationMap()
-
extendWith
public wpds.impl.Weight extendWith(wpds.impl.Weight other)
- Specified by:
extendWithin classwpds.impl.Weight
-
combineWith
public wpds.impl.Weight combineWith(wpds.impl.Weight other)
- Specified by:
combineWithin classwpds.impl.Weight
-
-