return new NamePair(makeDarkGreyLabelledNode(label));
return new NamePair(makeConstantLabelledNode(label));
     public Object visitFilter(SIRFilter self,                              JFieldDeclaration[] fields,                              JMethodDeclaration[] methods,                              JMethodDeclaration init,                              JMethodDeclaration work,                              CType inputType, CType outputType)    {	// code from StreamItDot	String label = self.getIdent();	try {	    label += "\\npush=" + self.getPushInt();	    label += "\\npop=" + self.getPopInt();	    label += "\\npeek=" + self.getPeekInt();	    if (self instanceof SIRTwoStageFilter) {		SIRTwoStageFilter two = (SIRTwoStageFilter)self;		label += "\\ninitPush=" + two.getInitPush();		label += "\\ninitPop=" + two.getInitPop();		label += "\\ninitPeek=" + two.getInitPeek();	    }	} catch (Exception e) {	    // if constants not resolved for the ints, will get an exception	}	// if this filter has a linear representation (which we	// check with the linear analyzer that we have, return a	// grey node. Otherwise, return a normal node.	if (this.linearData.hasLinearRepresentation(self)) {	    LinearFilterRepresentation lfr;	    lfr = this.linearData.getLinearRepresentation(self);	    // Make a dark grey node if the linear representation has a constant	    // component, make a light grey node if the linear rep has a constant	    // component.	    if (lfr.hasConstantComponent()) {		return new NamePair(makeDarkGreyLabelledNode(label));	    } else {		return new NamePair(makeLightGreyLabelledNode(label));	    }	} else {	    return new NamePair(makeLabelledNode(label));	}    }