708709710711712713714715716717718
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) {