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 TypeMethodDescriptionget
(SSAInstruction instruction) Get the dataflow operator induced by an instruction in SSA form.
-
Method Details
-
get
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.
-