protected IFilter getViewerFilter() {
return new IFilter() {
public boolean accept(Object o) {
SnapshotFilter modelFilter = data.getModelFilter();
if (modelFilter != null) {
return modelFilter.accept((ITrace) o);
}
return true;
}
public Point match(String text) {
SnapshotFilter modelFilter = data.getModelFilter();
if (modelFilter != null) {
String pattern = modelFilter.pattern;
int indexOf = text.toLowerCase().indexOf(
pattern.toLowerCase());
if (indexOf != -1) {