Package com.ibm.wala.dataflow.ssa

Interface SSAInference.VariableFactory<T extends IVariable<T>>

All Known Implementing Classes:
AstJavaTypeInference.AstJavaTypeVarFactory, DalvikTypeInference.DalvikTypeVarFactory, TypeInference.TypeVarFactory
Enclosing class:
SSAInference<T extends IVariable<T>>
public static interface SSAInference.VariableFactory<T extends IVariable<T>>

  • Method Summary

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

  • Method Details

    • makeVariable

      IVariable<T> makeVariable(int valueNumber)
      Make the variable for a given value number.
      Returns:
      a newly created dataflow variable, or null if not applicable.