home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / eiffel / 1365 < prev    next >
Encoding:
Text File  |  1992-12-12  |  2.6 KB  |  105 lines
  1. Newsgroups: comp.lang.eiffel
  2. Path: sparky!uunet!mcsun!julienas!babbage!ensl!lapin!lprylli
  3. From: lprylli@ens-lyon.fr (Loic Prylli)
  4. Subject: Re : joining in 2.3
  5. Message-ID: <Bz5D3n.7F4@ens-lyon.fr>
  6. Sender: news@ens-lyon.fr
  7. Reply-To: lprylli@ens-lyon.fr
  8. Organization: Ecole Normale Superieure de Lyon
  9. Date: Sat, 12 Dec 1992 12:52:34 GMT
  10. Lines: 93
  11.  
  12.  
  13. In article 724082271@limotoc, fxg@limotoc.informatik.rwth-aachen.de (Felix Gatzemeier) writes:
  14. > Hello
  15. > 
  16. > I am currently working on an assigment involving the graphics libarary of the
  17. > ISE complier, whose es tells me it's version 2.3, level 4. The problem is that
  18.  
  19. ....
  20.  
  21. > If I read ETL for 3.0 right, this would join the deferred features from
  22.  
  23. I think the core of the problem is that you are using Eiffel 2.3 which uses
  24. a different method than Eiffel 3.0 in some cases.
  25.  
  26.  
  27. > MY_GEN_FIGURE with the implementations from CIRCLE, so that a call to
  28. >     mc: MY_CIRCLE;
  29. >     ...
  30. >     mc.slide(shifter);
  31. > would call CIRCLE's erase, translate and display features.
  32. > Instead, I get a bunch of name clashes: more than one parent... errors.
  33. > I have tried several clutches:
  34.  
  35. In eiffel 2.3 when you are trying to join deferred features you have
  36. to declare it explicitly in the inherit clause with define for each
  37. deferred feature you join.
  38. For instance :
  39.  
  40.     class MY_CIRCLE
  41.  
  42.  
  43.     inherit
  44.      CIRCLE;
  45.      MY_GEN_FIGURE
  46.          define barycenter,contains,convert_to_resolution,display,
  47.              duplicate,erase,origin,recompute_closure,
  48.              rotate,scale,translate, fillable
  49.  
  50.     feature
  51.     
  52.     end
  53.  
  54.  
  55.     deferred class MY_GEN_FIGURE
  56.  
  57.     inherit
  58.         GEN_FIGURE
  59.             redefine fillable;
  60.  
  61.     feature
  62.  
  63.         slide (v: VECTOR; win: GRAPH_WINDOW) is
  64.             do
  65.                 erase (win);
  66.                 translate (v);
  67.                 display (win);
  68.             end;
  69.     
  70.         fillable : BOOLEAN is
  71.             deferred
  72.             end;
  73.     
  74.     
  75.     end
  76.  
  77.  
  78.  
  79. As all routines in the define clause of class MY_CIRCLE were effected
  80. in ELLIPSE or in some other ancestor, they can't be handled properly just by
  81. repeated inheritance. You have to use "definition".
  82.  
  83. The case of fillable is special. Strangely it is not deferred in GEN_FIGURE
  84. but instead it returns systematically False. So it is redefined in CLOSED_FIG
  85. to return True. Obviously you can't obtain only one feature from two different
  86. versions if you don't undefine one. In Eiffel 2.3 you can undefine a feature
  87. by redefining it with a deferred routine as it is made in MY_GEN_FIGURE
  88.  
  89.  
  90.  
  91. > I am nearly driven crazy by this. I know that there are less general solutions
  92. > to it, like having the world handling the movement in this special case, but
  93. > I want that general solution. After all, that's why I took up OOP in the first
  94. > place.
  95.  
  96. I think version 3.0 is in some cases far easier to use.
  97.  
  98. Loic PRYLLI
  99. ENS-Lyon
  100. France
  101.  
  102.  
  103.  
  104.  
  105.