interface Object
end
-
-universal Int
+enum Bool end
+enum Int
fun output is intern
fun +(o: Int): Int is intern
end
class Foo
- var _a1: Int
- readable var _a2: Int
+ var a1: Int is noinit
+ var a2: Int is noinit
fun run
do
_a1.output
- a2.output
+ _a2.output
end
fun run_other(o: Foo)
end
class Bar
-special Foo
- var _a3: Int
+ super Foo
+ var a3: Int is noinit
redef fun run
do
_a1.output
init
do
- nop
+ if false then super # no auto super init call
#alt3#run
_a1 = 10
#alt4#run_other(self)