import end
-class Object
- meth i_to_s(i: Int)
+interface Object
+ fun i_to_s(i: Int)
do
i.output
end
end
class Int
- meth output is intern
- meth +(i: Int): Int is intern
+ fun output is intern
+ fun +(i: Int): Int is intern
end
class B
-special A
- redef meth i_to_s(i: Int)
+ super A
+ redef fun i_to_s(i: Int)
do
(i+1).output
end
end
class G[E: Object]
- meth i_to_s2(a: E, i: Int)
+ fun i_to_s2(a: E, i: Int)
do
a.i_to_s(i)
end