Runtime Type System

Description of all the information related to the type system at runtime.

Introduction

As described in the Runtime Type Encoding page, every type created at runtime have an encoding. Then encoding contains information which enables creation of objects, object tests, geting the type of the i-th generic of a class.

Type nomenclature

At runtime we have to distinguish between 2 types for each object:

• dtype
• dftype

Type description

For every computed type, we have a structure EIF_GEN_DER which contains the