org.eclipse.ui.IWorkingSet#getName ( )源码实例Demo

@Override
public void dispose() {
    if (DEBUG) {
        System.out.println("Disposing content provider!");
    }
    refreshJob.dispose();
    rootElement.dispose();
    clearFilters();

    IPreferenceStore store = FindbugsPlugin.getDefault().getPreferenceStore();
    store.setValue(FindBugsConstants.LAST_USED_GROUPING, getGrouping().toString());
    IWorkingSet workingSet = getCurrentWorkingSet();
    String name = workingSet != null ? workingSet.getName() : "";
    store.setValue(FindBugsConstants.LAST_USED_WORKING_SET, name);
}
 

private TreeNode<LabelAndImage> createErrorWorkingSetWithoutChildren(IWorkingSet parentElement) {
    IImageHandle img = SharedUiPlugin.getImageCache().get(UIConstants.WARNING);
    TreeNode<LabelAndImage> root = new TreeNode<LabelAndImage>(parentElement,
            new LabelAndImage("Warning: working set: " + parentElement.getName() + " does not have any contents.",
                    img));
    new TreeNode<>(root, new LabelAndImage(
            "Access the menu (Ctrl+F10) to edit the working set.", null));
    new TreeNode<>(root, new LabelAndImage(
            "Or select the working set in the tree and use Alt+Enter.", null));
    return root;
}
 

WorkingSetContentUpdater( IWorkingSet workingSet, ProjectsProvider projectsProvider ) {
  this.workingSet = workingSet;
  this.projectsProvider = projectsProvider;
  this.projectPatternMatcher = new ProjectPatternMatcher( workingSet.getName() );
}