Re: [gobo-eiffel-develop] Binary search tree

[Eric B. <er...@go...>]

Daniel Tuser wrote:
> Eric Bezault wrote:
>> I tried to compiled it with the very latest version of gec
>> and it compiled. So I guess the problem has been fixed since
>> you last tried it.
>>
> 
> I gave you the wrong class, with that class. With that class and the 
> previous version of the binary search tree implementation you get the 
> compile error with gec and not problem with the compiler of Eiffel 
> Software. The reason for that problem seams to be a different 
> interpretation of anchored types. My intuition tells me that gec is 
> correct, but I didn't check it in the ECMA specification.

I guess you were referring to these errors:

----
[VJAR] class DS_RED_BLACK_TREE (DS_COMMON_BINARY_SEARCH_TREE,285,18): 
the source of the assignment (of type 'DS_BINARY_SEARCH_TREE_NODE 
[INTEGER, INTEGER]') does not conform nor convert to its target entity 
(of type 'DS_RED_BLACK_TREE_NODE [INTEGER, INTEGER]').
----
[VJAR] class DS_AVL_TREE (DS_COMMON_BINARY_SEARCH_TREE,285,18): the 
source of the assignment (of type 'DS_BINARY_SEARCH_TREE_NODE [INTEGER, 
INTEGER]') does not conform nor convert to its target entity (of type 
'DS_AVL_TREE_NODE [INTEGER, INTEGER]').
----
[VJAR] class DS_BINARY_SEARCH_TREE_SET 
(DS_COMMON_BINARY_SEARCH_TREE,285,18): the source of the assignment (of 
type 'DS_COMMON_BINARY_SEARCH_TREE_NODE [INTEGER, INTEGER]') does not 
conform nor convert to its target entity (of type 
'DS_BINARY_SEARCH_TREE_SET_NODE [INTEGER]').
----
[VJAR] class DS_RED_BLACK_TREE_SET 
(DS_COMMON_BINARY_SEARCH_TREE,285,18): the source of the assignment (of 
type 'DS_COMMON_BINARY_SEARCH_TREE_NODE [INTEGER, INTEGER]') does not 
conform nor convert to its target entity (of type 
'DS_RED_BLACK_TREE_SET_NODE [INTEGER]').
----
[VJAR] class DS_AVL_TREE_SET (DS_COMMON_BINARY_SEARCH_TREE,285,18): the 
source of the assignment (of type 'DS_COMMON_BINARY_SEARCH_TREE_NODE 
[INTEGER, INTEGER]') does not conform nor convert to its target entity 
(of type 'DS_AVL_TREE_SET_NODE [INTEGER]').
----

These are what I call flat Degree 3 errors. I think that gec is
indeed correct in reporting these errors because it is part of
ECMA. As for the compatibility with ISE EiffelStudio, I think that
these errors will also be reported if you add the option
"full_class_checking" in your ECF file.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com