indexing description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" class XMLDOC_HEADING inherit XMLDOC_ITEM redefine process_visitor end XMLDOC_WITH_CONTENT rename make as make_with_content end XMLDOC_WITH_SIZE rename make as make_with_size end XMLDOC_BLOCK_I create make feature -- Initialization make do make_with_size make_with_content end feature {XMLDOC_VISITOR} -- Visitor process_visitor (v: XMLDOC_VISITOR) do v.process_heading (Current) end end