Package soot.jimple.toolkits.typing

Implements a typing algorithm for Jimple.

Class Summary

Class	Description
ClassHierarchy	This class encapsulates the typing class hierarchy, as well as non-reference types.
TypeAssigner	This transformer assigns types to local variables.
TypeResolver	This class resolves the type of local variables.
TypeResolverBV	Deprecated. use TypeResolver instead
Util

Exception Summary

Exception	Description
InternalTypingException
TypeException