Hi, since there seems to be no further discussion (which I will freely interpret as no serious problems with what was said so far), I will prepare a final...
Hi all, I finally found the time to prepare this. I atempted to incooperate all proposed changes. List of Changes: - Separated complex conditions into simpler...
Arno, Nice job! Minor comments only. 1. The specs for 'min' and 'max' are now nondeterministic. I'd prefer that we be up front about that, perhaps in the ...
James McKim
jcm@...
Sep 18, 2002 4:12 pm
2687
Hello Jim, ... Thanks! ... I agree. The implementors freedom should be clearly documented. ... That was my idea when I put it together. I did not see the ...
Hi, here is the last version, hopefully fit to be voted on. I have just added the things I proposed im my last message, namely head comment on nondeterminism...
Arno, I have found something: In comments when referring to "other" it should be written as "`other'" according to the standards. Your indentation also seems...
Eric, generally I'm impressed by your sharp eye! On 30 Sep 2002, at 12:52, Eric Bezault wrote: [...] ... What about: current_or_other: (Result = Current) or...
... Yes, same here. The last 3 weeks where crazy (start of the lectures and the flu going round). As to Eric's comments: O.K., I have corrected the header and...
... [...] ... Extra,trailing paranthesis. ===== Apologies for the stupid Yahoo ad below. __________________________________________________ Do you Yahoo!? Y!...
... Yes, I read again my message from the end of september and it seems that we are currently reporting again typos that I already reported back then. Should I...
No Need. I was just in a hurry and overlooked this one. What about the the other issues, is there a problem left besides typos? Arno ... -- Arno Wagner,...
... It's just one instance of a catcall. All routines taking "like current" as a parameter create a cat call when used polymorphically. This in turn is a case...
Franck Arnaud
franck@...
Oct 23, 2002 5:09 pm
2698
... Well, I had a problem in a project: Something like class B inherit A ... end and ar : A br : B ... ar.is_equal(br) This does not work. The solution was to...
... Indeed. ... SE gives a runtime error when contracts specifying this kind of symmetry are checked. ... To me the absence of a postcondition "symmetric" at...
... Not in my view. However the most "concrete common superttype" (or something like this) need not be unique. In addition its comparison operator need not be...
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...
Um, can you assure us this isn't a HW assignment? Suuuuuure looks like one.... -- Jim...
James McKim
jcm@...
Oct 31, 2002 3:15 am
2703
Hi, I finally found the time to do all the remaining small things to COMPARABLE. As there are no fundamental questions open, I will call for a vote today or...
No this ain't HW. I'm a C# .NET guy but I've got this old Eiffel project to do - Just started learning Eiffel 3 weeks ago! I'm going to learn Eiffel .NET soon...
... It is not a catcall if availability is not changed. Can someone remind me of the technical reasons why we cannot say a.is_equal(b: ANY) ? (I know, perhpas...
... 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...
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.
