Package soot.jimple.toolkits.typing.fast

Interface Summary
IEvalFunction  
IHierarchy  
IUseVisitor  
 

Class Summary
AugEvalFunction  
AugHierarchy  
BottomType  
BytecodeHierarchy  
EmptyList<E>  
Integer127Type  
Integer1Type  
Integer32767Type  
QueuedSet<E>  
SingletonList<E>  
TypeResolver New Type Resolver by Ben Bellamy (see 'Efficient Local Type Inference' at OOPSLA 08).
Typing  
UseChecker This checks all uses against the rules in Jimple, except some uses are not checked where the bytecode verifier guarantees use validity.