... My personal feeling would be that a test a.is_equal(b) is far more intuitive then a test a.same_type(b) and then a.is_equal(b) since the first should (from...
You should soon receive an automatically-generated message from the YahooGroups polling system, inviting you to vote on the following proposal: Refine the...
Enter your vote today! A new poll has been created for the eiffel-nice-library group: Refine the specification of class COMPARABLE to the version of 30...
eiffel-nice-library@y...
Nov 1, 2002 3:00 pm
2709
... defined ... 'asymmetry', 'transitivity', 'trichotomy', ... 'irreflexivity' -- Eric Bezault mailto:ericb@... http://www.gobosoft.com ...
Hi, I am new to Eiffel (started 3 weeks ago) and I have a multiple inheritance problem which I am not quite sure how to implement in Eiffel. Can any of you...
... The best help is to correct the above misconception (at the danger of provoking a bunch of emotive responses). Multiple inheritance is a necessary part of...
Ian Joyner
i.joyner@...
Nov 2, 2002 4:38 am
2714
Well, it really smells like a homework assignment. Whether it is or not, I can hint that you first assemble the NOVELTY_PEN class inheriting BALLPOINT_PEN and...
Ian Joyner
i.joyner@...
Nov 2, 2002 5:16 am
2715
... We hold our breath Ian, what are you up to? :-) Is it going to be EFL? -- Live long and prosper, Berend de Boer...
Arno Wagner wrote: ... What crystalised it for me was the recognition that "like Current" implies dynamic arguments and therefore, the precondition of the...
A few hints:- If you have attributes from different classes that have the same name and you need to use them as separate attributes in your new class then: ...
Hello, And sorry to start again the discussion, but ... I voted "not happy either way". The problem I find with this spec is the same as the problem with...
... Sorry I did not read that before. I agree with this "one-step- after-another" plan. Then I'll accept the COMPARABLE modification, provided that we talk...
... That's limited to classes with no descendants in the system, for calls correctly statically typed with those descendant-free types, because with 'like...
... 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...
... 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...
... For the moment the most current problem concerning this is the "symmetric" postcondition on "is_equal", which might be dealt with by modifying the...
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"...
... 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...
... 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...
... 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...
... 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...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
