class EL_UNIQUE_CODE_TABLE
Unique code table
note
	description: "Unique code table"
	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: "2022-12-09 9:37:43 GMT (Friday 9th December 2022)"
	revision: "8"
		
		class
	EL_UNIQUE_CODE_TABLE [K -> HASHABLE]
inherit
	EL_CODE_TABLE [K]
		rename
			put as put_code,
			found_item as last_code
		export
			{NONE} all
			{ANY} last_code, search, found, item, count
		end
create
	make
feature -- Element change
	put (key: K)
			--
		do
			search (key)
			if not found then
				extend (count + 1, key)
				last_code := count
			end
		end
end