com.ibm.wala.analysis.typeInference

Class TypeVariable

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<TypeVariable>

com.ibm.wala.analysis.typeInference.TypeVariable

All Implemented Interfaces:

com.ibm.wala.fixpoint.IVariable<TypeVariable>, com.ibm.wala.util.graph.INodeWithNumber

public class TypeVariable
extends com.ibm.wala.fixpoint.AbstractVariable<TypeVariable>

A type variable in the dataflow system for type inference.

See Also:

TypeInference

Constructor Summary

Constructors

Constructor and Description
TypeVariable(TypeAbstraction type)

Method Summary

Methods

Modifier and Type	Method and Description
void	copyState(TypeVariable other)
TypeAbstraction	getType()
void	setType(TypeAbstraction type)
String	toString()

Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable

equals, getOrderNumber, hashCode, nextHash, 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)

Method Detail

copyState

public void copyState(TypeVariable other)
               throws IllegalArgumentException

Throws:

IllegalArgumentException

getType

public TypeAbstraction getType()

setType

public void setType(TypeAbstraction type)

toString

public String toString()

Overrides:

toString in class Object