Uses of Class
com.ibm.wala.analysis.typeInference.TypeVariable

Packages that use TypeVariable

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

Uses of TypeVariable in com.ibm.wala.analysis.typeInference

Fields in com.ibm.wala.analysis.typeInference with type parameters of type TypeVariable

Modifier and Type	Field and Description
protected com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>	TypeInference.TypeOperatorFactory.result

Methods in com.ibm.wala.analysis.typeInference that return TypeVariable

Modifier and Type	Method and Description
protected TypeVariable[]	TypeInference.makeStmtRHS(int size)

Methods in com.ibm.wala.analysis.typeInference that return types with arguments of type TypeVariable

Modifier and Type	Method and Description
com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>	TypeInference.TypeOperatorFactory.get(SSAInstruction instruction)

Methods in com.ibm.wala.analysis.typeInference with parameters of type TypeVariable

Modifier and Type	Method and Description
void	TypeVariable.copyState(TypeVariable other)
byte	TypeInference.DeclaredTypeOperator.evaluate(TypeVariable lhs) Note that we need evaluate this operator at most once
byte	TypeInference.PrimitivePropagateOperator.evaluate(TypeVariable lhs, TypeVariable[] rhs)
byte	TypeInference.PrimitivePropagateOperator.evaluate(TypeVariable lhs, TypeVariable[] rhs)