Re: Conformance (SE2.2 beta #5)
Philippe Ribet <[email protected]> Thu, 03 Nov 2005 21:11:49 +0100
| Newsgroups | gmane.comp.lang.eiffel.smalleiffel |
|---|---|
| Message-ID | <[email protected]> |
Howard Thomson wrote:
>Hi all,
>
>I have an error message from SE about rejected conformance:
>
>****** Fatal Error: Cannot pass `sorter' which is of type
>SB_H_ARRAY_SORTER[SB_FILE_LIST_ITEM]
>into formal type SB_SORTER[SB_FILE_LIST_ITEM].
>Line 35 column 25 in SB_SORTABLE_ITEM_CONTAINER
>(/data/eiffel/lib/gui/sb/no-BIT/widgets_mods/sb_sortable_item_container.e):
> set_items_sorter(sort: like items_sorter) is
> ^
>Line 101 column 21 in SB_FILE_LIST_DEF
>(/data/eiffel/lib/gui/sb/no-BIT/widgets_mods/sb_file_list_def.e):
> set_items_sorter(sorter) -- ???
> ^
>
>I have checked that SB_H_ARRAY_SORTER inherits (indirectly) from SB_SORTER,
>and the generic parameter (SB_FILE_LIST_ITEM) is effectively the same in
>each.
>
>Can anyone explain, succinctly, whether there are any circumstances where the
>above conformance should fail?
>
>
I can see 2 points to check first:
- verify that inherit is used, not insert
- verify files really loaded with -verbose flag for classes
SB_H_ARRAY_SORTER, SB_SORTER and intermediate ones.
Best regards,
--
Philippe Ribet
The README file said
"Requires Windows 95, NT 4.0, or better."
So... I installed it on Linux!