class
	EL_QUERYABLE_ARRAYED_LIST [G]

inherit
	EL_ARRAYED_LIST [G]
		redefine
			make, make_default_filled, make_from_array
		end

	EL_QUERYABLE_CHAIN [G]
		rename
			accommodate as grow
		undefine
			do_all, do_if, for_all, pop_cursor, push_cursor, order_by, swap,
		-- access
			index_of, item_area, joined, new_cursor, occurrences, to_array,
		-- element change
			copy, force, append_sequence, prune, prune_all, remove,
		-- item access
			i_th, at, last, first,
		-- Status query
			off, has, there_exists, is_equal, valid_index, is_inserted,
		-- Cursor movement
			move, search, start, finish, go_i_th, put_i_th, find_next_item
		end

create
	make, make_default_filled, make_from_array, make_from

feature -- Initialization

	make (n: INTEGER)
			-- Allocate list with `n' items.
			-- (`n' may be zero for empty list.)
		do
			make_queryable
			Precursor (n)
		end

	make_default_filled (n: INTEGER)
			-- Allocate list with `n' items.
			-- (`n' may be zero for empty list.)
			-- This list will be full.
		do
			make_queryable
			Precursor (n)
		end

	make_from_array (a: ARRAY [G])
			-- Create list from array `a'.
		do
			make_queryable
			Precursor (a)
		end

note
	descendants: "[
			EL_QUERYABLE_ARRAYED_LIST [G]
				${AIA_CREDENTIAL_LIST}
					${AIA_STORABLE_CREDENTIAL_LIST}
				${ECD_ARRAYED_LIST [G -> EL_STORABLE create make_default end]}
					${COUNTRY_DATA_TABLE}
					${ECD_STORABLE_ARRAYED_LIST [G -> EL_STORABLE create make_default end]}
	]"
end