| Interface | Description |
|---|---|
| IEvalFunction | |
| IHierarchy | |
| IUseVisitor |
| Class | Description |
|---|---|
| AugEvalFunction | |
| AugHierarchy | |
| BottomType | |
| BytecodeHierarchy | |
| EmptyList<E> | Deprecated |
| Integer127Type | |
| Integer1Type | |
| Integer32767Type | |
| QueuedSet<E> | |
| SingletonList<E> | Deprecated |
| 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.
|