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
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 oneTypeAbstraction
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)
-
-