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_2\mapsto \{C_1\mapsto \{f_1\mapsto f_2,g_1\mapsto g_2\}\},C3\mapsto \{C2\mapsto \{f1\mapsto f3,f\mapsto f3\}\}\}$
• $\alpha =\{C\mapsto \left\{B\right\},D\mapsto \{B,C\}\}$
• $\sigma =\{D\mapsto \{C\mapsto \left\{f1\right\}\}\}$