Is this a bug in flat view?

[Chris Saunders-4]

Here is the top part of a class declaration:

class
 VECTOR [G -> attached FIELD create default_create end]

inherit
 VECTOR_SPACE [G]
  rename
   array_item as item alias "[]",
   array_put as put,
   item as vector_space_item,
   put as vector_space_put
  redefine
   out
  end

Now class VECTOR_SPACE inherits from ARRAY2.  Notice that I have renamed
`item' as `vector_space_item'.
Now here is part of the flat view of class VECTOR_SPACE:

 item alias "[]" (row, column: INTEGER_32): G assign vector_space_put
   -- Entry at coordinates (`row', `column')
   -- (from ARRAY2)
  require -- from ARRAY2
   valid_row: (1 <= row) and (row <= height)
   valid_column: (1 <= column) and (column <= width)
  do
   Result := item ((row - 1) * width + column)
  end

 item alias "[]" (i: INTEGER_32): G assign put
   -- Entry at index `i', if in index interval
   -- Was declared in ARRAY as synonym of at.
   -- (from ARRAY)
  require -- from TABLE
   valid_key: valid_index (i)
  require -- from TO_SPECIAL
   valid_index: valid_index (i)
  do
   Result := area.item (i - lower)
  end

It seems to me that the first `item' from this flat view shoult be named
`vector_space_item'.  I'm not sure that my expectation is corrent.  Should I
send a bug report for this?

Regards
Chris Saunders

[larryliuming]

Hi, Chris,

Yes, you are right. The first `item' from this flat view should be named as `vector_space_item'. For other classes, flat view will show correct feature names. (I have checked {SD_VERTICAL_BOX}.first and first_vision2. Their names are shown correctly in flat view.)

Could you send a bug report with reproduce steps to support.eiffel.com?

Thanks

[Chris Saunders-4]

Sorry Larry.  Could you send me a reply that contains my original that you
are responding to.  I have been spending a lot of time searching for bugs in
EiffelStudio 6.5 and have made several bug reports.  I have started a few
projects since I sent that question and can't figure out which one that
question related to.  I think my original message may have included enough
information for me to remember the correct project.  I did attempt a search
at the Eiffel Software list on Yahoo for "vector_space_item" but no luck.
If I can figure out the correct project then I can send a bug report that
includes the project.

Regards
Chris Saunders

----- Original Message -----
From: larryliuming
To: [hidden email]
Sent: Monday, September 14, 2009 9:44 PM
Subject: [eiffel_software] Re: Is this a bug in flat view?


  Hi, Chris,

Yes, you are right. The first `item' from this flat view should be named as
`vector_space_item'. For other classes, flat view will show correct feature
names. (I have checked {SD_VERTICAL_BOX}.first and first_vision2. Their
names are shown correctly in flat view.)

Could you send a bug report with reproduce steps to support.eiffel.com?

Thanks