note

	description: "[
			Factory interface for XML parsers"
		]"
	date: "$Date$"
	revision: "$Revision$"

deferred class XML_PARSER_FACTORY

feature -- Status report

	is_parser_available: BOOLEAN
			-- Is XML parser available?
		deferred
		end

feature -- Access

	new_parser: XML_PARSER
			-- New XML parser
		require
			parser_available: is_parser_available
		deferred
		ensure
			parser_not_void: Result /= Void
		end

end