Package com.ibm.wala.shrike.shrikeBT.analysis

Interface Summary

Interface	Description
ClassHierarchyProvider	This interface provides information about the class hierarchy to some consumer, such as a bytecode verifier.

Class Summary

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 Summary

Exception	Description
Analyzer.FailureException	This exception is thrown by verify() when it fails.