Uses of Package
com.ibm.wala.analysis.typeInference

Packages that use com.ibm.wala.analysis.typeInference

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.typeInference	This package provides intraprocedural type inference over the SSA form.
com.ibm.wala.classLoader	This package provides functionality related to class loading and management of loaded classes.
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.

Classes in com.ibm.wala.analysis.typeInference used by com.ibm.wala.analysis.reflection

Class and Description
TypeAbstraction Abstraction of a Java type.

Classes in com.ibm.wala.analysis.typeInference used by com.ibm.wala.analysis.typeInference

Class and Description
PointType Represents a single concrete type.
PrimitiveType Abstraction of a primitive type.
TypeAbstraction Abstraction of a Java type.
TypeInference This class performs intraprocedural type propagation on an SSA IR.
TypeVariable A type variable in the dataflow system for type inference.

Classes in com.ibm.wala.analysis.typeInference used by com.ibm.wala.classLoader

Class and Description
PrimitiveType Abstraction of a primitive type.

Classes in com.ibm.wala.analysis.typeInference used by com.ibm.wala.ipa.summaries

Class and Description
TypeAbstraction Abstraction of a Java type.