Class in the class hierarchy (not an interface).
Class in the class hierarchy (not an interface). A class may be a module class. A class knows its superclass and the interfaces it implements. It also maintains a list of its direct subclasses, so that the instances of Class form a tree of the class hierarchy.
Type of a class or interface.
Type of a class or interface. Types are created on demand when a method is called on a given ClassType.
A method implementation.
Trait impl.
Update the incremental analyzer with a new run.
Incremental optimizer. An incremental optimizer consumes the reachability analysis produced by an Analyzer, as well as trees for classes, trait impls, etc., and optimizes them in an incremental way. It maintains state between runs to do a minimal amount of work on every run, based on detecting what parts of the program must be re-optimized, and keeping optimized results from previous runs for the rest.