boomerang.weights

Class DataFlowPathWeight

java.lang.Object

wpds.impl.Weight

boomerang.weights.DataFlowPathWeight

public class DataFlowPathWeight
extends Weight

Nested Class Summary

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

Weight.NoWeight

Field Summary

Fields inherited from class wpds.impl.Weight

NO_WEIGHT_ONE, NO_WEIGHT_ZERO

Constructor Summary

Constructors

Constructor and Description
DataFlowPathWeight(Statement relevantStatement)

Method Summary

Modifier and Type	Method and Description
Weight	combineWith(Weight other)
boolean	equals(Object obj)
Weight	extendWith(Weight o)
int	hashCode()
static DataFlowPathWeight	one()
String	toString()
static DataFlowPathWeight	zero()

Methods inherited from class java.lang.Object

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

Constructor Detail

DataFlowPathWeight

public DataFlowPathWeight(Statement relevantStatement)

Method Detail

extendWith

public Weight extendWith(Weight o)

Specified by:

extendWith in class Weight

combineWith

public Weight combineWith(Weight other)

Specified by:

combineWith in class Weight

one

public static DataFlowPathWeight one()

zero

public static DataFlowPathWeight zero()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object