class
	EL_CONTAINER_WRAPPER [G]

inherit
	EL_CONTAINER_STRUCTURE [G]
		rename
			current_container as container
		redefine
			count, is_string_container, item_area
		end

create
	make

feature {NONE} -- Initialization

	make (a_container: CONTAINER [G])
		do
			container := a_container
			if attached {TO_SPECIAL [G]} a_container as array
				and then attached {FINITE [G]} a_container as finite
			then
			-- Immutable strings do not conform to CONTAINER
				is_string_container := attached {STRING_GENERAL} a_container
				item_area := array.area
				count := finite.count
			else
				count := container_count (a_container)
			end
		end

feature -- Measurement

	count: INTEGER

feature {NONE} -- Internal attributes

	container: CONTAINER [G]

	item_area: detachable SPECIAL [G]

	is_string_container: BOOLEAN

end