Uses of Interface
com.ibm.wala.dataflow.ssa.SSAInference.VariableFactory

Packages that use SSAInference.VariableFactory

Package	Description
com.ibm.wala.analysis.typeInference	This package provides intraprocedural type inference over the SSA form.
com.ibm.wala.dataflow.ssa

Uses of SSAInference.VariableFactory in com.ibm.wala.analysis.typeInference

Classes in com.ibm.wala.analysis.typeInference that implement SSAInference.VariableFactory

Modifier and Type	Class and Description
class	TypeInference.TypeVarFactory

Uses of SSAInference.VariableFactory in com.ibm.wala.dataflow.ssa

Methods in com.ibm.wala.dataflow.ssa with parameters of type SSAInference.VariableFactory

Modifier and Type	Method and Description
protected void	SSAInference.init(IR ir, SSAInference.VariableFactory varFactory, SSAInference.OperatorFactory<T> opFactory) initializer for SSA Inference equations.