I'll be away for a few weeks from today. Here's a summary of where we are at: The ELKS 2001 STRING proposal was submitted to the NICE Board, who are voting on...
Roger Browne
egroups@...
Aug 3, 2001 8:58 am
2437
... [...] ... Okay :-) Looking back on our archive, it appears that in early 2000 we voted to defer any decisions of make_from_array. It looks like there were...
gmc444@...
Aug 6, 2001 3:40 pm
2438
... Which is a creation feature. As ARRAY inherits from COLLECTION via ARRAYED_COLLECTION, this can have an ARRAY argument. I think it would be better to have...
Arno Wagner
arno.wagner@...
Aug 10, 2001 12:14 pm
2439
... Arno Wagner <arno.wagner@a...> wrote ... Arno, I agree that it would be very nice to allow a higher level of abstraction than ARRAY to serve as the input...
gmc444@...
Aug 10, 2001 6:24 pm
2440
The idea of creating an array from a given COLLECTION is quite nice, but I believe it will not help ELKS. What we are looking here for NICE and ELKS is to ...
Emmanuel STAPF [ISE]
manus@...
Aug 10, 2001 6:41 pm
2441
... Not very similar to SE's approach. Well, I had to ask. Sometimes problems you expect are not there. Seems this one is. ... I agree. For a first...
Arno Wagner
arno.wagner@...
Aug 10, 2001 11:31 pm
2442
... In this case, it will obviously not :-/ ... So this is something like a hirachical approach with different levels of compatibility? Sounds good for...
Arno Wagner
arno.wagner@...
Aug 10, 2001 11:47 pm
2443
Thanks, Greg for digging back into the archive regarding 'make_from_array'. I agree with your summary. We sorted out a lot of the remaining issues when...
Roger Browne
egroups@...
Aug 28, 2001 8:47 pm
2444
... Right. I agree completely. I misjudged the problem with the unstandardised anchestry and agree that this is not the time to work on it. [...] ... What, a...
Arno Wagner
arno.wagner@...
Aug 28, 2001 9:47 pm
2445
... Yes, it is. ... It's mostly to follow the same style in the specification: postconditions for is_double, is_integer, is_real are all in...
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 8:21 am
2446
... I see your point. I didn't realise we were already using the "comment-after-tag" style in other parts of the specification. We should certainly make it...
Roger Browne
egroups@...
Aug 29, 2001 9:52 am
2447
... Nothing prevents "generating_type" from returning generic class names with space(s) before '[': "ARRAY [...]". We could use feature generator: STRING --...
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 10:08 am
2448
... ... Trailing . is not required here, right? Regards, Alexander Kogtenkov Object Tools, Moscow...
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 10:46 am
2449
... Indeed. Although I am not sure why. The formal grammars in ETL do _not_ allow spaces here if I read them correctly. Is this in the text of ETL somewhere?...
Arno Wagner
arno.wagner@...
Aug 29, 2001 10:56 am
2450
... ETL page 412: "A break is made of a sequence of one or more of the following characters, known as break characters: . Blank (also known as space) ..." ETL...
Eric Bezault
ericb@...
Aug 29, 2001 12:09 pm
2451
... Yes, we want to prevent that, but with generating_type/generator we can only be sure that the returned type is ARRAY. We cannot be sure that the returned...
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 12:51 pm
2452
... Actually we can ensure it in the one place where we don't need it by using same_type in the postcondition ... and mask this postcondition in children. Not...
Arno Wagner
arno.wagner@...
Aug 29, 2001 2:29 pm
2453
... Did I say that?!!! Whitespace are allowed everywhere between tokens. Please do not confuse language rules and style guidelines. ... In computer science...
Eric Bezault
ericb@...
Aug 29, 2001 4:38 pm
2454
... Yes, I should have read your mail more closely. Somehow I didn't see the OOSC2 in front of ''page 895: "you will use a space: . Before an opening...
Arno Wagner
arno.wagner@...
Aug 29, 2001 5:31 pm
2455
... [...] ... [...] ... O.k. I had a look into ETL, Chapter 12 and this is indeed possible. So it is not possible anymore to establish some correspondence ...
Arno Wagner
arno.wagner@...
Aug 29, 2001 7:19 pm
2456
... Obviously I don't agree with you, otherwise I wouldn't have read it several times ;-) As a side note, I'm quite surprised that some members of the NICE...
Eric Bezault
ericb@...
Aug 29, 2001 10:14 pm
2457
... Obviously. Discounting the possibility that you are masocistic ;-) But the you _would_ have enjoyed it. Seems you either directly or indirectly liked...
Arno Wagner
arno.wagner@...
Aug 29, 2001 10:46 pm
2458
... Yes, when I wrote my message I was sure that someone would say that ;-) ... I didn't ask for standardization. I'm just surprised, that's all. -- Eric...
Eric Bezault
ericb@...
Aug 29, 2001 11:02 pm
2459
... Several people tried to solve this, but it seems there isn't a completely rigorous way to specify this in the postcondition. Specifically, we couldn't find...
Roger Browne
egroups@...
Aug 30, 2001 7:47 pm
2460
... [...] ... Actually, I've been wincing and trying to decide whether or not I should propose just that. This is not the first time we've wrestled with an...
gmc444@...
Aug 30, 2001 9:49 pm
2461
I think we should forget about trying to find an executable postcondition for proving the type of 'array'. Eiffel is not really a reflexive language and I...
franck@...
Aug 31, 2001 11:46 am
2462
... I agree. That is why I called them hacks. My initial hope was to find a working hack and then refine it to something reasonably elegant. But that seems to...
Arno Wagner
arno.wagner@...
Aug 31, 2001 7:05 pm
2463
... Fine by me, _if_ we can come up with a good informal wording. ... If I were to read this (without already knowing what it is about), I wouldn't have a clue...
Roger Browne
egroups@...
Aug 31, 2001 9:19 pm
2464
... 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:...
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.
