Class TypeInference.TypeVarFactory
java.lang.Object
com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory
- All Implemented Interfaces:
SSAInference.VariableFactory<TypeVariable>
- Direct Known Subclasses:
AstJavaTypeInference.AstJavaTypeVarFactory
,DalvikTypeInference.DalvikTypeVarFactory
- Enclosing class:
TypeInference
public class TypeInference.TypeVarFactory
extends Object
implements SSAInference.VariableFactory<TypeVariable>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionmakeVariable
(int valueNumber) Make the variable for a given value number.
-
Constructor Details
-
TypeVarFactory
public TypeVarFactory()
-
-
Method Details
-
makeVariable
Description copied from interface:SSAInference.VariableFactory
Make the variable for a given value number.- Specified by:
makeVariable
in interfaceSSAInference.VariableFactory<TypeVariable>
- Returns:
- a newly created dataflow variable, or null if not applicable.
-