Package com.ibm.wala.analysis.typeInference

This package provides intraprocedural type inference over the SSA form.

See:
Description

Class Summary

ConeType	Represents a type and its subtypes.
JavaPrimitiveType	Abstraction of a primitive type in Java.
PointType	Represents a single concrete type.
PrimitiveType	Abstraction of a primitive type.
SetType	Abstraction of a set of PointType.
TypeAbstraction	Abstraction of a Java type.
TypeInference	This class performs intraprocedural type propagation on an SSA IR.
TypeInference.DeclaredTypeOperator	An operator which initializes a type to a declared type.
TypeInference.PrimitivePropagateOperator
TypeVariable	A type variable in the dataflow system for type inference.

Package com.ibm.wala.analysis.typeInference Description

This package provides intraprocedural type inference over the SSA form.