/* visit a filter */
public void visitFilter(SIRFilter self, SIRFilterIter iter) {
JMethodDeclaration work = self.getWork();
// cannot look for push operators as
// they could be any where of the code
work.addStatementFirst(makeInitCounter(self));
work.addStatement(makeEndCounter(self));
// FIXME: need to check for duplication?
counterSet.add(makePerfCounterName(self));
}
