Skip to search.
Get new Yahoo! Mail apps
Visit Yahoo! News for the latest.
Close this window
· Eiffel Nice Library
The Yahoo! Groups Product Blog
Check it out!
Community Service and Volunteerism
Founded: Jun 24, 1999
Already a member?
Sign in to Yahoo!
Yahoo! Groups Tips
Did you know...
Real people. Real stories.
See how Yahoo! Groups impacts members worldwide.
COMPARABLE and equality.
Hi, I agree with Jim that '<' should be the one and only basic specifier. The central question is how to specify equality. When I tried to assess the degree...
Aug 16, 2002
Possible changes to COMPARABLE
Here is an initial proposal for COMPARABLE. I think we can discuss this in one step, and vote on it in a block doing the different issues in separate votes, ...
Aug 9, 2002
ELKS and .NET
Hi everybody! Before I start to call for discussion, let me say some words about .NET. Personally I do not share the general excitement. I see a strong...
Aug 6, 2002
Re: Digest Number 367
... Hello, Arno. Actually, after Roger Browne took a break, it appears no one wanted to step into his large shoes and stand up with an agenda. So while you're...
Jul 30, 2002
It seems people are awake now ;-) Before everybody runs off in a different direction, here is a proposal for a schedule, annotated with some of the problems I...
Jul 26, 2002
Re: Digest Number 370
io/ ... ===== Apologies for the stupid Yahoo ad below. ...
Jul 26, 2002
... I guess we miss Roger's stewardship. It would be nice if someone takes over Roger's role if Roger is too busy. ... Go on working on ANY, COMPARABLE, then...
Jul 24, 2002
On vacation, hibernating or waiting for something?
Hello everybody! After the mast major effort (STRING), it seems we have trouble continuing the good work. One thing we should think about is what is most...
Jul 22, 2002
ARRAY is a kernel class.
... DS_ARRAYED_LIST if you want ARRAY storage of an integer indexed list. ... I think one point for the current situation is that ARRAY is a basic building...
Jun 24, 2002
Hello, ... and remove ... insert in the ... Yes it can. See the feature add(element: like item; index: INTEGER) in class COLLECTION. As for item removal, just...
Jun 20, 2002
Hello, a moment ago I realized that ARRAY lacks features to insert and remove items! (SmallEiffel can add_first, add_last, and remove, but not insert in the ...
Jun 20, 2002
Oops, sorry, I used the wrong group (ment for "library"
). Please forgive me! Ulrich...
Jun 11, 2002
ARRAY spec now up-to-date
... I've now updated the "Draft ELKS 2002 ARRAY" page... http://www.eiffel-
l.txt ...which should now be consistent...
Apr 25, 2002
I was looking at this last night and wondered why I had written code which assumed subarray (min, max: INTEGER): like Current rather than subarray (min, max:...
Mar 22, 2002
new or shared strings
... I agree we should inform the client, but then "may be shared or new" is also a valid spec. Really what this info gives you is whether you are able to...
Feb 22, 2002
... Immutable strings generally solve the "aliasing"
; problem as people can't modify it, but not really the object identity (=) one. They are distinct: you can...
Feb 22, 2002
... Looking at the comment, that the result must be a new string; could we use a postcondition: generating_type_
new_string: Result /= generating_type Or would...
Feb 18, 2002
39; and 'generating_
I'm travelling from today until 12 December (mostly in Australia). I'm not planning to have email contact. The current vote (ARRAY 'resize
39;) will automatically...
Feb 15, 2002
Precedence of operators in ELKS 2001 STRING
Hello, In ELKS 2001 STRING we have the following feature inherited from COMPARABLE: three_way_compariso
n (other: like Current): INTEGER -- If current object...
Feb 12, 2002
Call to vote: ARRAY 'resize
You should soon receive an automatically-
generated message from the YahooGroups polling system, inviting you to vote on the following proposal for class ARRAY:...
Feb 11, 2002
Postcondition tag name for queries: "definition&qu
... OK, there seems to be general agreement on this style guideline. At the end of this message I have shown how existing features of STRING and ARRAY would...
Feb 5, 2002
STRING: Two more of Eric's corrections addressed
... You are right. This error is in the explanatory notes rather than the class specification. This is an adopted standard, so this group can't change the text...
Feb 5, 2002
ELKS "Work in progress" pages moved to NICE server
Thanks to the recent efforts of Joseph Kiniry, the NICE server is up-and-running on our own machine (donated by CalFP and hosted by ISE): ...
Jan 28, 2002
STRING: wrapping up proposals from earlier this month
I'm using the "fast-track&qu
ot; method suggested by Franck Arnaud to "close off" the two minor proposals that we worked on earlier this month. The proposals, and...
Jan 27, 2002
ARRAY class, features count and is_empty
A fairly trivial observation, but worth a word. The postcondition of count is consistent_with_
bounds: Result = upper - lower + 1 The postcondition of (for...
Jan 25, 2002
... Nope. Ads are hardly noticeable when used through email. ... I don't think it's worth it while it's usable in email. Also the annoying ads on the web side...
Jan 18, 2002
simpler changes without a vote
... For non controversial things should we have a simpler procedure without a vote? You (or whoever maintains a spec) could say that unless someone explicitely...
Jan 12, 2002
ELKS 2001: hyper-text version
Hello, A hyper-text version of ELKS 2001 is available here: http://www.gobosoft
index.html ... My guess is that "`is_lower
Jan 11, 2002
code as a possible ELKS feature
... The most likely ELKS postcondition for 'item_code
39; in class STRING would surely be: ensure result = item(i).code which would not allow you redefine...
Jan 10, 2002
Berend de Boer
Refining STRING.as_lower, STRING.as_upper
... It seems to me that Eric has pointed out an error that is straightforward to correct. I offer the following candidate versions for consideration. The only...
Jan 10, 2002
Just address an email to email@example.com
Jump to a particular message
Copyright © 2010 Yahoo! Inc. All rights reserved.
Terms of Service