class STRING_LIST_PARAMETER
String list parameter
note
	description: "String list 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: "2025-03-07 12:56:49 GMT (Friday 7th March 2025)"
	revision: "8"
		
		class
	STRING_LIST_PARAMETER
inherit
	LIST_PARAMETER [ZSTRING]
		rename
			display_item as do_nothing
		redefine
			display_all_items
		end
create
	make
feature -- Basic operations
	display_all_items
			--
		do
			log.put_new_line
			log.put_columns (Current, 11, 0)
		end
feature {NONE} -- Build from XML
	extend_from_node
			--
		local
			node_string: ZSTRING
		do
			node_string := node.to_string
			node_string.prune_all ('%N')
			node_string.split_list ('|').do_all (agent extend)
		end
end