end
class B
-special A
- meth foo(i: Int) do i.output
+ super A
+ fun foo(i: Int) do i.output
init do end
end
var a0: A = new B
if not a isa B then
#alt4#a.foo(-4)
a = new B
- assert a isa B
+
a.foo(3)
end
a.foo(4)
a = a0
while a isa B do
- #alt8#a.foo(5)
+ a.foo(5)
a = new A
#alt5#a.foo(-5)
end
while not a isa B do
#alt7#a.foo(-7)
a = new B
- assert a isa B
+
a.foo(6)
end
#alt8#a.foo(7)