class EL_REPLACEABLE_ITEM
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