Re: Which class provides "print(s: STRING)"?
Cyril ADRIAN <[email protected]> Sat, 06 Aug 2005 01:53:29 +0200
| Newsgroups | gmane.comp.lang.eiffel.smalleiffel |
|---|---|
| Message-ID | <[email protected]> |
José Bollo wrote:
>Le vendredi 5 Août 2005 01:05, Cyril ADRIAN a écrit :
>
>
>>José Bollo wrote:
>>
>>
>>>It comes from ANY but the short command has a bug for some classes like
>>>ANY GENERAL PLATFORM
>>>
>>>
>>It's not a bug! print is exported to {} so if you want to see it, you
>>MUST type
>>
>>
>
>Okay.
>
>But where is not the bug?
>
>AFAIK exporting to {} is like exporting to {NONE}. then the features are
>exported to NONE (and their descendants ;^) and will be secret (ETL 1992 2nd
>edition p102) so can not be used.
>
>Currently with SE I can use print in many classes (and even in expanded
>classes ;^) so the rule "{} means is exported to NONE" is false and i can
>presume that the rule is "{} means is exported to like Current". Then because
>the default client of short is ANY that is like Current i can think that
>short has a bug.
>
>Don't you find it funny?
>I would like to know what are the exact expected rules?
>
>
I don't understand. You can write print(something) because you either
inherit or insert ANY, in any case the feature is available through
inheritance.
But you cannot write x.print(something) --- because it's a feature {}
(or {NONE} as you like).
So I persist: I see no bug here.
Best regards,
--
Cyril ADRIAN Vt Sol inter planetas,
[email protected] Ita MVSICA inter Artes Liberales
http://www.cadrian.net/~cyril in medio radiat
-- Heinrich Schütz, 1640