createColumn(table, SWT.RIGHT, 16, UIMessages.CoveragePropertyPageColumnCoverage_label);
createColumn(table, SWT.RIGHT, 16, UIMessages.CoveragePropertyPageColumnCovered_label);
createColumn(table, SWT.RIGHT, 16, UIMessages.CoveragePropertyPageColumnTotal_label);
TableViewer viewer = new TableViewer(table);
viewer.setContentProvider(new ArrayContentProvider());
viewer.addFilter(new ViewerFilter() {
public boolean select(Viewer viewer, Object parentElement, Object element) {
return ((Line) element).counter.getTotalCount() != 0;
}
});
viewer.setInput(getLines());