10.3 Dependence on the operator database

The operator identification database used for type analysis within expressions is initialized from the specifications of language-defined types, operators, and operator indications (see Establishing language-defined types). Database representations for procedure operators and operators associated with user-defined types cannot be constructed until the pre-condition RootType.GotType has been established. Moreover, type analysis of expressions cannot be carried out until that information has been entered into the database.

The ProcOper and InstClass computations establish the GotOper post-condition at their associated ProcedureDenotation and TypeDenotation nodes. RootType.GotOper is the conjunction of all of those post-conditions, which ensures that all of the operators have been added to the database.

All type analysis computations have RootType.GotOper as a pre-condition.