| Interface | Description |
|---|---|
| ClassHierarchyProvider |
This interface provides information about the class hierarchy to some consumer, such as a
bytecode verifier.
|
| Class | Description |
|---|---|
| Analyzer | |
| Analyzer.PathElement | |
| Analyzer.TypeVisitor | |
| ClassHierarchy |
This class takes the raw information from a ClassHierarchyProvider and computes type operations
(subtype check, type union).
|
| ClassHierarchyStore |
This implementation of ClassHierarchyProvider is a simple writable data structure representing a
class hierarchy.
|
| Verifier |
This class typechecks intermediate code.
|
| Exception | Description |
|---|---|
| Analyzer.FailureException |
This exception is thrown by verify() when it fails.
|