Hello, We have two needs with Eiffel that are not adressed by the language/libraries. 1) Agents fully equipped for DBC I want to be able to write this: if...
Thank you Joceyn for your answer. I've had a look at those '.ses' files, but they are in binary, not that readable, format. May be I should precise what I...
By the way, the catcall message was: Catcall detected in {INTERACTIVE_LIST}.extend for arg#1: expected PROCEDURE [!ANY, !TUPLE [!EV_GRID_ROW]] but got...
Hello, Using GOBO-xml parser, I get UTF-8 Strings. I need LATIN-1 encoded strings. How can an UTF-8 String converted to LATIN-1 ? Best regards, Paul G. Crismer...
Hi All I just had another unpleasant surprise. After finally giving up on building a small system from existing parts as void-safe, I reset void safety for...
OK, I THINK I found the first problem. Here is what I THINK is going on. The sequence: create tgi.make_with_text ("top level row"); grid.set_item (2, 1, tgi)...
Hi All I'm having trouble making sense of the EV_GRID widget. I don't think I'm being too aggressive. All I want (at this point), is to add sub-rows to an...
Hi All I am encoutering YAVSA (yet another void safe annoyance). OK, it's not news that there are some irritating aspects of Void safety, and I understand that...
Hello, I would like to save my execution parameters so that when I recompile a system from scratch I can get them back to test my system. Where are stored...
Hi Thomas I can't speak for the authors, and I had been of the same opinion as you when I first read your message, but I think this might be acceptable ...
Hi Marco Yup. I forgot about the attribute rule :( That said, and I know my compiler writer credentials are not as impressive as some, it seems to me that in...
Historically our modelling tool has always had a 'console' window, which is simply a EV_TEXT within its own docking pane. To append to the console we just did...
I guess this has been asked for many times before - a button to show a class text with debug removed... anyone else agree that this would be useful? - thomas...
For creating a 32 bit exe in a 64 bit environment, ES have some documentation about creating a porter package which is a basically a full Eiffel compile with...
if I write the following: from some_list.start until some_list.off loop -- do something with some_list.item some_list.forth end and 'some_list' is a function...
I am trying to work out how to read in a simple XML document and then traverse its contents in something like a DOM tree. I can't see which classes to use....
I just experimented with nonconforming inheritance. Class CONSTANTS contains a single once feature, an INTEGER_REF. Classes A, B, and C inherit from CONSTANTS,...
Hello, With Eiffel 7.1 enterprise, I pin the application to the taskbar. When clicking on the icon, the application does not start (I only see a dos box...
Good morning Marco, I found the README just fine and followed the instructions, making some translations along the way. It turns out the README is based on a...
Hi, We are trying a new way for people to experience Eiffel and EiffelStudio without having to download and install EiffelStudio. The way we are achieving this...
Title says it all - apparently this problem I reported back on 6.8 is still there. If you use gelex/geyacc delivered with EiffelStudio, it still generates the...
I'm not sure how to answer your second question, but the first one is easy The old reverse assignment attempt operator has been replaced with a new construct...
If 'a' is a detachable type knowed and 'b' is a attached type not knowed, the test : a ?= b allow to attach to 'a' an object only if 'b' is conforms to type of...
In void-safe mode is there a way to initialize an attribute that takes an argument like Current from within the creation procedure of Current before it has...
Thanks Manu. It makes sense, but I still think that the contracts should show the keywords to improve the value of the specification. If the programmer...
build_widget local w: SHIP_WIDGET ship: SHIP do create ship.make (Shokaku) create w.make (ship) -- sets the `pebble' that is in `w' w.pick_actions.extend...
Shouldn't the contracts view show detachable keywords? Is this because of my config options or are these keywords really not included? I would think that even...
We have positions open at both the PhD and Postdoc levels in my group at ETH Zurich, the Chair of Software Engineering. We recently received an Advanced...
