class EL_CHOICE

(source code)

Client examples: REFLECTION_TEST_SET

description

Allows expression like: choose [48, 24] #? Executable.is_finalized

note
	description: "[
		Allows expression like: `choose [48, 24] #? Executable.is_finalized'
	]"

	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-09-03 10:46:16 GMT (Tuesday 3rd September 2024)"
	revision: "2"

expanded class
	EL_CHOICE [G]

feature -- Access

	item alias "[]" (false_item, true_item: G): EL_BOOLEAN_INDEXABLE [G]
		do
			create Result.make (false_item, true_item)
		end

end