com.ibm.wala.analysis.typeInference
Class TypeVariable

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractVariable<TypeVariable>
          com.ibm.wala.analysis.typeInference.TypeVariable

All Implemented Interfaces:

IVariable<TypeVariable>, INodeWithNumber

public class TypeVariable
extends AbstractVariable<TypeVariable>

A type variable in the dataflow system.

Constructor Summary

TypeVariable(TypeAbstraction type, int hashCode)

Method Summary

void	copyState(TypeVariable other) Set this variable to have the same state as another one
TypeAbstraction	getType()
int	hashCode()
void	setType(TypeAbstraction type)
java.lang.String	toString()

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractVariable

equals, getOrderNumber, setOrderNumber

Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

getGraphNodeId, setGraphNodeId

Constructor Detail

TypeVariable

public TypeVariable(TypeAbstraction type,
                    int hashCode)

Method Detail

copyState

public void copyState(TypeVariable other)
               throws java.lang.IllegalArgumentException

Description copied from interface: IVariable

Set this variable to have the same state as another one

Throws:

java.lang.IllegalArgumentException

getType

public TypeAbstraction getType()

setType

public void setType(TypeAbstraction type)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractVariable<TypeVariable>