Package com.ibm.wala.analysis.typeInference

package com.ibm.wala.analysis.typeInference

This package provides intraprocedural type inference over the SSA form.

Classes

Class	Description
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.
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.