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

class
	XML_QUALIFIED_NAME

create
	make

feature -- Creation

	make (a_prefix, a_local_part: STRING; a_scope: XML_NODE) is
			-- Creates a new qualified xml name
		require
			local_part_not_void: a_local_part /= Void
			scope_not_void: a_scope /= Void
		do
			xml_prefix := a_prefix
			xml_local_part := a_local_part
			scope := a_scope
		end

feature -- Access

	xml_prefix: STRING

	xml_local_part: STRING

	name : STRING is
			-- gets the fully qualified name
		do
			if xml_prefix = Void then
				Result := xml_local_part.twin
			else
				Result := xml_prefix + ":" + xml_local_part
			end
		end

feature {NONE} -- Access

	scope: XML_NODE

end