indexing description: "Tree selector for browsing projects and documents, checkable." date: "$Date$" revision: "$Revision$" class CHECKABLE_DOCUMENT_SELECTOR inherit UTILITY_FUNCTIONS SHARED_OBJECTS create make feature -- Creation make (root_directory: STRING; widget: EV_CHECKABLE_TREE) is -- Make with `root_directory' require has_root: root_directory /= Void has_widget: widget /= Void local top_node: EV_CHECKABLE_TREE_ITEM do internal_tree := widget create root.make_open_read (root_directory) create top_node.make_with_text_and_expand_function (short_name (root.name), agent get_children (root)) top_node.set_data (root.name) internal_tree.extend (top_node) internal_tree.register_checkable_node (top_node) end feature -- Commands clear is -- Wipe out widget do internal_tree.wipe_out end feature -- Access root: DIRECTORY -- Root directory feature -- Query get_children (root_dir: DIRECTORY): ARRAYED_LIST [EV_TREE_NODE] is -- Return child directory and file nodes list require dir_not_void: root_dir /= Void local node, file_node: EV_CHECKABLE_TREE_ITEM dir: DIRECTORY cnt: INTEGER file: RAW_FILE l_last_entry, l_file_type: STRING l_file_pixmap: EV_PIXMAP l_filename: FILE_NAME do create Result.make (5) from cnt := 0 root_dir.open_read root_dir.start until cnt = root_dir.count loop root_dir.readentry l_last_entry := root_dir.lastentry if l_last_entry /= Void and then not l_last_entry.is_equal (".") and then not l_last_entry.is_equal ("..") and not l_last_entry.is_equal ("CVS") then create l_filename.make_from_string (root_dir.name) l_filename.extend (root_dir.lastentry) create file.make (l_filename.string) create dir.make (l_filename.string) if dir.exists then create node.make_with_text_and_expand_function (short_name (dir.name), agent get_children (dir)) node.set_data (dir.name) internal_tree.register_checkable_node (node) Result.extend (node) elseif file.exists then l_file_type:= file_type (file.name) if l_file_type.is_equal ("xml") then create file_node.make_with_text (short_name (root_dir.lastentry)) file_node.set_data (file.name) internal_tree.register_checkable_node (file_node) Result.extend (file_node) end end end cnt := cnt + 1 end end feature -- Implementation internal_tree: EV_CHECKABLE_TREE -- Internal widget invariant has_root: root /= Void has_widget: internal_tree /= Void end -- class CHECKABLE_DOCUMENT_SELECTOR