Package soot.jimple.toolkits.typing

Implements a typing algorithm for Jimple.

See:
          Description

Class Summary
TypeAssigner This transformer assigns types to local variables.
TypeResolver This class resolves the type of local variables.
TypeResolverBV This class resolves the type of local variables.
 

Exception Summary
TypeException  
 

Package soot.jimple.toolkits.typing Description

Implements a typing algorithm for Jimple.