soot.jimple.toolkits.typing
Classes 
TypeAssigner
TypeResolver
Exceptions 
TypeException