indexing description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" deferred class XML_CHARACTER_DATA inherit XML_NODE redefine inner_text, debug_out_impl end feature -- Access from {XML_NODE} inner_text : STRING is -- gets the inner text of this xml node do Result := value.twin end is_whitespace : BOOLEAN is -- true, if the text node only consists of whitespace characters, false otherwise local i: INTEGER c: CHARACTER do Result := True from i := 1 until i > value.count or not Result loop c := value.item (i) if not c.is_space then Result := False end i := i + 1 end end feature {XML_NODE} -- Debug debug_out_impl (pre: STRING) : STRING is -- do create Result.make_empty if not is_whitespace then Result.append (pre + node_type + ": " + "%"" + value + "%"%N") end end invariant -- according to DOM Level 3 specifications no_children: child_nodes.count = 0 no_attributes: attributes.count = 0 end