Package com.ibm.wala.dataflow.ssa
Interface SSAInference.VariableFactory
-
- All Known Implementing Classes:
TypeInference.TypeVarFactory
- Enclosing class:
- SSAInference<T extends IVariable<?>>
public static interface SSAInference.VariableFactory
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IVariable
makeVariable(int valueNumber)
Make the variable for a given value number.
-
-
-
Method Detail
-
makeVariable
IVariable makeVariable(int valueNumber)
Make the variable for a given value number.- Returns:
- a newly created dataflow variable, or null if not applicable.
-
-