DynBindModelExamples

This page shows

Example 1

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}}$
$τ = {C_{1} \mapsto {f_{1} \mapsto \underline{C_{1} . f_{1}}, g_{1} \mapsto \underline{C_{1} . g_{1}}}, C_{2} \mapsto {f_{2} \mapsto \underline{C_{2} . f_{2}}, g_{2} \mapsto \underline{C_{2} . g_{2}}}, C_{3} \mapsto {f_{1} \mapsto \underline{C_{3} . f_{1}}, g_{1} \mapsto \underline{C_{3} . g_{1}}}}$
$η = {C_{2} \mapsto {C_{1} \mapsto {f_{1} \mapsto f_{2}, g_{1} \mapsto g_{2}}}}$
$α = {C_{2} \mapsto {C_{1}}, C_{3} \mapsto {C_{2}, C_{1}}}$
$σ = {C_{3} \mapsto {C_{2} \mapsto {f_{1}}, C_{2} \mapsto {g_{1}}}}$