When a DS_CURSOR is created with a call to "new_cursor" from a DS_TRAVERSABLE container, the new cursor can never be garbage collected until the container itself is no longer referenced. The cursor's reference is kept in a linked list made up of all previous cursors created from that container with the DS_CURSOR attribute "next_cursor".
A means of detaching a cursor from its container is...
2009-06-22 21:49:33 UTC in Gobo Eiffel Project
