note
	description: "[
		A HASH_TABLE holding items of type {VITP_ITEM} indexed by STRING.
		]"
	author: "Jimmy J. Johnson"

class
	VITP_TABLE [G -> VITP_ITEM]

inherit

	HASH_TABLE [G, STRING]

create
	make,
	make_equal

feature -- Access

	vitp_item (key: STRING): G
			-- Item associated with `key'.
			-- Should be present
		require
			has_key: has (key)
		do
			check attached item (key) as v then
				Result := v
			end
		end

end
