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:

IVariable<TypeVariable>, INodeWithNumber

Direct Known Subclasses:

DalvikTypeVariable

public class TypeVariable
extends AbstractVariable<TypeVariable>

A type variable in the dataflow system for type inference.

See Also:

• TypeInference

Constructor Summary

Constructors

Constructor	Description
TypeVariable(TypeAbstraction type)

Method Summary

Modifier and Type	Method	Description
void	copyState(TypeVariable other)	Set this variable to have the same state as another one
TypeAbstraction	getType()
void	setType(TypeAbstraction type)
String	toString()

Methods inherited from class AbstractVariable

equals, getOrderNumber, hashCode, nextHash, setOrderNumber

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	getOrderNumber()	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
final int	hashCode()
static int	nextHash()	I know this is theoretically bad.
void	setOrderNumber(int orderNumber)	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

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

Constructor Details

TypeVariable

public TypeVariable(TypeAbstraction type)

Method Details

copyState

public void copyState(TypeVariable other)
               throws IllegalArgumentException

Description copied from interface: IVariable

Set this variable to have the same state as another one

Throws:

IllegalArgumentException

getType

public TypeAbstraction getType()

setType

public void setType(TypeAbstraction type)

toString

public String toString()

Overrides:

toString in class Object