import kernel
class A
- readable attr _a: Int
+ readable var _a: Int
init(a: Int)
do
end
class B
-special A
- redef meth ==(a: Object): Bool
+ super A
+ redef fun ==(a: nullable Object): Bool
do
if not a isa B then
return false
end
- assert a isa B
+
return a.a is _a
end
- redef init(b: Int)
+ init(b: Int)
do
_a = b
end