class CHOICE_PARAMETER
Choice parameter
note
	description: "Choice parameter"
	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: "2023-06-24 14:27:13 GMT (Saturday 24th June 2023)"
	revision: "6"
		
		class
	CHOICE_PARAMETER
inherit
	CONTAINER_PARAMETER
		rename
			parameter_list as choice_list
		end
create
	make
end