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, setOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public TypeVariable(TypeAbstraction type)
public void copyState(TypeVariable other) throws IllegalArgumentException
IVariable
IllegalArgumentException
public TypeAbstraction getType()
public void setType(TypeAbstraction type)