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:

com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory

Enclosing class:

DalvikTypeInference

public class DalvikTypeInference.DalvikTypeVarFactory
extends com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory

Constructor Summary

Constructors

Constructor and Description
DalvikTypeInference.DalvikTypeVarFactory()

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.IVariable	makeVariable(int valueNumber)

Methods inherited from class java.lang.Object

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

Constructor Detail

DalvikTypeInference.DalvikTypeVarFactory

public DalvikTypeInference.DalvikTypeVarFactory()

Method Detail

makeVariable

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

Specified by:

makeVariable in interface com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory

Overrides:

makeVariable in class com.ibm.wala.analysis.typeInference.TypeInference.TypeVarFactory