public class TypeVariable extends AbstractVariable<TypeVariable>
TypeInference| Constructor and Description |
|---|
TypeVariable(TypeAbstraction type) |
| Modifier and Type | Method and Description |
|---|---|
void |
copyState(TypeVariable other)
Set this variable to have the same state as another one
|
TypeAbstraction |
getType() |
void |
setType(TypeAbstraction type) |
String |
toString() |
equals, getOrderNumber, hashCode, nextHash, setOrderNumbergetGraphNodeId, setGraphNodeIdclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetGraphNodeId, setGraphNodeIdpublic TypeVariable(TypeAbstraction type)
public void copyState(TypeVariable other) throws IllegalArgumentException
IVariableIllegalArgumentExceptionpublic TypeAbstraction getType()
public void setType(TypeAbstraction type)