... My warped brain again.... ... I think this is fine. It needs a little thought on part of the reader about what the result type may be, but no traps or...
Arno Wagner
arno.wagner@...
Sep 1, 2001 11:41 am
2465
... [...] ... But this does not work either, because there may not even be a type parameter in Current :-/ Maybe same_type:...
Arno Wagner
arno.wagner@...
Sep 1, 2001 12:49 pm
2466
... Well, that's not how I understand it. I've always seen ANY.generator as something more like a debug aid (to put in print statements say) rather than...
Franck Arnaud
franck@...
Sep 2, 2001 2:30 pm
2467
... So, it might be better to move the comment from the header to the postcondition: -- New ARRAY having the same items as `Current' ... ensure ... ...
Alexander Kogtenkov
kwaxer@...
Sep 3, 2001 8:16 am
2468
Enter your vote today! A new poll has been created for the eiffel-nice-library group: Proposal for class ARRAY: Add features 'make_from_array', 'array' and ...
eiffel-nice-library@y...
Sep 3, 2001 8:37 am
2469
[ The only point of disagreement about these features is whether or not the 'result_type' assertion should be included or not. I've decided to run the vote...
Roger Browne
egroups@...
Sep 3, 2001 8:37 am
2470
... This is a nice solution, in my opinion. Unfortunately, I've already started the vote for the features without a 'result_type' assertion. Please continue to...
Roger Browne
egroups@...
Sep 3, 2001 10:34 am
2471
... I like this. Regards, Arno -- Arno Wagner Dipl. Inform. ETH Zuerich wagner@... GnuPG: ID: 1E25338F FP: 0C30 5782 9D93 F785 E79C...
Arno Wagner
arno.wagner@...
Sep 3, 2001 11:56 am
2472
... Ditto. -- Peter Horan School of Computing and Mathematics peter@... Deakin University +61-3-5227 1234 (Voice)...
Peter Horan
peter@...
Sep 4, 2001 1:28 am
2473
I like this. Regards, Simon Simon Parker +353 87 249 7859...
Simon Parker
sparker@...
Sep 4, 2001 8:54 am
2474
... Me too!...
James McKim
jcm@...
Sep 4, 2001 1:29 pm
2475
... I like Alexander's solution. -- Jeff Clark Free Dmitry Sklyarov! http://noframes.linuxjournal.com/articles/currents/0034.html...
Jeff Clark
jeff.clark@...
Sep 4, 2001 8:27 pm
2476
I too like Mr. Kogtenkovs' suggestion. Regards Chris Saunders chris.saunders@... ... From: "Jeff Clark" <jeff.clark@...> To:...
Chris Saunders
chris.saunders@...
Sep 5, 2001 12:45 am
2477
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class ARRAY: Add features 'make_from_array',...
eiffel-nice-library@y...
Sep 7, 2001 11:11 am
2478
... Fortunately, Alexander's solution was acceptable to the members of this group, so the problem is solved for feature 'array'. ... Once we move on to other...
Roger Browne
egroups@...
Sep 10, 2001 10:27 am
2479
Here are my ideas about the refinements needed to make ARRAY features usable in descendants. The first goal is to ensure that the following class would still...
Roger Browne
egroups@...
Sep 11, 2001 11:13 am
2480
... That is the minimal requirement. Adding features should work when this works. ... I agree fully. This is the cleanest solution. Also comming from the ...
Arno Wagner
arno.wagner@...
Sep 11, 2001 3:15 pm
2481
Some time ago we considered extensions to the class CHARACTER - new features as_lower and as_upper. It appears that the postconditions are not type-correct,...
Alexander Kogtenkov
kwaxer@...
Sep 13, 2001 8:23 am
2482
... ...because the arguments of features 'has' and 'index_of' are of type CHARACTER which is an expanded type. Therefore, any calls to 'has' and 'index_of'...
Roger Browne
egroups@...
Sep 14, 2001 11:15 am
2483
... It looks like not all the places (item vs. Current) were corrected: see the versions below. Another problem is that if we switch the result type to "like...
Alexander Kogtenkov
kwaxer@...
Sep 14, 2001 12:55 pm
2484
... Thanks for the correction. ... This seems to make sense. Does everyone agree that the appropriate signature for 'as_lower' is the one with result type...
Roger Browne
egroups@...
Sep 15, 2001 10:50 am
2485
... I agree. Otherwise we would have a hidden "as_string" in there. Arno -- Arno Wagner Dipl. Inform. ETH Zuerich wagner@... GnuPG:...
Arno Wagner
arno.wagner@...
Sep 15, 2001 6:55 pm
2486
The following proposals were discussed earlier this month. There was some agreement and no dissent, so I'm putting them to a vote. You should soon receive an...
Roger Browne
egroups@...
Sep 25, 2001 8:58 pm
2487
Enter your vote today! A new poll has been created for the eiffel-nice-library group: Proposal for class CHARACTER: Refine the specification of 'as_lower' and...
eiffel-nice-library@y...
Sep 25, 2001 9:02 pm
2488
Enter your vote today! A new poll has been created for the eiffel-nice-library group: Proposal for class ARRAY: Refine the specification of 'resize', 'force',...
eiffel-nice-library@y...
Sep 25, 2001 9:07 pm
2489
Accept...
James McKim
jcm@...
Sep 26, 2001 12:56 pm
2490
Accept...
James McKim
jcm@...
Sep 26, 2001 12:57 pm
2491
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class ARRAY: Refine the specification of...
eiffel-nice-library@y...
Sep 30, 2001 1:17 am
2492
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class CHARACTER: Refine the specification of...
eiffel-nice-library@y...
Sep 30, 2001 1:17 am
2493
The two recent polls have both been passed. These polls related to class ARRAY and CHARACTER. The change to class ARRAY will upgrade ELKS 2000 ARRAY into ELKS...
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.
