Forum

by Jocelyn Fiat (modified: 2016 Oct 21)

:: Welcome :: Forum

Eiffel related groups and forums:

Check the latest messages:

  • Feb 27
    Re: [eiffel-users] Seeming unsigned int overflow?
    Thanks much Alexander. On Tue, Feb 28, 2017 at 12:23 AM, 'Alexander Kogtenkov' via Eiffel Users < eiffel...@googlegroups.com> wrote: > The issue is with attachment marks: TEST_NEW_INSTANCE is attached by > default, so the type ID corresponds to the version with an attached mark > (that's why the
  • Feb 27
    Re: [eiffel-users] Seeming unsigned int overflow?
    The issue is with attachment marks: TEST_NEW_INSTANCE is attached by default, so the type ID corresponds to the version with an attached mark (that's why the value is above 65536). Ideally the postcondition need to be updated. For the time being there are two workarounds, both preventing
  • Feb 27
    Seeming unsigned int overflow?
    Hi, I have very little to none experience with INTERNAL. But I ran across a difficulty with some code contributed by another. The difficulty seems to be coming from the Eiffel REFLECTOR class. I constructed this test case to show the issue. Another class is being instantiated in the applicatio
  • Feb 23
    Re[2]: [eiffel-users] Re: Different generic derivations of the same class.
    Rosivaldo Fernandes Alves : > By the way, I had experimented with the kind of generalization you > propose. It seems to work well, despite some minor issues. If the issues are general, feel free to discuss them, please. Regards, Alexander Kogtenkov
  • Feb 22
    Re: [eiffel-users] Re: Different generic derivations of the same class.
    Please see my comments inline... Em 21/02/2017 05:07, 'Alexander Kogtenkov' via Eiffel Users escreveu: > The example is clear, thank you. > > There is a solution to the cat-call problem, but it does not come for > free: a lot of existing code needs to be updated. Moreover, there are > issues
  • Feb 21
    Re[2]: [eiffel-users] Re: Different generic derivations of the same class.
    The example is clear, thank you. There is a solution to the cat-call problem, but it does not come for free: a lot of existing code needs to be updated. Moreover, there are issues with agents that require review of agent types. Hopefully at some point the issues will be resolved, but it's a
  • Feb 19
    Re: [eiffel-users] Re: Different generic derivations of the same class.
    Hi Manu and Alexander. I had seen the catcall problem threatening my approach. But this risk already exists. By default. local cs: SET [COMPARABLE] ss: SET [STRING] do create ss -- etc. cs := ss -- SET [STRING] conforms(!) to SET [COMPARABLE] cs.put (123) -- CATCALL!!!
  • Feb 17
    RE: [eiffel-users] Re: Different generic derivations of the same class.
    Hi, Allowing SET [COMPARABLE] in an ancestor and then SET [STRING] in a descendant would not be good since it would allow you to insert something that conforms to COMPARABLE but not to STRING in something that is supposed to be a SET [STRING]. A typical catcall error. The experimental catcall
  • Feb 17
    Re[2]: [eiffel-users] Re: Different generic derivations of the same class.
    It looks like there is an issue if the rule is relaxed. Indeed, in the example with SET [STRING] and SET [COMPARABLE] there is some intermediate ancestor X that inherits SET [COMPARABLE]. Therefore, it is possible to assign current type that conforms to SET [STRING] to a variable of type X:
  • Feb 17
    Re: GUI object model
    I was looking for a more general model with the top 20 classes of a GUI. But by browsing the Vision library I will get a good idea of it. Thanks Philippe Cordel Le jeudi 16 février 2017 20:55:39 UTC+1, Philippe Cordel a écrit : > > Hi > > Where could I find a good object model for GUI ? > > Is
  • Feb 17
    Re: [eiffel-users] Re: Different generic derivations of the same class.
    Thanks, Alexander. It is clear now. About the crash: I don't know exactly how to reproduce it. Sorry. I was working with some rather complicated (to my little experience) class hierarchies. I gave up when confirmed the existence of the ECMA-VHPR(5) error and didn't keep the old, broken code.
  • Feb 17
    Re: [eiffel-users] GUI object model
    Are you looking for a reference manual https://www.eiffel.org/doc/solutions/EiffelVision%20Library%20Reference%20Manual ? Alexander Kogtenkov Philippe Cordel : Hi Where could I find a good object model for GUI ? Is the EiffelBuild model available ?
  • Feb 16
    GUI object model
    Hi Where could I find a good object model for GUI ? Is the EiffelBuild model available ?
  • Feb 16
    Re: [eiffel-users] Re: Different generic derivations of the same class.
    At the moment EiffelStudio checks the rule only for parents of a class, not for all its ancestors. This explains why an error is not reported in one case and is reported in another. As to the case with a crash - do you have a reproducible example? Regards, Alexander Kogtenkov Четверг, 16
  • Feb 16
    Re: Different generic derivations of the same class.
    Does someone know how to clarify the matter below? Maybe it was not stated clearly... Em quarta-feira, 18 de janeiro de 2017 14:14:27 UTC-3, Rosivaldo Fernandes Alves escreveu: > > Hi there. > > Despite ECMA-367, section 8.6.13(5), the classes below compile with no > complaint. > Notice that
  • Feb 07
    Re: [eiffel-users] Postgres connector
    I've now installed EWG and setup $EWG variable properly to the root of EWG folder. I'm now trying to build the postgresql library but I get the following error after issuing geant c_build_library_ise: buck@poetic:~/dev/eiffel/library/postgresql/eiffel-libpq-wrapper-master$ geant c_build_library_
  • Feb 02
    Re: [eiffel-users] Help with inline features
    Jolly good. Are you going to submit a pull request? On Thu, 2 Feb 2017 at 19:01 jjj wrote: > Thanks for the help. Its now working. > For anyone who cares... > > It helps to install correctly. The GMP web site says "a basic build can > be done with > .configure > make
  • Feb 02
    Re: [eiffel-users] Help with inline features
    Thanks for the help. Its now working. For anyone who cares... It helps to install correctly. The GMP web site says "a basic build can be done with .configure make Some self-tests can be run with make check And you *can* (my emphasis) install with make install" Silly me. I
  • Feb 02
    Re: [eiffel-users] Help with inline features
    For what? I guess I could request my cerebellum to read the instructions next time, but a positive response is unlikely. jjj
  • Feb 02
    Re: [eiffel-users] Help with inline features
    On Thu, 2 Feb 2017 17:08:47 +1300 XEL wrote: > On Wed, 1 Feb 2017 17:38:36 -0500 > "Johnson, Jimmy J" wrote: > > > > > Where is the gmp_library? > > It depends on your system. Just run a file find for gmp.* Sorry, I mean libgmp.* -- XEL
  • Feb 02
    Re: [eiffel-users] Help with inline features
    On Wed, 1 Feb 2017 17:38:36 -0500 "Johnson, Jimmy J" wrote: > > > > > Okay, placing that line in the project ecf file does something, but now I > > > get error :ld: library not found for -lgmp". > > > > Replace the line with the following: > > > >
  • Feb 01
    Re: How to create TYPED_POINTER
    Thanks Manu - works a charm. Simon. On Wednesday, 1 February 2017 14:20:49 UTC+11, sharvey wrote: > I am using Eiffel GPL 16.05 on windows 7. > > I have Eiffel code in .net mode with interface to a COM library. > One of the exposed commands for a container type XYZS in the COM library > has the
  • Feb 01
    Re: [eiffel-users] Help with inline features
    Where is the gmp_library?
  • Feb 01
    Re: [eiffel-users] Help with inline features
    The project ecf, assuming that use of the gmp library is project specific. > I don't see any " lines" in either ecf file, only the > line "" > > Okay, placing that line in the project ecf file does something, but now I > get error :ld:
  • Feb 01
    Re: [eiffel-users] Help with inline features
    Would that be the project ecf file, or the "library" ecf file, which is referenced from the project? I don't see any " lines" in either ecf file, only the line "" Okay, placing that line in the project ecf file does something, but now I get
  • See more ...