class EL_REPLACEABLE_ITEM

(source code)

description

Replaceable attribute conforming to EV_ITEM

note
	description: "Replaceable attribute conforming to ${EV_ITEM}"

	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-01-20 19:18:25 GMT (Saturday 20th January 2024)"
	revision: "4"

deferred class
	EL_REPLACEABLE_ITEM

inherit
	EL_MODULE_WIDGET

feature {NONE} -- Implementation

	new_item: EV_ITEM
		deferred
		end

	replace_item
		local
			new: like new_item
		do
			new := new_item
			Widget.replace_item (item, new)
			item := new
		end

feature {NONE} -- Internal attributes

	item: like new_item

end