columnProperties[column.ordinal()] = column.name();
}
functionsTableViewer.setColumnProperties(columnProperties);
// providers
functionsTableViewer.setLabelProvider(new TracePatternLabelProvider());
functionsTableViewer.setContentProvider(new TracePatternContentProvider());
// input
functionsTableViewer.setInput(TraceBackend.getInstance());