com.ibm.wala.dataflow.ssa

Interface SSAInference.VariableFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>

All Known Implementing Classes:

TypeInference.TypeVarFactory

Enclosing class:

SSAInference<T extends com.ibm.wala.fixpoint.IVariable<T>>

public static interface SSAInference.VariableFactory<T extends com.ibm.wala.fixpoint.IVariable<T>>

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.IVariable<T>	makeVariable(int valueNumber) Make the variable for a given value number.

Method Detail

makeVariable

com.ibm.wala.fixpoint.IVariable<T> makeVariable(int valueNumber)

Make the variable for a given value number.

Returns:

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