com.ibm.wala.analysis.typeInference

Class TypeInference.TypeVarFactory

java.lang.Object

com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory

All Implemented Interfaces:

SSAInference.VariableFactory<TypeVariable>

Enclosing class:

TypeInference

public class TypeInference.TypeVarFactory
extends java.lang.Object
implements SSAInference.VariableFactory<TypeVariable>

Constructor Summary

Constructors

Constructor and Description
TypeVarFactory()

Method Summary

Modifier and Type	Method and 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 Detail

TypeVarFactory

public TypeVarFactory()

Method Detail

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.