DynBindModelExamples

This page shows

Example 1

=The system

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 redefine f1, g1 select g1 end feature f1 do ... end g1 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_1\mapsto \underset{\_}{C_3.f_1},g_1\mapsto \underset{\_}{C_3.g_1}\}\}$
• $\eta =\{C_2\mapsto \{C_1\mapsto \{f_1\mapsto f_2,g_1\mapsto g_2\}\}\}$
• $\alpha =\{C_2\mapsto \left\{C_1\right\},C_3\mapsto \{C_2,C_1\}\}$
• $\sigma =\{C_3\mapsto \{C_2\mapsto \left\{f_1\right\},C_2\mapsto \left\{g_1\right\}\}\}$