... That's limited to classes with no descendants in the system, for calls correctly statically typed with those descendant-free types, because with 'like...
2723
Peter Horan
peter7723
Nov 4, 2002 12:19 am
... Thanks. I'll have to take a look at the catcall definitions again. -- Peter Horan School of Information Technology peter@......
2724
Peter Horan
peter7723
Nov 4, 2002 3:32 am
... For some reason, I have always thought of the acronym CAT standing for Changed Availabilty AND Type, whereas it is Changed Availablity OR Type. So, because...
2725
Ulrich Windl
ujmw2001
Nov 4, 2002 11:51 am
Please to to the newsgroup comp.lang.eiffel with such issues....
2726
Ulrich Windl
ujmw2001
Nov 4, 2002 12:02 pm
... "denied"? "defined"! ;-) Ulrich...
2727
Franck Arnaud
nenieorg
Nov 5, 2002 12:37 pm
... Yes, right. Thinking about it, it is indeed very poorly documented for an Eiffel user (when I earlier said "well documented" I thought about "well...
2728
Arno Wagner
gweihir2
Nov 5, 2002 1:44 pm
... For the moment the most current problem concerning this is the "symmetric" postcondition on "is_equal";, which might be dealt with by modifying the...
2729
Arno Wagner
gweihir2
Nov 8, 2002 1:03 pm
Dear group! With the somewhat delayed poll result we can move on to the next step. (Delayed because of my set-up: I was not sure whether "close on the 7th"...
2730
Eric Bezault
gobosoft
Nov 8, 2002 1:37 pm
... According to ETL2 page 120, the assertions are checked in the order they appear in the class text, and their semantics is as if they were separated by "and...
2731
Arno Wagner
gweihir2
Nov 8, 2002 2:08 pm
... I did not find that. O.k., so that is not a problem. My true proposal is further down in the text. However this is important to keep in mind, as this group...
2732
Eric Bezault
gobosoft
Nov 8, 2002 2:17 pm
... ETL1 and ETL2 are mostly the same (published in 1991 and 1992). You might be confused by ETL3, which is still a work in progress by BM and ECMA. -- Eric...
2733
Eric Bezault
gobosoft
Nov 8, 2002 2:20 pm
... Yes, I understood that, I just wanted to correct this imprecision in your reasoning, but your proposal is still valid. -- Eric Bezault ...
2734
Arno Wagner
gweihir2
Nov 8, 2002 3:05 pm
... Indeed, I am. Sorry. O.k., close attention to postcondition order in the future. Arno -- Arno Wagner, Communication Systems Group, ETH Zuerich,...
2735
Arno Wagner
gweihir2
Nov 8, 2002 3:07 pm
... You where perfectly right. Otherwise I would still be ignorant about the significance of postcondition order. Since I am the person that found ETL "boring...
2736
Eric Bezault
gobosoft
Nov 8, 2002 4:22 pm
... Since 1990 (i.e. before it got first published) I probably read it 4 or 5 times cover to cover. I personally find it well written and easy to read ;-) -- ...
2737
Arno Wagner
gweihir2
Nov 8, 2002 4:24 pm
... I seem to recall that we had exactly the same argument before ;-) Arno -- Arno Wagner, Communication Systems Group, ETH Zuerich, wagner@... ...
2738
Roger Browne
eiffeltm
Nov 8, 2002 9:25 pm
... If you're comfortable using CVS, Joseph Kiniry can advise you how to update the website. Otherwise, you can send Joseph copies of major new standards to...
2739
Arno Wagner
gweihir2
Nov 8, 2002 10:31 pm
CVS is fine. I will contact Joseph. Thank you! Arno ... -- Arno Wagner, Communication Systems Group, ETH Zuerich, wagner@... GnuPG: ID: 1E25338F...
2740
Cyril ADRIAN
cad_sxb
Nov 9, 2002 6:57 am
Hello Arno, all, ... Arno> With the somewhat delayed poll result we can move on to the Arno> next step. Great! :o) Arno> There is indication that the...
2741
Peter Horan
peter7723
Nov 9, 2002 7:21 am
... So, the proposal is to weaken preconditions and strengthen postconditions. This will be fine for any current clients. For suppliers, the vendors, work may...
2742
Franck Arnaud
nenieorg
Nov 11, 2002 12:13 pm
First, I'd like to say I'm a bit reluctant about your proposal, because as I said before it's something more language related IMHO (so beyond our remit)....
2743
Arno Wagner
gweihir2
Nov 20, 2002 7:27 pm
As the discussion has mostly died down, now would be the time to summarize and drive the discussion on. I am currently at the ACM CCS conference in Washngton...
2744
Joseph Kiniry
kiniry
Nov 21, 2002 1:47 pm
... I should remind everyone that Roger set up a work-in-progress web at eiffel-nice.org that we should keep up-to-date. Typically, whoever is driving the...
2745
Franck Arnaud
nenieorg
Nov 26, 2002 1:23 pm
... I think that answer the ANY vs. like Current question, as this new rule allows to "stop" the automatic like Current redefinitions and hence have a subset...
2746
Eric Bezault
gobosoft
Nov 26, 2002 2:03 pm
... But we still have a potential CAT-call in the postcondition "symmetric" (i.e. other.is_equal (Current)). For example: STRING.is_equal (STRING): BOOLEAN ...
2747
Alexander Kogtenkov
kogtenkov
Nov 26, 2002 3:12 pm
... I agree. If I'm not mistaken the CAT-call problem can be solved only by 1) strict validity rules - this is hard to enforce in the compilers and is almost...
2748
Franck Arnaud
nenieorg
Nov 27, 2002 11:40 am
... Yes, or even without postcondition: a_string.is_equal (a_cucumber) -- a_string, a_cucumber: ANY is also a catcall, be it with like Current, or ANY ...
2749
Eric Bezault
gobosoft
Nov 27, 2002 1:52 pm
... But then what is the purpose of having `is_equal' in class ANY if we can use `same_point'? ... Hmmm, I think that this answers my question above. ...
2750
Dominique Colnet
dominique.colnet@...
Nov 27, 2002 6:02 pm
... Perfectly right. ... I don't think. Actually, we (the SmartEiffel team) are really happy with this new situation as it is now implemented in our...
2751
Dominique Colnet
dominique.colnet@...
Nov 27, 2002 6:19 pm
... If we decide that the signature are: {STRING}.is_equal(STRING): BOOLEAN {MY_STRING}.is_equal(STRING): BOOLEAN I.E. without covariance, there are no more...
