indexing description: "Simple xml text node" author: "Lukas Angerer" date: "$Date$" revision: "$Revision$" class XML_TEXT inherit XML_CHARACTER_DATA redefine to_xml_internal end create {XML_NODE} make_node feature -- Access from {XML_NODE} node_type : STRING is -- gets the node type do Result := "XML_TEXT" end feature -- Cloning clone_node (deep: BOOLEAN) : like Current is -- creates a clone of the current node do create Result.make_node (Void, parent, namespace, name.xml_prefix, name.xml_local_part) Result.set_value (value.twin) end feature {XML_NODE} -- Implementation to_xml_internal (pretty_print: BOOLEAN; indent_depth: INTEGER) : STRING is -- generates xml string for this text node (which is its value field) do Result := value end end