01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.ui.examples.jobs.views;
11:
12: import org.eclipse.jface.viewers.AbstractTreeViewer;
13: import org.eclipse.jface.viewers.Viewer;
14: import org.eclipse.ui.model.BaseWorkbenchContentProvider;
15: import org.eclipse.ui.progress.DeferredTreeContentManager;
16:
17: public class DeferredContentProvider extends
18: BaseWorkbenchContentProvider {
19:
20: private DeferredTreeContentManager manager;
21:
22: /* (non-Javadoc)
23: * @see org.eclipse.jface.viewers.IContentProvider#inputChanged(org.eclipse.jface.viewers.Viewer, java.lang.Object, java.lang.Object)
24: */
25: public void inputChanged(Viewer viewer, Object oldInput,
26: Object newInput) {
27: if (viewer instanceof AbstractTreeViewer) {
28: manager = new DeferredTreeContentManager(this ,
29: (AbstractTreeViewer) viewer);
30: }
31: super .inputChanged(viewer, oldInput, newInput);
32: }
33:
34: /* (non-Javadoc)
35: * @see org.eclipse.jface.viewers.ITreeContentProvider#hasChildren(java.lang.Object)
36: */
37: public boolean hasChildren(Object element) {
38: // the + box will always appear, but then disappear
39: // if not needed after you first click on it.
40: if (manager != null) {
41: if (manager.isDeferredAdapter(element))
42: return manager.mayHaveChildren(element);
43: }
44:
45: return super .hasChildren(element);
46: }
47:
48: /* (non-Javadoc)
49: * @see org.eclipse.ui.model.WorkbenchContentProvider#getChildren(java.lang.Object)
50: */
51: public Object[] getChildren(Object element) {
52: if (manager != null) {
53: Object[] children = manager.getChildren(element);
54: if (children != null) {
55: return children;
56: }
57: }
58: return super.getChildren(element);
59: }
60: }
|