class EL_SAVED_CURSOR

(source code)

Client examples: BASE_AUTOTEST_APP

description

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