home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / bug_jeffKINGSTON.e < prev    next >
Encoding:
Internet Message Format  |  1996-05-02  |  2.2 KB
  1. From: jeff@staff.cs.su.oz.au (Jeff Kingston)
  2. To: colnet@loria.fr
  3. Subject: SmallEiffel bug report
  4. Date: Wed, 10 Apr 1996 15:29:34 +1000
  5.  
  6. Something is wrong with renaming.  I have a class that
  7. begins like this:
  8.  
  9. ===============================================================
  10. class DIJ_VERTEX
  11.  
  12. inherit
  13.  
  14.         DIGRAPH_LISTS_VERTEX redefine etype end;
  15.  
  16.         PRIQUEUE_HEAP_ENTRY[INTEGER] rename key as distance end;
  17. ===============================================================
  18.  
  19. and inside PRIQUEUE_HEAP_ENTRY I have this:
  20.  
  21. ===============================================================
  22. class PRIQUEUE_HEAP_ENTRY[T -> COMPARABLE]
  23.  
  24. inherit
  25.  
  26.         PRIQUEUE_ENTRY[T]
  27.  
  28. feature { PRIQUEUE_HEAP }
  29.  
  30.     back: INTEGER;
  31.  
  32.         put_back(i: INTEGER) is
  33.         do
  34.                 back := i;
  35.         end;
  36.  
  37. end -- `PRIQUEUE_HEAP_ENTRY'
  38. ===============================================================
  39.  
  40. and inside PRIQUEUE_ENTRY I have this:
  41.  
  42. ===============================================================
  43. class PRIQUEUE_ENTRY[T -> COMPARABLE]
  44.  
  45. creation
  46.  
  47.         make
  48.  
  49. feature
  50.  
  51.         key: T;
  52.  
  53.         make, put_key(k: T) is
  54.         do
  55.                 key := k
  56.         end
  57.  
  58. end -- `PRIQUEUE_ENTRY'
  59. ===============================================================
  60.  
  61. and SmallEiffel tells me that key doesn't exist:
  62.  
  63. ===============================================================
  64. ****** Error : There is no feature key in class DIJ_VERTEX.
  65. Line 13 column 3 in PRIQUEUE_ENTRY (priqueue_entry.e) :
  66.                 key := k
  67.                 ^
  68. ------
  69. ****** Error : Feature not found.
  70. Line 13 column 3 in PRIQUEUE_ENTRY (priqueue_entry.e) :
  71.                 key := k
  72.                 ^
  73. ------
  74. ****** Error : Bad feature name.
  75. Line 13 column 3 in PRIQUEUE_ENTRY (priqueue_entry.e) :
  76.                 key := k
  77.                 ^
  78. ------
  79. ****** Error : Bad left hand side of assignment.
  80. Line 13 column 3 in PRIQUEUE_ENTRY (priqueue_entry.e) :
  81.                 key := k
  82.                 ^
  83. ------
  84. ****** Fatal Error : Bad instruction (when interpreted in DIJ_VERTEX).
  85. Line 13 column 3 in PRIQUEUE_ENTRY (priqueue_entry.e) :
  86.                 key := k
  87.                 ^
  88. ===============================================================
  89.  
  90.  
  91. Jeff Kingston
  92. jeff@cs.su.oz.au
  93.