Package soot.jimple.toolkits.typing

Implements a typing algorithm for Jimple.

See:
Description

Class Summary

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

Exception Summary

TypeException

Package soot.jimple.toolkits.typing Description

Implements a typing algorithm for Jimple.