... [...] ... But this does not work either, because there may not even be a type parameter in Current :-/ Maybe same_type:...
2464
Arno Wagner
arno.wagner@...
Sep 1, 2001 11:41 am
... 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...
2463
Roger Browne
egroups@...
Aug 31, 2001 9:19 pm
... 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...
2462
Arno Wagner
arno.wagner@...
Aug 31, 2001 7:05 pm
... 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...
2461
franck@...
Aug 31, 2001 11:46 am
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...
2460
gmc444@...
Aug 30, 2001 9:49 pm
... [...] ... 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...
2459
Roger Browne
egroups@...
Aug 30, 2001 7:47 pm
... 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...
2458
Eric Bezault
ericb@...
Aug 29, 2001 11:02 pm
... 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...
2457
Arno Wagner
arno.wagner@...
Aug 29, 2001 10:46 pm
... Obviously. Discounting the possibility that you are masocistic ;-) But the you _would_ have enjoyed it. Seems you either directly or indirectly liked...
2456
Eric Bezault
ericb@...
Aug 29, 2001 10:14 pm
... 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...
2455
Arno Wagner
arno.wagner@...
Aug 29, 2001 7:19 pm
... [...] ... [...] ... 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 ...
2454
Arno Wagner
arno.wagner@...
Aug 29, 2001 5:31 pm
... 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...
2453
Eric Bezault
ericb@...
Aug 29, 2001 4:38 pm
... Did I say that?!!! Whitespace are allowed everywhere between tokens. Please do not confuse language rules and style guidelines. ... In computer science...
2452
Arno Wagner
arno.wagner@...
Aug 29, 2001 2:29 pm
... 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...
2451
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 12:51 pm
... 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...
2450
Eric Bezault
ericb@...
Aug 29, 2001 12:09 pm
... 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...
2449
Arno Wagner
arno.wagner@...
Aug 29, 2001 10:56 am
... 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?...
2448
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 10:46 am
... ... Trailing . is not required here, right? Regards, Alexander Kogtenkov Object Tools, Moscow...
2447
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 10:08 am
... Nothing prevents "generating_type" from returning generic class names with space(s) before '[': "ARRAY [...]". We could use feature generator: STRING --...
2446
Roger Browne
egroups@...
Aug 29, 2001 9:52 am
... 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...
2445
Alexander Kogtenkov
kwaxer@...
Aug 29, 2001 8:21 am
... 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...
2444
Arno Wagner
arno.wagner@...
Aug 28, 2001 9:47 pm
... 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...
2443
Roger Browne
egroups@...
Aug 28, 2001 8:47 pm
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...
2442
Arno Wagner
arno.wagner@...
Aug 10, 2001 11:47 pm
... In this case, it will obviously not :-/ ... So this is something like a hirachical approach with different levels of compatibility? Sounds good for...
2441
Arno Wagner
arno.wagner@...
Aug 10, 2001 11:31 pm
... 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...
2440
Emmanuel STAPF [ISE]
manus@...
Aug 10, 2001 6:41 pm
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 ...
2439
gmc444@...
Aug 10, 2001 6:24 pm
... 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...
2438
Arno Wagner
arno.wagner@...
Aug 10, 2001 12:14 pm
... 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...
2437
gmc444@...
Aug 6, 2001 3:40 pm
... [...] ... 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...
2436
Roger Browne
egroups@...
Aug 3, 2001 8:58 am
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...
