So far only a 7-zip file is available for EiffelStudio 6.7. I have no idea how to install this and the instructions at ...
17252
David Le Bansais
dlebansais
Aug 4, 2010 10:09 am
If you go to http://sourceforge.net/projects/eiffelstudio/files/ and select the Eiffel 6.6 folder, the msi installer for Windows 32-bit release 83873 is...
17253
Chris Saunders
saunders7777
Aug 4, 2010 11:42 pm
I got a reply from Manu that describes the steps I would need to follow to install EiffelStudio 6.7 on Windows. I would prefer not to have to do these things...
17254
Emmanuel Stapf [ES]
manus_eiffel
Aug 4, 2010 11:55 pm
The next release will have one included. To follow the development release of 6.7 I recommend using the .7z package which is faster to download, install and...
17255
Robert Jurjevic
robertjurjevic
Aug 5, 2010 10:55 am
Dear OO colleagues, I am a great supported of "design by contract" approach and find it very useful in commercial real life programming practice (I don't use...
17256
dwilliams@...
holworth
Aug 5, 2010 11:31 am
Hello Robert If you need that level of integrity you should be considering: spark Ada. You can learn more http://www.praxis-his.com/ The spark Ada form of...
17257
David Le Bansais
dlebansais
Aug 5, 2010 11:42 am
You could use an intermediate class FAILSAFE_LOG that redefines all features to call the precursor by default. In each feature, you can catch exceptions, and...
17258
rfo@...
roger.osmond
Aug 5, 2010 6:49 pm
Hi Robert Writing good contracts can go a long way to addressing your concerns, but ultimately, there will be failures of some sort. The goal is the reduce...
17260
Berend de Boer
berenddeboer
Aug 5, 2010 9:41 pm
... Robert> Let us assume that you are responsible for a delicate Robert> program people lives may depend on, say a medical software Robert> for life support....
17261
discs94
Aug 5, 2010 10:19 pm
Dear Eiffel community, Firstly, thank you for Eiffel Studio and for this forum; also thank you for the Eiffel language. I have been doing a lot of research on...
17262
Colin LeMahieu
colinlema
Aug 5, 2010 10:34 pm
Try closing your project and when you re-open it, check the "clean" box on the open dialog. Then recompile. ... [Non-text portions of this message have been...
17263
Peter Gummer
peter_gummer
Aug 5, 2010 10:42 pm
... Hi Andrew, This is because, between EiffelStudio 6.5 and 6.6, gobo.ecf was removed. I complained about this on this bug on this mailing list about a month...
17264
Emmanuel Stapf [ES]
manus_eiffel
Aug 5, 2010 11:34 pm
Note that using the compatible version of EiffelStudio 6.6 should work. The current Traffic release hasn't been updated to work with the new version of the ...
17265
Peter Gummer
peter_gummer
Aug 5, 2010 11:48 pm
... Manu, are you saying that the standard Gobo libraries in EiffelStudio 6.6 contain breaking changes, and that this is why gobo.ecf was removed from the...
17266
Emmanuel Stapf [ES]
manus_eiffel
Aug 5, 2010 11:56 pm
... We introduced breaking changes in EiffelStudio 6.6 libraries and to ensure smooth transition we introduced the compatible mode. What we made sure is that...
17267
Jim Cochrane
xxjtczz
Aug 6, 2010 4:05 am
On Fri, 06 Aug 2010 09:40:57 +1200 ... To add to what Berend said, the point is to get the requirements for the system right and then document and implement...
17268
luca paganotti
luca.paganotti
Aug 6, 2010 9:03 am
Hi all, I'm just wondering if exists anything like the xmlbeans scomp tool for eiffel to be able to generate eiffel code from an XML schema. Also searching for...
17269
Robert Jurjevic
robertjurjevic
Aug 6, 2010 10:39 am
Hello Roger, Roger wrote: Having assertions that can result in exceptions is not without risk. Having runaway systems (there are many such examples, sadly) is...
17270
discs94
Aug 7, 2010 12:25 pm
Hello Manu (and Peter), Thanks for the feedback; now I know about compatible mode! ... Error code: VD00: General configuration parsing error. What to do: fix...
17271
Peter Gummer
peter_gummer
Aug 7, 2010 1:43 pm
... I think this would be the simplest thing for you to do. But 6.4 should definitely work, from what I saw on that traffic web page. Even 6.5 should be ok. If...
17272
Peter Lubke
azador1606
Aug 7, 2010 1:51 pm
Well I rarely answer Eiffel questions as I do not consider myself enough of an expert compared to others on this list, however in respect of safety critical...
17273
fivaarno
Aug 7, 2010 2:03 pm
Hi Andrew, the problem is that the original authors referenced the gobo library using $ISE_EIFFEL instead of $ISE_LIBRARY. So in the traffic_vision2.ecf file,...
17274
Andrew S
discs94
Aug 7, 2010 6:44 pm
Hi Peter and Arno, Thanks for your replies. It may, after all, not be necessary to revert to an earlier version of EiffelStudio to successfully compile the...
17275
Jocelyn.Fiat.ES
jfiat@...
Aug 9, 2010 7:13 am
Quickly, various points - use "require" instead of "Require" - class name are upper case, then use "REAL" instead of "real" - and your main error, a function...
17276
rfo@...
roger.osmond
Aug 9, 2010 2:23 pm
Hi All I just ran across a bug in some older code. OK, the fact is, it was not a bug until 6.6., and indeed the code goes back to pre-Columbian times. The...
17277
Emmanuel Stapf [ES]
manus_eiffel
Aug 9, 2010 5:21 pm
Hi Roger, ... All those changes are for void-safety and have been discussed in this mailing list a few months ago. Because SPECIAL is so special, we decided...
17278
Colin LeMahieu
colinlema
Aug 9, 2010 5:38 pm
I don't have comment on this specific issue, however, I've noticed a lot of push-back from many on anything that requires a modification to old code. While I...
17279
rfo@...
roger.osmond
Aug 9, 2010 11:33 pm
Hi Manu Using obsolete is in keeping with the notion that Eiffel at least tries to support software engineering. Assuming that only a few expert users might...
17280
Emmanuel Stapf [ES]
manus_eiffel
Aug 10, 2010 12:32 am
... In theory, there is no way it could have compiled out of the box in 6.6 since `make' was removed and this would cause a compilation error. Only if you have...
17281
Peter Gummer
peter_gummer
Aug 10, 2010 2:13 am
... Hmm, nice plan, but that isn't what happened. In order to use Gobo in 6.6, I had to replace references to "gobo.ecf"; with this: <library name="gobo_kernel"...
