DynBindModelExamples

This page shows

F

class C1 feature f1 do ... end g1 do ... end end

class C2 inherit B rename f1 as f2, g1 as g2 redefine f2, g2 end feature f2 do ... end g2 do ... end end

class C3 inherit C2 select f1 end C1 rename f1 as f3, g as g3 redefine f3, g3 select g3 end feature f3 do ... end g3 do ... end end

We get:

• $S=\{C_1,C_2,C_3\}$
• $\tau =\{C_1\mapsto \{f_1\mapsto \underset{\_}{C_1.f_1},g_1\mapsto \underset{\_}{C_1.g_1}\},C_2\mapsto \{f_2\mapsto \underset{\_}{C_2.f_2},g_2\mapsto \underset{\_}{C_2.g_2}\},C_3\mapsto \{f_3\mapsto \underset{\_}{C_3.f_3},g_3\mapsto \underset{\_}{C_3.g_3}\}\}$
• $\eta =\{C\mapsto \{B\mapsto \{f\mapsto f1\}\},D\mapsto \{B\mapsto \{f\mapsto f2,f\mapsto f3\}\}\}$
• $\alpha =\{C\mapsto \left\{B\right\},D\mapsto \{B,C\}\}$
• $\sigma =\{D\mapsto \{C\mapsto \left\{f1\right\}\}\}$