import java.util.StringTokenizer;
import java.util.TreeSet;
-import net.sourceforge.phpdt.core.IJavaModel;
+//import net.sourceforge.phpdt.core.IJavaModel;
import net.sourceforge.phpdt.internal.ui.PHPUiImages;
import net.sourceforge.phpdt.internal.ui.filters.CustomFiltersDialog;
import net.sourceforge.phpdt.internal.ui.filters.FilterDescriptor;
import org.eclipse.jface.action.IToolBarManager;
import org.eclipse.jface.action.Separator;
import org.eclipse.jface.preference.IPreferenceStore;
-import org.eclipse.jface.util.Assert;
-import org.eclipse.jface.viewers.IContentProvider;
-import org.eclipse.jface.viewers.ITreeContentProvider;
+//incastrix
+//import org.eclipse.jface.text.Assert;
+import org.eclipse.core.runtime.Assert;
+//import org.eclipse.jface.viewers.IContentProvider;
+//import org.eclipse.jface.viewers.ITreeContentProvider;
import org.eclipse.jface.viewers.StructuredViewer;
import org.eclipse.jface.viewers.ViewerFilter;
import org.eclipse.jface.window.Window;
import org.eclipse.swt.widgets.MenuItem;
import org.eclipse.ui.IActionBars;
import org.eclipse.ui.IMemento;
-import org.eclipse.ui.IViewPart;
+//import org.eclipse.ui.IViewPart;
import org.eclipse.ui.actions.ActionGroup;
/**
* @param viewer
* the viewer to be filtered
*/
- public CustomFiltersActionGroup(IViewPart part, StructuredViewer viewer) {
- this(part.getViewSite().getId(), viewer);
- }
+// public CustomFiltersActionGroup(IViewPart part, StructuredViewer viewer) {
+// this(part.getViewSite().getId(), viewer);
+// }
/**
* Creates a new <code>CustomFiltersActionGroup</code>.
fillViewMenu(actionBars.getMenuManager());
}
- public String[] removeFiltersFor(Object parent, Object element,
- IContentProvider contentProvider) {
- String[] enabledFilters = getEnabledFilterIds();
- Set newFilters = new HashSet();
- for (int i = 0; i < enabledFilters.length; i++) {
- String filterName = enabledFilters[i];
- ViewerFilter filter = (ViewerFilter) fInstalledBuiltInFilters
- .get(filterName);
- if (filter == null)
- newFilters.add(filterName);
- else if (isSelected(parent, element, contentProvider, filter))
- newFilters.add(filterName);
- }
- if (newFilters.size() == enabledFilters.length)
- return new String[0];
- return (String[]) newFilters.toArray(new String[newFilters.size()]);
- }
+// public String[] removeFiltersFor(Object parent, Object element,
+// IContentProvider contentProvider) {
+// String[] enabledFilters = getEnabledFilterIds();
+// Set newFilters = new HashSet();
+// for (int i = 0; i < enabledFilters.length; i++) {
+// String filterName = enabledFilters[i];
+// ViewerFilter filter = (ViewerFilter) fInstalledBuiltInFilters
+// .get(filterName);
+// if (filter == null)
+// newFilters.add(filterName);
+// else if (isSelected(parent, element, contentProvider, filter))
+// newFilters.add(filterName);
+// }
+// if (newFilters.size() == enabledFilters.length)
+// return new String[0];
+// return (String[]) newFilters.toArray(new String[newFilters.size()]);
+// }
public void setFilters(String[] newFilters) {
setEnabledFilterIds(newFilters);
updateViewerFilters(true);
}
- private boolean isSelected(Object parent, Object element,
- IContentProvider contentProvider, ViewerFilter filter) {
- if (contentProvider instanceof ITreeContentProvider) {
- // the element and all its parents have to be selected
- ITreeContentProvider provider = (ITreeContentProvider) contentProvider;
- while (element != null && !(element instanceof IJavaModel)) {
- if (!filter.select(fViewer, parent, element))
- return false;
- element = provider.getParent(element);
- }
- return true;
- }
- return filter.select(fViewer, parent, element);
- }
+// private boolean isSelected(Object parent, Object element,
+// IContentProvider contentProvider, ViewerFilter filter) {
+// if (contentProvider instanceof ITreeContentProvider) {
+// // the element and all its parents have to be selected
+// ITreeContentProvider provider = (ITreeContentProvider) contentProvider;
+// while (element != null && !(element instanceof IJavaModel)) {
+// if (!filter.select(fViewer, parent, element))
+// return false;
+// element = provider.getParent(element);
+// }
+// return true;
+// }
+// return filter.select(fViewer, parent, element);
+// }
/**
* Sets the enable state of the given filter.