TypeVariable (API Reference for wala 1.3.9)

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
```
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

All Methods Instance Methods Concrete Methods
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 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
```
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