# Add an attribute to the end of the list.
	#
	# For the sake of speed, this method does no checking
	# to see if the attribute is already in the list: that is
	# the responsibility of the application.
	#
	# Parameters:
	#
	# * `uri`: Namespace URI, or the empty string if
	# none is available or Namespace processing is not being performed.
	# * `local_name`: local name, or the empty string if
	# Namespace processing is not being performed.
	# * `qname`: qualified (prefixed) name, or the empty string
	# if qualified names are not available.
	# * `attribute_type`: attribute type as a string.
	# * `value`: attribute value.
	fun add(uri: String, local_name: String, qname: String,
			attribute_type: String, value: String) do
		ensure_capacity(length + 1)
		data.push(uri)
		data.push(local_name)
		data.push(qname)
		data.push(attribute_type)
		data.push(value)
		length += 1
	end