com.ibm.wala.logic
Class Variable

java.lang.Object
  com.ibm.wala.logic.Variable

All Implemented Interfaces:

ITerm, java.lang.Comparable<Variable>

public class Variable
extends java.lang.Object
implements ITerm, java.lang.Comparable<Variable>

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.logic.ITerm

ITerm.Kind

Constructor Summary

protected

Variable(int number, IntPair range)

Method Summary

int	compareTo(Variable o)
boolean	equals(java.lang.Object obj)
java.util.Collection<Variable>	getFreeVariables()
ITerm.Kind	getKind()
int	getNumber()
IntPair	getRange()
int	hashCode()
static Variable	make(int number, IntPair range)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Variable

protected Variable(int number,
                   IntPair range)

Method Detail

getKind

public ITerm.Kind getKind()

Specified by:

getKind in interface ITerm

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

make

public static Variable make(int number,
                            IntPair range)

getNumber

public int getNumber()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getRange

public IntPair getRange()

getFreeVariables

public java.util.Collection<Variable> getFreeVariables()

Specified by:

getFreeVariables in interface ITerm

compareTo

public int compareTo(Variable o)
              throws java.lang.NullPointerException

Specified by:

compareTo in interface java.lang.Comparable<Variable>

Throws:

java.lang.NullPointerException