Package com.ibm.wala.dataflow.ssa
Interface SSAInference.OperatorFactory<T extends IVariable>
-
- All Known Implementing Classes:
AstTypeInference.AstTypeOperatorFactory
,TypeInference.TypeOperatorFactory
- Enclosing class:
- SSAInference<T extends IVariable<?>>
public static interface SSAInference.OperatorFactory<T extends IVariable>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description AbstractOperator<T>
get(SSAInstruction instruction)
Get the dataflow operator induced by an instruction in SSA form.
-
-
-
Method Detail
-
get
AbstractOperator<T> get(SSAInstruction instruction)
Get the dataflow operator induced by an instruction in SSA form.- Parameters:
instruction
-- Returns:
- dataflow operator for the instruction, or null if the instruction is not applicable to the dataflow system.
-
-