Re: Which class provides "print(s: STRING)"?

José Bollo <[email protected]> Fri, 5 Aug 2005 19:42:38 +0200
Newsgroups gmane.comp.lang.eiffel.smalleiffel
Message-ID <[email protected]>
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?

>
> >you can also type
> >
> >	short -client NONE ANY
> >
> >and you will see the feature print
>
> Also note that for classes other than ANY, the features inherited from
> ANY are not shown except when redefined (otherwise they merely bloat the
> display).
>
> Regards,

Regards,
josé