DynBindModel

Motivation:

Eiffels dynamic binding is somewhat more complex than that of other languages. Its structure is still very simple and can be described by giving the relation γ:

$\gamma :(\mathrm{T}\mathrm{Y}\mathrm{P}\mathrm{E}\times \mathrm{N}\mathrm{A}\mathrm{M}\mathrm{E})\to (\mathrm{T}\mathrm{Y}\mathrm{P}\mathrm{E}\to \mathrm{F}\mathrm{E}\mathrm{A}\mathrm{T}\mathrm{U}\mathrm{R}\mathrm{E})$

Relation γ contains both the static and dynamic binding part of the language. In the following feature:

f (a: ANY)
   do
      print (a.out)
   end

The static binding part of call a.out can be decribed as:

$\gamma (\mathrm{A}\mathrm{N}\mathrm{Y}\mapsto \mathrm{o}\mathrm{u}\mathrm{t})$

Namely an evaluation of γ with a tuple containing the static type of the call and the name. The result of this is a function. This function will be evaluated at runtime and yield the right feature according to the dynamic type of a.