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