com.ibm.wala.analysis.typeInference

Class TypeInference.TypeVarFactory

java.lang.Object

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

All Implemented Interfaces:

SSAInference.VariableFactory

Enclosing class:

TypeInference

public class TypeInference.TypeVarFactory
extends Object
implements SSAInference.VariableFactory

Constructor Summary

Constructors

Constructor and Description
TypeInference.TypeVarFactory()

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.IVariable	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

TypeInference.TypeVarFactory

public TypeInference.TypeVarFactory()

Method Detail

makeVariable

public com.ibm.wala.fixpoint.IVariable makeVariable(int valueNumber)

Description copied from interface: SSAInference.VariableFactory

Make the variable for a given value number.

Specified by:

makeVariable in interface SSAInference.VariableFactory

Returns:

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