1 /*******************************************************************************
2 * Copyright (c) 2010 Ericsson
4 * All rights reserved. This program and the accompanying materials are
5 * made available under the terms of the Eclipse Public License v1.0 which
6 * accompanies this distribution, and is available at
7 * http://www.eclipse.org/legal/epl-v10.html
10 * Matthew Khouzam - Initial API and implementation
11 * Francois Chouinard - Refactoring, slider support, bug fixing
12 * Patrick Tasse - Improvements and bug fixing
13 * Xavier Raynaud - Improvements
14 ******************************************************************************/
16 package org
.eclipse
.linuxtools
.tmf
.ui
.widgets
;
18 import org
.eclipse
.swt
.SWT
;
19 import org
.eclipse
.swt
.custom
.TableEditor
;
20 import org
.eclipse
.swt
.events
.ControlAdapter
;
21 import org
.eclipse
.swt
.events
.ControlEvent
;
22 import org
.eclipse
.swt
.events
.KeyEvent
;
23 import org
.eclipse
.swt
.events
.KeyListener
;
24 import org
.eclipse
.swt
.events
.MouseEvent
;
25 import org
.eclipse
.swt
.events
.MouseListener
;
26 import org
.eclipse
.swt
.events
.MouseWheelListener
;
27 import org
.eclipse
.swt
.events
.SelectionAdapter
;
28 import org
.eclipse
.swt
.events
.SelectionEvent
;
29 import org
.eclipse
.swt
.events
.SelectionListener
;
30 import org
.eclipse
.swt
.graphics
.Point
;
31 import org
.eclipse
.swt
.graphics
.Rectangle
;
32 import org
.eclipse
.swt
.layout
.FillLayout
;
33 import org
.eclipse
.swt
.layout
.GridData
;
34 import org
.eclipse
.swt
.layout
.GridLayout
;
35 import org
.eclipse
.swt
.widgets
.Composite
;
36 import org
.eclipse
.swt
.widgets
.Control
;
37 import org
.eclipse
.swt
.widgets
.Display
;
38 import org
.eclipse
.swt
.widgets
.Event
;
39 import org
.eclipse
.swt
.widgets
.Label
;
40 import org
.eclipse
.swt
.widgets
.Listener
;
41 import org
.eclipse
.swt
.widgets
.Menu
;
42 import org
.eclipse
.swt
.widgets
.Shell
;
43 import org
.eclipse
.swt
.widgets
.Slider
;
44 import org
.eclipse
.swt
.widgets
.Table
;
45 import org
.eclipse
.swt
.widgets
.TableColumn
;
46 import org
.eclipse
.swt
.widgets
.TableItem
;
47 import org
.eclipse
.ui
.PlatformUI
;
50 * <b><u>TmfVirtualTable</u></b>
52 * TmfVirtualTable allows for the tabular display of arbitrarily large data sets
53 * (well, up to Integer.MAX_VALUE or ~2G rows).
55 * It is essentially a Composite of Table and Slider, where the number of rows
56 * in the table is set to fill the table display area. The slider is rank-based.
58 * It differs from Table with the VIRTUAL style flag where an empty entry is
59 * created for each virtual row. This does not scale well for very large data sets.
62 * H_SCROLL, V_SCROLL, SINGLE, CHECK, FULL_SELECTION, HIDE_SELECTION, NO_SCROLL
64 public class TmfVirtualTable
extends Composite
{
68 private int fTableRows
= 0; // Number of table rows
69 private int fFullyVisibleRows
= 0; // Number of fully visible table rows
70 private int fFrozenRowCount
= 0; // Number of frozen table rows at top of table
72 private int fTableTopEventRank
= 0; // Global rank of the first entry displayed
73 private int fSelectedEventRank
= 0; // Global rank of the selected event
74 private boolean fPendingSelection
= false; // Pending selection update
76 private int fTableItemCount
= 0;
79 private Slider fSlider
;
81 private int fLinuxItemHeight
= 0; // Calculated item height for Linux workaround
82 private TooltipProvider tooltipProvider
= null;
83 private IDoubleClickListener doubleClickListener
= null;
85 // ------------------------------------------------------------------------
87 // ------------------------------------------------------------------------
93 public TmfVirtualTable(Composite parent
, int style
) {
94 super(parent
, style
& (~SWT
.H_SCROLL
) & (~SWT
.V_SCROLL
) & (~SWT
.SINGLE
) & (~SWT
.FULL_SELECTION
) & (~SWT
.HIDE_SELECTION
) & (~SWT
.CHECK
));
96 // Create the controls
97 createTable(style
& (SWT
.H_SCROLL
| SWT
.SINGLE
| SWT
.FULL_SELECTION
| SWT
.HIDE_SELECTION
| SWT
.CHECK
));
98 createSlider(style
& SWT
.V_SCROLL
);
100 // Prevent the slider from being traversed
101 setTabList(new Control
[] { fTable
});
104 GridLayout gridLayout
= new GridLayout();
105 gridLayout
.numColumns
= 2;
106 gridLayout
.horizontalSpacing
= 0;
107 gridLayout
.verticalSpacing
= 0;
108 gridLayout
.marginWidth
= 0;
109 gridLayout
.marginHeight
= 0;
110 setLayout(gridLayout
);
112 GridData tableGridData
= new GridData(SWT
.FILL
, SWT
.FILL
, true, true);
113 fTable
.setLayoutData(tableGridData
);
115 GridData sliderGridData
= new GridData(SWT
.FILL
, SWT
.FILL
, false, true);
116 fSlider
.setLayoutData(sliderGridData
);
119 fTable
.addMouseWheelListener(new MouseWheelListener() {
121 public void mouseScrolled(MouseEvent event
) {
122 if (fTableItemCount
<= fFullyVisibleRows
) {
125 fTableTopEventRank
-= event
.count
;
126 if (fTableTopEventRank
< 0) {
127 fTableTopEventRank
= 0;
129 int latestFirstRowOffset
= fTableItemCount
- fFullyVisibleRows
;
130 if (fTableTopEventRank
> latestFirstRowOffset
) {
131 fTableTopEventRank
= latestFirstRowOffset
;
134 fSlider
.setSelection(fTableTopEventRank
);
139 fTable
.addListener(SWT
.MouseWheel
, new Listener() {
140 // disable mouse scroll of horizontal scroll bar
142 public void handleEvent(Event event
) {
147 fTable
.addControlListener(new ControlAdapter() {
149 public void controlResized(ControlEvent event
) {
150 int tableHeight
= Math
.max(0, fTable
.getClientArea().height
- fTable
.getHeaderHeight());
151 fFullyVisibleRows
= tableHeight
/ getItemHeight();
152 if (fTableItemCount
> 0) {
153 fSlider
.setThumb(Math
.max(1, Math
.min(fTableRows
, fFullyVisibleRows
)));
157 // Implement a "fake" tooltip
158 final String TOOLTIP_DATA_KEY
= "_TABLEITEM"; //$NON-NLS-1$
159 final Listener labelListener
= new Listener () {
161 public void handleEvent (Event event
) {
162 Label label
= (Label
)event
.widget
;
163 Shell shell
= label
.getShell ();
164 switch (event
.type
) {
166 Event e
= new Event ();
167 e
.item
= (TableItem
) label
.getData (TOOLTIP_DATA_KEY
);
168 // Assuming table is single select, set the selection as if
169 // the mouse down event went through to the table
170 fTable
.setSelection (new TableItem
[] {(TableItem
) e
.item
});
171 fTable
.notifyListeners (SWT
.Selection
, e
);
183 Listener tableListener
= new Listener () {
187 public void handleEvent (Event event
) {
188 switch (event
.type
) {
191 case SWT
.MouseMove
: {
192 if (tip
== null) break;
198 case SWT
.MouseHover
: {
199 TableItem item
= fTable
.getItem (new Point(event
.x
, event
.y
));
201 for(int i
=0;i
<fTable
.getColumnCount();i
++){
202 Rectangle bounds
= item
.getBounds(i
);
203 if (bounds
.contains(event
.x
,event
.y
)){
204 if (tip
!= null && !tip
.isDisposed()) tip
.dispose();
205 if (tooltipProvider
== null) {
208 String tooltipText
= tooltipProvider
.getTooltip(i
, item
.getData());
209 if (tooltipText
== null) return;
210 tip
= new Shell(fTable
.getShell(), SWT
.ON_TOP
| SWT
.NO_FOCUS
| SWT
.TOOL
);
211 tip
.setBackground(PlatformUI
.getWorkbench().getDisplay().getSystemColor(SWT
.COLOR_INFO_BACKGROUND
));
212 FillLayout layout
= new FillLayout();
213 layout
.marginWidth
= 2;
214 tip
.setLayout(layout
);
215 label
= new Label(tip
, SWT
.WRAP
);
216 label
.setForeground(PlatformUI
.getWorkbench().getDisplay().getSystemColor(SWT
.COLOR_INFO_FOREGROUND
));
217 label
.setBackground(PlatformUI
.getWorkbench().getDisplay().getSystemColor(SWT
.COLOR_INFO_BACKGROUND
));
218 label
.setData(TOOLTIP_DATA_KEY
, item
);
219 label
.setText(tooltipText
);
221 label
.addListener(SWT
.MouseExit
, labelListener
);
222 label
.addListener(SWT
.MouseDown
, labelListener
);
223 label
.addListener(SWT
.MouseWheel
, labelListener
);
224 Point size
= tip
.computeSize(SWT
.DEFAULT
, SWT
.DEFAULT
);
225 Point pt
= fTable
.toDisplay(bounds
.x
, bounds
.y
);
226 tip
.setBounds(pt
.x
, pt
.y
, size
.x
, size
.y
);
227 tip
.setVisible(true);
237 fTable
.addListener(SWT
.Dispose
, tableListener
);
238 fTable
.addListener(SWT
.KeyDown
, tableListener
);
239 fTable
.addListener(SWT
.MouseMove
, tableListener
);
240 fTable
.addListener(SWT
.MouseHover
, tableListener
);
241 addControlListener(new ControlAdapter() {
243 public void controlResized(ControlEvent event
) {
252 // ------------------------------------------------------------------------
254 // ------------------------------------------------------------------------
257 * Create the table and add listeners
259 private void createTable(int style
) {
260 fTable
= new Table(this, style
| SWT
.NO_SCROLL
);
262 fTable
.addSelectionListener(new SelectionAdapter() {
264 public void widgetSelected(SelectionEvent event
) {
265 if (fTable
.getSelectionIndices().length
> 0) {
266 handleTableSelection();
271 fTable
.addKeyListener(new KeyListener() {
273 public void keyPressed(KeyEvent event
) {
274 handleTableKeyEvent(event
);
277 public void keyReleased(KeyEvent event
) {
282 SWT
.MouseDoubleClick
, new Listener() {
284 public void handleEvent(Event event
) {
285 if (doubleClickListener
!= null) {
286 TableItem item
= fTable
.getItem (new Point (event
.x
, event
.y
));
288 for(int i
=0;i
<fTable
.getColumnCount();i
++){
289 Rectangle bounds
= item
.getBounds(i
);
290 if (bounds
.contains(event
.x
,event
.y
)){
291 doubleClickListener
.handleDoubleClick(TmfVirtualTable
.this, item
, i
);
303 * Update the rows and selected item
305 private void handleTableSelection() {
306 int selectedRow
= fTable
.getSelectionIndices()[0];
307 if (selectedRow
< fFrozenRowCount
) {
308 fSelectedEventRank
= selectedRow
;
310 fSelectedEventRank
= fTableTopEventRank
+ selectedRow
;
314 * Feature in Windows. When a partially visible table item is selected,
315 * after ~500 ms the top index is changed to ensure the selected item is
316 * fully visible. This leaves a blank space at the bottom of the virtual
317 * table. The workaround is to update the top event rank, refresh the
318 * table and reset the top index to 0 after a sufficient delay.
320 if (selectedRow
>= fFullyVisibleRows
) {
321 final Display display
= fTable
.getDisplay();
322 Thread thread
= new Thread("Top index check") { //$NON-NLS-1$
327 } catch (InterruptedException e
) {
330 display
.asyncExec(new Runnable() {
333 if (fTable
.isDisposed()) return;
334 int topIndex
= fTable
.getTopIndex();
336 fTableTopEventRank
+= topIndex
;
338 fSlider
.setSelection(fTableTopEventRank
);
339 fTable
.setTopIndex(0);
350 * Handle key-based navigation in table.
354 private void handleTableKeyEvent(KeyEvent event
) {
356 int lastEventRank
= fTableItemCount
- 1;
357 int lastPageTopEntryRank
= Math
.max(0, fTableItemCount
- fFullyVisibleRows
);
359 int previousSelectedEventRank
= fSelectedEventRank
;
360 int selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
361 boolean needsRefresh
= false;
363 // In all case, perform the following steps:
364 // - Update the selected entry rank (within valid range)
365 // - Update the selected row
366 // - Update the page's top entry if necessary (which also adjusts the selected row)
367 // - If the top displayed entry was changed, table refresh is needed
368 switch (event
.keyCode
) {
370 case SWT
.ARROW_DOWN
: {
372 if (fSelectedEventRank
< lastEventRank
) {
373 fSelectedEventRank
++;
374 selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
375 if (selectedRow
>= fFullyVisibleRows
) {
376 fTableTopEventRank
++;
385 if (fSelectedEventRank
> 0) {
386 fSelectedEventRank
--;
387 selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
388 if (selectedRow
< fFrozenRowCount
&& fTableTopEventRank
> 0) {
389 fTableTopEventRank
--;
398 fTableTopEventRank
= lastPageTopEntryRank
;
399 fSelectedEventRank
= lastEventRank
;
406 fSelectedEventRank
= fFrozenRowCount
;
407 fTableTopEventRank
= 0;
412 case SWT
.PAGE_DOWN
: {
414 if (fSelectedEventRank
< lastEventRank
) {
415 fSelectedEventRank
+= fFullyVisibleRows
;
416 if (fSelectedEventRank
> lastEventRank
) {
417 fSelectedEventRank
= lastEventRank
;
419 selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
420 if (selectedRow
> fFullyVisibleRows
- 1) {
421 fTableTopEventRank
+= fFullyVisibleRows
;
422 if (fTableTopEventRank
> lastPageTopEntryRank
) {
423 fTableTopEventRank
= lastPageTopEntryRank
;
433 if (fSelectedEventRank
> 0) {
434 fSelectedEventRank
-= fFullyVisibleRows
;
435 if (fSelectedEventRank
< fFrozenRowCount
) {
436 fSelectedEventRank
= fFrozenRowCount
;
438 selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
439 if (selectedRow
< 0) {
440 fTableTopEventRank
-= fFullyVisibleRows
;
441 if (fTableTopEventRank
< 0) {
442 fTableTopEventRank
= 0;
456 done
= refreshTable(); // false if table items not updated yet in this thread
458 fTable
.select(selectedRow
);
461 if (fFullyVisibleRows
< fTableItemCount
) {
462 fSlider
.setSelection(fTableTopEventRank
);
465 if (fSelectedEventRank
!= previousSelectedEventRank
&& fTable
.getSelection().length
> 0) {
467 Event e
= new Event();
468 e
.item
= fTable
.getSelection()[0];
469 fTable
.notifyListeners(SWT
.Selection
, e
);
471 fPendingSelection
= true;
476 private boolean setDataItem(int index
, TableItem item
) {
478 Event event
= new Event();
480 if (index
< fFrozenRowCount
) {
483 event
.index
= index
+ fTableTopEventRank
;
486 fTable
.notifyListeners(SWT
.SetData
, event
);
487 return event
.doit
; // false if table item not updated yet in this thread
492 // ------------------------------------------------------------------------
494 // ------------------------------------------------------------------------
496 private void createSlider(int style
) {
497 fSlider
= new Slider(this, SWT
.VERTICAL
| SWT
.NO_FOCUS
);
498 fSlider
.setMinimum(0);
499 fSlider
.setMaximum(0);
500 if ((style
& SWT
.V_SCROLL
) == 0) {
501 fSlider
.setVisible(false);
504 fSlider
.addListener(SWT
.Selection
, new Listener() {
506 public void handleEvent(Event event
) {
507 switch (event
.detail
) {
515 fTableTopEventRank
= fSlider
.getSelection();
524 // ------------------------------------------------------------------------
525 // Simulated Table API
526 // ------------------------------------------------------------------------
528 public void setHeaderVisible(boolean b
) {
529 fTable
.setHeaderVisible(b
);
532 public void setLinesVisible(boolean b
) {
533 fTable
.setLinesVisible(b
);
536 public TableItem
[] getSelection() {
537 return fTable
.getSelection();
541 public void addListener(int eventType
, Listener listener
) {
542 fTable
.addListener(eventType
, listener
);
546 public void addKeyListener(KeyListener listener
) {
547 fTable
.addKeyListener(listener
);
552 public void addMouseListener(MouseListener listener
) {
553 fTable
.addMouseListener(listener
);
556 public void addSelectionListener(SelectionListener listener
) {
557 fTable
.addSelectionListener(listener
);
561 public void setMenu(Menu menu
) {
562 fTable
.setMenu(menu
);
565 public void clearAll() {
569 public void setItemCount(int nbItems
) {
570 nbItems
= Math
.max(0, nbItems
);
572 if (nbItems
!= fTableItemCount
) {
573 fTableItemCount
= nbItems
;
574 fTable
.remove(fTableItemCount
, fTable
.getItemCount() - 1);
575 fSlider
.setMaximum(nbItems
);
577 int tableHeight
= Math
.max(0, fTable
.getClientArea().height
- fTable
.getHeaderHeight());
578 fFullyVisibleRows
= tableHeight
/ getItemHeight();
579 if (fTableItemCount
> 0) {
580 fSlider
.setThumb(Math
.max(1, Math
.min(fTableRows
, fFullyVisibleRows
)));
585 public int getItemCount() {
586 return fTableItemCount
;
589 public int getItemHeight() {
591 * Bug in Linux. The method getItemHeight doesn't always return the correct value.
593 if (fLinuxItemHeight
>= 0 && System
.getProperty("os.name").contains("Linux")) { //$NON-NLS-1$ //$NON-NLS-2$
594 if (fLinuxItemHeight
!= 0) {
595 return fLinuxItemHeight
;
597 if (fTable
.getItemCount() > 1) {
598 int itemHeight
= fTable
.getItem(1).getBounds().y
- fTable
.getItem(0).getBounds().y
;
599 if (itemHeight
> 0) {
600 fLinuxItemHeight
= itemHeight
;
601 return fLinuxItemHeight
;
605 fLinuxItemHeight
= -1; // Not Linux, don't perform os.name check anymore
607 return fTable
.getItemHeight();
610 public int getTopIndex() {
611 return fTableTopEventRank
+ fFrozenRowCount
;
614 public void setTopIndex(int i
) {
615 if (fTableItemCount
> 0) {
616 i
= Math
.min(i
, fTableItemCount
- 1);
617 i
= Math
.max(i
, fFrozenRowCount
);
619 fTableTopEventRank
= i
- fFrozenRowCount
;
620 if (fFullyVisibleRows
< fTableItemCount
) {
621 fSlider
.setSelection(fTableTopEventRank
);
628 public int indexOf(TableItem ti
) {
629 int index
= fTable
.indexOf(ti
);
630 if (index
< fFrozenRowCount
) {
633 return (index
- fFrozenRowCount
) + getTopIndex();
637 public TableColumn
[] getColumns() {
638 return fTable
.getColumns();
641 public TableItem
getItem(Point point
) {
642 return fTable
.getItem(point
);
645 private void resize() {
646 // Compute the numbers of rows that fit the new area
647 int tableHeight
= Math
.max(0, getSize().y
- fTable
.getHeaderHeight());
648 int itemHeight
= getItemHeight();
649 fTableRows
= Math
.min((tableHeight
+ itemHeight
- 1) / itemHeight
, fTableItemCount
);
651 if (fTableTopEventRank
+ fFullyVisibleRows
> fTableItemCount
) {
652 // If we are at the end, get elements before to populate
653 fTableTopEventRank
= Math
.max(0, fTableItemCount
- fFullyVisibleRows
);
655 } else if (fTableRows
> fTable
.getItemCount() || fTableItemCount
< fTable
.getItemCount()) {
656 // Only refresh if new table items are needed or if table items need to be deleted
662 // ------------------------------------------------------------------------
663 // Controls interactions
664 // ------------------------------------------------------------------------
667 public boolean setFocus() {
668 boolean isVisible
= isVisible();
675 public void refresh() {
676 boolean done
= refreshTable();
677 if (fPendingSelection
&& done
) {
678 fPendingSelection
= false;
679 if (fTable
.getSelection().length
> 0) {
680 Event e
= new Event();
681 e
.item
= fTable
.getSelection()[0];
682 fTable
.notifyListeners(SWT
.Selection
, e
);
687 public void setColumnHeaders(ColumnData columnData
[]) {
688 for (int i
= 0; i
< columnData
.length
; i
++) {
689 TableColumn column
= new TableColumn(fTable
, columnData
[i
].alignment
, i
);
690 column
.setText(columnData
[i
].header
);
691 if (columnData
[i
].width
> 0) {
692 column
.setWidth(columnData
[i
].width
);
699 public int removeAll() {
701 fSlider
.setMaximum(0);
703 fSelectedEventRank
= fFrozenRowCount
;
707 private boolean refreshTable() {
709 for (int i
= 0; i
< fTableRows
; i
++) {
710 if (i
+ fTableTopEventRank
< fTableItemCount
) {
712 if (i
< fTable
.getItemCount()) {
713 tableItem
= fTable
.getItem(i
);
715 tableItem
= new TableItem(fTable
, SWT
.NONE
);
717 done
&= setDataItem(i
, tableItem
); // false if table item not updated yet in this thread
719 if (fTable
.getItemCount() > fTableItemCount
- fTableTopEventRank
) {
720 fTable
.remove(fTableItemCount
- fTableTopEventRank
);
725 int lastRowOffset
= fTableTopEventRank
+ fTableRows
- 1;
726 if ((fSelectedEventRank
>= fTableTopEventRank
+ fFrozenRowCount
) && (fSelectedEventRank
<= lastRowOffset
)) {
727 int selectedRow
= fSelectedEventRank
- fTableTopEventRank
;
728 fTable
.select(selectedRow
);
729 } else if (fSelectedEventRank
< fFrozenRowCount
) {
730 fTable
.select(fSelectedEventRank
);
732 fTable
.deselectAll();
737 public void setSelection(int i
) {
738 if (fTableItemCount
> 0) {
739 i
= Math
.min(i
, fTableItemCount
- 1);
742 fSelectedEventRank
= i
;
743 if ((i
< fTableTopEventRank
+ fFrozenRowCount
&& i
>= fFrozenRowCount
) ||
744 (i
>= fTableTopEventRank
+ fFullyVisibleRows
)) {
745 fTableTopEventRank
= Math
.max(0, i
- fFrozenRowCount
- fFullyVisibleRows
/ 2);
747 if (fFullyVisibleRows
< fTableItemCount
) {
748 fSlider
.setSelection(fTableTopEventRank
);
756 public int getSelectionIndex() {
757 int index
= fTable
.getSelectionIndex();
759 return fSelectedEventRank
;
761 if (index
< fFrozenRowCount
) {
764 return (index
- fFrozenRowCount
) + getTopIndex();
768 public void setFrozenRowCount(int count
) {
769 fFrozenRowCount
= count
;
773 public TableEditor
createTableEditor() {
774 return new TableEditor(fTable
);
777 public Control
createTableEditorControl(Class
<?
extends Control
> control
) {
779 return (Control
) control
.getConstructor(Composite
.class, int.class).newInstance(new Object
[] {fTable
, SWT
.NONE
});
780 } catch (Exception e
) {
787 * @return the tooltipProvider
789 public TooltipProvider
getTooltipProvider() {
790 return tooltipProvider
;
794 * @param tooltipProvider the tooltipProvider to set
796 public void setTooltipProvider(TooltipProvider tooltipProvider
) {
797 this.tooltipProvider
= tooltipProvider
;
801 * @return the doubleClickListener
803 public IDoubleClickListener
getDoubleClickListener() {
804 return doubleClickListener
;
808 * @param doubleClickListener the doubleClickListener to set
810 public void setDoubleClickListener(IDoubleClickListener doubleClickListener
) {
811 this.doubleClickListener
= doubleClickListener
;