The Type Analysis Module

Type analysis is required to a limitted degree during parsing, as well as during semantic analysis that may follow. During overload resolution type analysis is needed to find the best conversion (standard or user defined), and for partial template specialization it is needed to match certain types for which a template has to be instantiated.

The type system consists of trees composed of Type nodes which may be looked up in terms of their encoded names (see the section called “The Encoding class”) in a TypeRepository.

The Type Repository

Overload Resolution

The Template Repository

Type Evaluation

Constant expressions