indexing description: "[ processor for option node ]" author: "Steiner Fabrizio" date: "$Date$" revision: "$Revision$" class OPTION_NODE_PROCESSOR inherit NODE_PROCESSOR create make feature -- Access name: STRING is "option" Mandatory_attributes: ARRAY [STRING] is -- Table of mandatory attributes once Result := << "text" >> Result.compare_objects end feature -- Basic operations process is -- Process node. local closeup: CLOSEUP option: OPTION do closeup ?= target when_void_set_parent_node_error (closeup) if not has_error then create option.make (attribute("text")) closeup.add_option (option) set_target(option) if has_subnodes then process_subnodes end end end end