It's a pity 'cause we end up with four clauses instead of just one, but I don't see an alternative given there's no agreement on what CHARACTER.out should be. ...
James McKim
jcm@...
May 1, 2000 2:00 pm
1289
I was pleasantly surprised to find that the existing implementations of STRING 'copy' seem to be compatible. Here's a version that we can use as a basis for...
Roger Browne
egroups@...
May 1, 2000 8:52 pm
1290
... That's my vote. Regards, Ulrich...
Ulrich Windl
ulrich.windl@...
May 2, 2000 6:54 am
1291
On Tuesday, April 25, 2000 6:17 PM, Durchholz, Joachim ... font, ... which ... comment ... I also use a monospace font for all source code editing, because...
Simon Parker
sparker@...
May 2, 2000 8:52 am
1292
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class STRING: refine the postcondition of...
eiffel-nice-library@e...
May 4, 2000 11:42 am
1293
Enter your vote today! Check out the new poll for the eiffel-nice-library group: Proposal for class STRING: Refine the specification of 'put': <pre> 4 MAY...
eiffel-nice-library@e...
May 4, 2000 11:44 am
1294
You should soon receive a message from eGroups inviting you to vote on the following proposal: Proposal for class STRING: Refine the specification of 'put': 4...
Roger Browne
egroups@...
May 4, 2000 11:44 am
1295
My vote is: "accept the proposal". Ulrich...
Ulrich Windl
ulrich.windl@...
May 4, 2000 11:55 am
1296
Enter your vote today! Check out the new poll for the eiffel-nice-library group: Proposal for class STRING: Refine the speficiation of feature 'is_equal': ...
eiffel-nice-library@e...
May 6, 2000 3:44 pm
1297
You should soon receive a message from eGroups inviting you to vote on the following proposal: Proposal for class STRING: Refine the speficiation of feature ...
Roger Browne
egroups@...
May 6, 2000 3:44 pm
1298
Now we come to a difficult feature: 'make_from_string'. Here's how it looks in ELKS 95 STRING: make_from_string (s: STRING) -- Initialize from the characters...
Roger Browne
egroups@...
May 6, 2000 4:15 pm
1299
... The use of `make_from_string' in ISE libraries show that we do not depend on this behavior at all. Therefore users should decide on what should be the ...
Emmanuel STAPF
manus@...
May 7, 2000 12:15 am
1300
Minor gripe: The opening parenthese after 'implies' is superfluous. ('implies' is a logical connective and has a lower priority than 'and' and 'or', just as in...
Durchholz, Joachim
joachim.durchholz@...
May 8, 2000 8:24 am
1301
Good morning. You point out the shared implementation problem very clearly, as usual. Thanks, Roger! There are plenty of ways to do similar things: Clone gives...
Simon Parker
sparker@...
May 8, 2000 1:16 pm
1302
Good morning. ... [...] ... I agree. ... Regards, Simon Simon Parker +353 87 249 7859...
Simon Parker
sparker@...
May 8, 2000 1:16 pm
1303
... The latter is easy enough to do. However, there's a valid reason to have make_from_string in the standard: It gives a uniform way to (re)initialize...
Durchholz, Joachim
joachim.durchholz@...
May 8, 2000 1:40 pm
1304
On Monday, May 08, 2000 2:40 PM, Durchholz, Joachim ... It ... in ... using ... This is a reasonable use of the feature, and the name is entirely appropriate....
Simon Parker
sparker@...
May 8, 2000 2:22 pm
1305
... I see the point of Simon: the true semantics of make_from_string are often given by the proper descendants. The 'special' preconditions of this feature ...
Ignacio Calvo
icalvo@...
May 9, 2000 12:29 am
1306
... Yes - but it's accidental that DIRECTORY_NAME and FILE_NAME have a common ancestor below STRING. I can imagine that other descendants of STRING exist, and...
Durchholz, Joachim
joachim.durchholz@...
May 9, 2000 9:57 am
1307
Good morning. ... Fair enough. There seems to be a case for the feature. ... I agree. ... Yes, it's a predictable misunderstanding. ... Ah, so a default...
Simon Parker
sparker@...
May 9, 2000 11:29 am
1308
... It's not quite as simple as that. If we look at PATH_NAME, we see that the version of 'make_from_string' that was inherited from STRING is renamed to...
Roger Browne
egroups@...
May 9, 2000 12:40 pm
1309
... Ah yes, you're right. This is doubtlessly because creation routines aren't inherited (and instead we have some "generic creation" stuff). ... Hmm... yes,...
Durchholz, Joachim
joachim.durchholz@...
May 9, 2000 1:50 pm
1310
... There's no apology needed. As you said, it's much better to discuss real examples than hypothetical ones. So thanks for posting the example. I think it...
Roger Browne
egroups@...
May 9, 2000 3:29 pm
1311
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class STRING: Refine the speficiation of feature...
eiffel-nice-library@e...
May 9, 2000 8:26 pm
1312
The following eiffel-nice-library poll is now closed. Here are the final results: POLL QUESTION: Proposal for class STRING: Refine the specification of 'put':...
eiffel-nice-library@e...
May 9, 2000 8:27 pm
1313
Hello, in preparation to a major vacation I'm signing off from this list until I return in June. Thanks to everyone for their contributions, and I hope you'll...
Ulrich Windl
ulrich.windl@...
May 10, 2000 7:24 am
1314
Last year, we voted to change the name of STRING.empty to 'is_empty'. We also chose 'is_empty' as the name of the corresponding feature in ELKS 2000 ARRAY. But...
Roger Browne
egroups@...
May 10, 2000 7:22 pm
1315
No issues have been raised regarding the version of 'copy' posted for discussion on 1 May, so I am putting it to a vote now. You should soon receive a message...
Roger Browne
egroups@...
May 11, 2000 11:25 am
1316
Enter your vote today! Check out the new poll for the eiffel-nice-library group: Proposal for class STRING: Refine the specification of 'copy': "1 MAY...
eiffel-nice-library@e...
May 11, 2000 11:26 am
1317
Here's what I see as a summary of the current discussion on STRING 'make_from_string': 1. The original intention was that 'make_from_string' would be useful to...
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.
