import end
interface Object
- meth output is abstract
+ fun output is abstract
end
-universal Int
- redef meth output is intern
+enum Int
+ redef fun output is intern
end
-universal Bool
- redef meth output is intern
+enum Bool
+ redef fun output is intern
end
-meth maybe: Bool do return false
+fun maybe: Bool do return false
var a: Object
#alt1#a.output
var c: Object
if maybe then
- c = 2 #!alt2# #!alt4#
+ c = 2 #alt2# #alt4#
else
- c = 2 #!alt3# #!alt4#
+ c = 2 #alt3# #alt4#
end
c.output