boomerang.weights

Class DataFlowPathWeight

java.lang.Object

wpds.impl.Weight

boomerang.weights.DataFlowPathWeight

public class DataFlowPathWeight
extends wpds.impl.Weight

Nested Class Summary

Nested classes/interfaces inherited from class wpds.impl.Weight

wpds.impl.Weight.NoWeight

Field Summary

Fields inherited from class wpds.impl.Weight

NO_WEIGHT_ONE

Constructor Summary

Constructors

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)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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(Statement callSite,
                          Method callee)

DataFlowPathWeight

public DataFlowPathWeight(Statement ifStatement,
                          Boolean condition)

DataFlowPathWeight

public DataFlowPathWeight(Val leftOp,
                          PathConditionWeight.ConditionDomain conditionVal)

DataFlowPathWeight

public DataFlowPathWeight(Val returnVal)

Method Detail

one

public static DataFlowPathWeight one()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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()

toString

public String toString()

Overrides:

toString in class Object

extendWith

public wpds.impl.Weight extendWith(wpds.impl.Weight other)

Specified by:

extendWith in class wpds.impl.Weight

combineWith

public wpds.impl.Weight combineWith(wpds.impl.Weight other)

Specified by:

combineWith in class wpds.impl.Weight