Excellent! I will give it go soon!

Please don't hesitate to send me problems when running gelint. The more you will send me, the more I will fix, and the better the tool will be. > But it is interesting to explore this. It will be fun to fold this into > my work as code rather than shelling out. Right now, I am shelling out >

I didn't follow the earlier part of this discussion but here is the status of the book: There was a first printing which has the full text but was big and heavy. (Springer wanted to do a really good job, in particular use high-quality paper to make sure the color, which I wanted to use,

Hi Sasa - I'd say my copy makes a good reference for Eiffel - but I'm not an expert in the language, so my opinion probably doesn't hold much weight. :) I can't say if the polikarpova version of the traffic library will have problems with more recent compilers or not (ES 13.11 is the one that's

On Thu, 16 Jan 2020 20:12:54 -0600 Anthony W wrote: > I have the hard cover 2009 edition. OK. > I have been trying to work through it with one of my daughters, to > introduce her to programming, and it's been basically a non-starter. Hmm, this is very valuable info. >

On Thu, 16 Jan 2020 20:35:21 -0600 Anthony W wrote: > The zip file at > https://bitbucket.org/nadiapolikarpova/traffic/downloads/ compiles > under ES 13.11 and appears to be the same source (on brief glance) as > the text book. And that's probably not so easy to adjust to

Correction - The library I downloaded wasn't for the book. The zip file at https://bitbucket.org/nadiapolikarpova/traffic/downloads/ compiles under ES 13.11 and appears to be the same source (on brief glance) as the text book. The git repository I first pulled from ( https://github.com/EiffelSof

I have the hard cover 2009 edition. I have been trying to work through it with one of my daughters, to introduce her to programming, and it's been basically a non-starter. The code and examples in the book are significantly different than the traffic code you are supposed to download and use.

Let me take that back. A prerequisite for the conversion to happen is that there exists a feature in class STRING with that alias (see section 8.27.7 in the ECMA standard). Since this is not the case, then gelint is right to report an error. I can see that EiffelStudio accepts the code and

Oh, I see! Yes—that makes sense! BTW—I am just hitting random ECFs to see what pops up from gelint. I hesitate to give too many of these because I don't want to be a squeaky wheel, taking you from other more pressing tasks on your plate. But it is interesting to explore this. It will be fun to

Trying it on various libraries. It now seems to be telling a better story. gelint version 19.11.03.1 D:\Users\LJR19\Documents\GitHub\ecfgen>gelint "C:\Program Files\Eiffel Software\EiffelStudio 19.12 GPL\contrib\library\math\decimal\decimal\decimal-safe.ecf" 1>gelint_output.txt Degree 6:

story. > > gelint version 19.11.03.1 > > > D:\Users\LJR19\Documents\GitHub\ecfgen>gelint "C:\Program Files\Eiffel > Software\EiffelStudio 19.12 > GPL\contrib\library\math\decimal\decimal\decimal-safe.ecf" > 1>gelint_output.txt > > Degree 6: 0/0/0 0:0:0.014 > Degree 5: 0/0/0 0:0:1.436 >

I concur! D:\Users\LJR19\Documents\GitHub\ecfgen>gelint "C:\Program Files\Eiffel Software\EiffelStudio 19.12 GPL\library\vision2\vision2-safe.ecf" 1>gelint_output.txt Degree 6: 0/0/0 0:0:0.056 Degree 5: 0/0/0 0:0:3.127 Degree 4: 0/0/0 0:0:0.968 Degree 3: 0/0/0 0:0:1.400 Total Time: 0/0/0

Stable attributes are now supported in the version of gelint in the GitHub repository. This is what I get now when running gelint on EiffelVision: C:\> gelint --target=vision2 %ISE_EIFFEL%\library\vision2\vision2.ecf Degree 6: 0/0/0 0:0:0.044 Degree 5: 0/0/0 0:0:0.215 Degree 4: 0/0/0

Don't forget to mark it as "Complete" :-) On Wednesday, January 15, 2020 at 11:55:21 PM UTC-5, Saša Janiška wrote: > > On Wed, 15 Jan 2020 22:10:29 +0100 > Jocelyn Fiat wrote: > > > Can you try to use "set -x " also for ISE_EIFFEL and ISE_PLATFORM > > They are required for

I was not able to find the site/page that I was thinking of, but http://dev.erffel.com/Language_road_map will help. Sent from my iPhone > On Jan 14, 2020, at 6:57 AM, Saša Janiška wrote: > > On Mon, 13 Jan 2020 08:05:53 -0500 > "Gary Smithrud (GMS134)"

I think it's now time to try to add support for stable attributes in gelint because I can see that it is used in EiffelVision. -- Eric Bezault mailto:er...@gobosoft.com http://www.gobosoft.com

On Wed, 15 Jan 2020 22:10:29 +0100 Jocelyn Fiat wrote: > Can you try to use "set -x " also for ISE_EIFFEL and ISE_PLATFORM > They are required for child process, not only to set the PATH That was it!! Now it works. :-D Sincerely, Saša -- The senses are so strong and

In order to see whether these internal errors are due to the void-safe mode or not, can you try to run gelint with this command-line option: --capability=void_safety=none -- Eric Bezault mailto:er...@gobosoft.com http://www.gobosoft.com

For tomorrow (at your convenience): The gelint tool is reporting a number of errors that I am finding to not make immediate sense. For example, the error below: [VUTA-2] class EV_PIXMAP_IMP (1646,11): the target (of type 'detachable WEL_MEMORY_DC') of the call to feature `select_bitmap' is not

Yes, this looks weird. There is not that much experience in using gelint on void-safe code (apart from the code of the Gobo package itself). At work we use gelint on void-unsafe code. One thing that I know for sure is that gelint is failing to consider stable attributes as such. Do you use

Thanks for the tip! On Wed, Jan 15, 2020 at 5:34 PM Eric Bezault wrote: > Hi Larry, > > There is one thing that I forgot to mention, since I know that you > are a user of iron. The ECF parser in Gobo (used by gelint) does > not recognize iron packages. So the location

I will soon make a new release of Gobo. So you will be able to download such gelint executable compiled with gec, if you want to compare it with the executable that you compiled yourself. -- Eric Bezault mailto:er...@gobosoft.com http://www.gobosoft.com

OK, I will try to prepare something tomorrow. > I have to say—this thing is DAMN FAST! OMG! Did you compile gelint with EiffelStudio or with the Gobo compiler? It should be even faster when compiled with gec.exe. > And I agree with others (as > you noted on your website) that the error

Hi Larry, There is one thing that I forgot to mention, since I know that you are a user of iron. The ECF parser in Gobo (used by gelint) does not recognize iron packages. So the location attribute in elements has to point to ECF filenames that exist on your file system. -- Eric