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
A type variable in the dataflow system for type inference.
- See Also:
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
copyState
(TypeVariable other) Set this variable to have the same state as another onegetType()
void
setType
(TypeAbstraction type) 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 Details
-
TypeVariable
-
-
Method Details
-
copyState
Description copied from interface:IVariable
Set this variable to have the same state as another one- Throws:
IllegalArgumentException
-
getType
-
setType
-
toString
-