com.ibm.wala.dataflow.ssa

Interface SSAInference.OperatorFactory<T extends com.ibm.wala.fixpoint.IVariable>

All Known Implementing Classes:

TypeInference.TypeOperatorFactory

Enclosing class:

SSAInference<T extends com.ibm.wala.fixpoint.IVariable<?>>

public static interface SSAInference.OperatorFactory<T extends com.ibm.wala.fixpoint.IVariable>

Method Summary

Methods

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

Method Detail

get

com.ibm.wala.fixpoint.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.