com.ibm.wala.dataflow.ssa

Interface SSAInference.VariableFactory

All Known Implementing Classes:

TypeInference.TypeVarFactory

Enclosing class:

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

public static interface SSAInference.VariableFactory

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.

Method Detail

makeVariable

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

Make the variable for a given value number.

Returns:

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