Package com.ibm.wala.dataflow.ssa

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

All Known Implementing Classes:
AstJavaTypeInference.AstJavaTypeOperatorFactory, AstTypeInference.AstTypeOperatorFactory, DalvikTypeInference.TypeOperatorFactory, TypeInference.TypeOperatorFactory
Enclosing class:
SSAInference<T extends IVariable<T>>
public static interface SSAInference.OperatorFactory<T extends IVariable<T>>

  • Method Summary

    Modifier and Type
    Method
    Description
    AbstractOperator<T>
    get(SSAInstruction instruction)
    Get the dataflow operator induced by an instruction in SSA form.

  • Method Details

    • get

      AbstractOperator<T> get(SSAInstruction instruction)
      Get the dataflow operator induced by an instruction in SSA form.
      Returns:
      dataflow operator for the instruction, or null if the instruction is not applicable to the dataflow system.