[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Liberty-eiffel Digest, Vol 53, Issue 9
From: |
Eric Bezault |
Subject: |
Re: Liberty-eiffel Digest, Vol 53, Issue 9 |
Date: |
Mon, 21 Feb 2022 00:10:40 +0100 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.6.1 |
On 20/02/2022 23:39, Paolo Redaelli wrote:
Wise words. I always wondered if "inherit {NONE}" is non conforming
inheritance, what's the meaning of "inherit {ANY}" or inherit
"{SOME_OTHER_CLASS}" ?
* inherit {NONE}: inheritance link (i.e. conformance) visible
by no class. No client knows that the current class inherits
from its parent, and therefore we cannot use this property
when trying to figure out whether the type of the source of an
assignment appearing in the client class conforms to the type
of the target.
* inherit {ANY}: inheritance link visible by all classes.
* inherit {SOME_OTHER_CLASS}: inheritance link visible only
by descendants of class SOME_OTHER_CLASS.
It's not very different from the notions 'feature {FOO}' or
'create {FOO}' where the feature or creation procedure is visible
only to descendants of class FOO, or to no class if FOO is NONE,
or to all classes if FOO is ANY.
--
Eric Bezault
mailto:ericb@gobosoft.com
http://www.gobosoft.com
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Peter Lubke, 2022/02/17
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Eric Bezault, 2022/02/18
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Patrick CLOAREC, 2022/02/18
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Raphael Mack, 2022/02/18
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Eric Bezault, 2022/02/20
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Paolo Redaelli, 2022/02/20
- Re: Liberty-eiffel Digest, Vol 53, Issue 9,
Eric Bezault <=
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Paolo Redaelli, 2022/02/20
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Eric Bezault, 2022/02/20
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Eric Bezault, 2022/02/20
- Re: Liberty-eiffel Digest, Vol 53, Issue 9, Paolo Redælli, 2022/02/21