# One-liner XML Tag (Ends with />)
class XMLOnelinerTag
	super XMLAttrTag

	redef fun to_s do
		var s = "<{tag_name}"
		if not attributes.is_empty then
			s += " "
			s += attributes.join(" ")
		end
		s += "/>"
		return s
	end
end