Runtime Type Encoding

Revision as of 13:49, 1 August 2008 by Manus (Talk | contribs)

At runtime, when we need to describe an Eiffel type (TYPE_A instance in the compiler), we use the following encoding:

Legend:

Words in uppercase refer to constant defined in $EIFFEL_SRC/C/run-time/include/rt_gen_types.h
Words in red refer to another abstraction described in the above diagram
Words in green are only appearing for melted code generation
Eiffel type_id refers to the `type_id' in finalized mode and the `static_type_id' in workbench mode.
All other words should be self explanatory