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

Class Weight

java.lang.Object

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

public class Weight
extends java.lang.Object

A weight may be not set, a number or unlimited, note that the meaning of unlimited is given by the chosen order (see NormalOrder and ReverseOrder).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Weight.Type

Field Summary

Fields

Modifier and Type	Field and Description
static Weight	NOT_SET
static Weight	UNLIMITED
static Weight	ZERO

Constructor Summary

Constructors

Constructor and Description
Weight(int number)
Weight(Weight.Type type, int number)

Method Summary

Modifier and Type	Method and Description
Weight	add(Weight other) Returns this + other.
boolean	equals(java.lang.Object obj)
int	getNumber()
Weight.Type	getType()
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

UNLIMITED

public static final Weight UNLIMITED

NOT_SET

public static final Weight NOT_SET

ZERO

public static final Weight ZERO

Constructor Detail

Weight

public Weight(int number)

Weight

public Weight(Weight.Type type,
              int number)

Method Detail

add

public Weight add(Weight other)

Returns this + other. If this is not Number this will be returned, if other is not number other will be returned

Returns:

this + other

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getNumber

public int getNumber()

getType

public Weight.Type getType()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object