Interface | Description |
---|---|
ClassHierarchyProvider |
This interface provides information about the class hierarchy to some consumer, such as a bytecode verifier.
|
Class | Description |
---|---|
Analyzer | |
Analyzer.PathElement | |
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.
|