Package com.ibm.wala.dalvik.analysis.typeInference

Class DalvikTypeInference.DalvikTypeVarFactory

java.lang.Object

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

com.ibm.wala.dalvik.analysis.typeInference.DalvikTypeInference.DalvikTypeVarFactory

All Implemented Interfaces:

SSAInference.VariableFactory<TypeVariable>

Enclosing class:

DalvikTypeInference

public class DalvikTypeInference.DalvikTypeVarFactory
extends TypeInference.TypeVarFactory

Constructor Summary

Constructors

Constructor	Description
DalvikTypeVarFactory()

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

DalvikTypeVarFactory

public DalvikTypeVarFactory()

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>

Overrides:

makeVariable in class TypeInference.TypeVarFactory

Returns:

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