}
functionsTableViewer.setColumnProperties(columnProperties);
// providers
functionsTableViewer.setLabelProvider(new TracePatternLabelProvider());
functionsTableViewer.setContentProvider(new TracePatternContentProvider());
// input
functionsTableViewer.setInput(TraceBackend.getInstance());
// editors