indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	XML_ATTRIBUTE_LIST

inherit
	XML_BASE_LIST[XML_ATTRIBUTE]

create
	make

feature -- Access

	get_attribute (name: STRING) : XML_ATTRIBUTE is
			-- gets the xml attribute with the given name (or Void if there is no attribute with that name)
		do
			from start until off or Result /= Void loop
				if item.name.name.is_equal (name) then
					Result := item
				end
				forth
			end
		end

end