Hi, the old smartzilla insn't still available then i can't check the
following encountered problem fully described by the 4 classes A, B, C
and M below. When compiled with assertion (for example: compile -clean
-o m m) i have a crash. Stack follows. It seems to be a conceptual
problem when mixing contract and inherited features. A hack is possible
but i would like to open a bug in the bug system.
a+ josé
class A
inherit
ANY
redefine is_equal end
feature
is_equal(other: like Current): BOOLEAN is
do
Result := Current = other
end
end
class B
inherit
ANY
redefine is_equal end
feature
is_equal(other: like Current): BOOLEAN is
do
Result := True
end
end
class C
inherit
A
redefine is_equal end
B
redefine is_equal end
feature
is_equal(other: like Current): BOOLEAN is
do
Result := Precursor{B}(other)
and then Precursor{A}(other)
end
end
class M
creation
make
feature
c1, c2: C
make is
do
create c1
create c2
if c1.is_equal(c2) then
print("equality%N")
else
print("inequality%N")
end
end
end
*** Error at Run Time ***: Ensure Assertion Violated.
*** Error at Run Time ***: commutative
4 frames in current stack.
===== Bottom of run-time stack =====
<system root>
Current = M#0x9f19038
[ c2 = #0x9f1b048
c1 = #0x9f1b040
]
line 7 column 2 file /home/jose/m.e
======================================
make M
Current = M#0x9f19038
[ c2 = #0x9f1b048
c1 = #0x9f1b040
]
line 11 column 10 file /home/jose/m.e
======================================
is_equal C
Current = C#0x9f1b040
other = C#0x9f1b048
Result = False
line 10 column 4 file /home/jose/c.e
======================================
is_equal C
Current = C#0x9f1b040
other = C#0x9f1b048
Result = True
line 63 column 57 file /home/jose/SmartEiffel/lib/kernel/any.e
===== Top of run-time stack =====
*** Error at Run Time ***: Ensure Assertion Violated.
*** Error at Run Time ***: commutative
