Package soot.jimple.toolkits.typing.fast
-
Interface Summary Interface Description IEvalFunction IHierarchy ITypingStrategy Provides a way to use different was to create and minimizeTypings.IUseVisitor -
Class Summary Class Description AugEvalFunction AugHierarchy BottomType BytecodeHierarchy DefaultTypingStrategy The default typing strategyEmptyList<E> Deprecated. Integer127Type Integer1Type Integer32767Type IntUtils Contains several utilities for integer typing.QueuedSet<E> SingletonList<E> Deprecated. TypePromotionUseVisitor TypeResolver New Type Resolver by Ben Bellamy (see 'Efficient Local Type Inference' at OOPSLA 08).TypeUtils Typing UseChecker This checks all uses against the rules in Jimple, except some uses are not checked where the bytecode verifier guarantees use validity.WeakObjectType A weak variant of an object type (Object, Serializable, Cloneable).