Forum

by Jocelyn-Fiat (modified: 2018 Sep 05)

:: Welcome :: Forum

Eiffel related groups and forums:

Check the latest messages:

  • Jan 18
    Re: [eiffel-users] GELINT Tool
    Excellent! I will give it go soon!
  • Jan 18
    Re: [eiffel-users] GELINT Tool
    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 >
  • Jan 17
    RE: [eiffel-users] Touch of Class - which version
    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,
  • Jan 17
    Re: [eiffel-users] Touch of Class - which version
    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
  • Jan 17
    Re: [eiffel-users] Touch of Class - which version
    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. >
  • Jan 17
    Re: [eiffel-users] Touch of Class - which version
    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
  • Jan 17
    Re: [eiffel-users] Touch of Class - which version
    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
  • Jan 17
    Re: [eiffel-users] Touch of Class - which version
    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.
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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:
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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 >
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 16
    Re: [eiffel-users] EiffelStudio & fish shell
    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
  • Jan 16
    Re: [eiffel-users] Touch of Class - which version
    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)"
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 16
    Re: [eiffel-users] EiffelStudio & fish shell
    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
  • Jan 16
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • Jan 15
    Re: [eiffel-users] GELINT Tool
    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
  • See more ...