DirectoryTreeContentProvider.java 文件源码

/**
 * Set the root of the directory tree view and refresh the view if appropriate
 */
static void setFileTreeRoot(CheckboxTreeViewer tv, File root) {
  DirectoryTreeContentProvider provider = (DirectoryTreeContentProvider) tv.getContentProvider();
  if ((root == null && provider.getRoot() != null) || !root.equals(provider.getRoot())) {
    provider.setRoot(root);
    tv.refresh();
  }
}