class EL_SAVED_CURSOR
Client examples: BASE_AUTOTEST_APP
Object to save and restore cursor position or index of a TRAVERSABLE container
note
description: "[
Object to save and restore cursor position or index of a ${TRAVERSABLE} container
]"
author: "Finnian Reilly"
copyright: "Copyright (c) 2001-2022 Finnian Reilly"
contact: "finnian at eiffel hyphen loop dot com"
license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
date: "2024-03-27 13:31:57 GMT (Wednesday 27th March 2024)"
revision: "6"
class
EL_SAVED_CURSOR [G]
inherit
EL_CONTAINER_WRAPPER [G]
export
{NONE} all
redefine
make
end
create
make
feature {NONE} -- Initialization
make (a_container: CONTAINER [G])
do
Precursor (a_container)
push_cursor
end
feature -- Basic operations
restore
do
pop_cursor
end
end