class EL_CONTAINER_HAS_QUERY_CONDITION

(source code)

description

A query condition to test if a container has an item

note
	description: "A query condition to test if a container has an item"

	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-08-08 11:36:56 GMT (Tuesday 8th August 2023)"
	revision: "3"


class
	EL_CONTAINER_HAS_QUERY_CONDITION [G]

inherit
	EL_QUERY_CONDITION [G]

create
	make

feature {NONE} -- Initialization

	make (a_container: like container)
		do
			container := a_container
		end

feature -- Status query

	met (item: G): BOOLEAN
		-- `True' if `container' has `item'
		do
			Result := container.has (item)
		end

feature {NONE} -- Implementation

	container: CONTAINER [G]

end