[gobo-eiffel-develop] Comment in {DS_LINEAR}.after misleading?

[Stefan S. <sie...@st...>]

Hi,

The description of {DS_LINEAR}.after fooled me this morning ;) Andreas Leitner 
suggested to contact the gobo mailing list, so this is what I'll do now...

Here's {DS_LINEAR}.after:

	after: BOOLEAN is
			-- Is there no valid position to right of internal cursor?
		do
			Result := cursor_after (internal_cursor)
		end

The description "Is there no valid position to right of internal cursor?" made 
me think that 'after' is true whenever the cursor is on the _last_ item of 
the linear (and not beyond). I assumed that "no valid position to the right" 
means that the next position will not point to an item of the container 
anymore.

I don't know if I can propose any better description, as I'm no library 
designer and I believe that you had your reasons to choose this description. 
All i can say is that I expected something more in the style of "Is the 
internal cursor on the position after the last item?". Unfortunately this 
doesn't contain the information that the position right to the cursor is 
invalid, which is quite important, too.

Regards,

Stefan