com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights

Class AdditiveEdgeWeight

java.lang.Object

com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.AdditiveEdgeWeight

All Implemented Interfaces:

EdgeWeight

public class AdditiveEdgeWeight
extends java.lang.Object
implements EdgeWeight

EdgeWeight that adds a specific value.

Constructor Summary

Constructors

Constructor and Description
AdditiveEdgeWeight(Weight value)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
Weight	newValue(Weight weight)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AdditiveEdgeWeight

public AdditiveEdgeWeight(Weight value)

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

newValue

public Weight newValue(Weight weight)

Specified by:

newValue in interface EdgeWeight

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object