Package com.ibm.wala.analysis.typeInference

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

Constructors

Constructor	Description
TypeVarFactory()

Method Summary

Modifier and Type	Method	Description
TypeVariable	makeVariable(int valueNumber)	Make the variable for a given value number.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

TypeVarFactory

public TypeVarFactory()

Method Details

makeVariable

public TypeVariable makeVariable(int valueNumber)

Description copied from interface: SSAInference.VariableFactory

Make the variable for a given value number.

Specified by:

makeVariable in interface SSAInference.VariableFactory<TypeVariable>

Returns:

a newly created dataflow variable, or null if not applicable.