label += "\\npartition=" + partitions.get(self);
int partition; try { partition = Integer.valueOf((String)partitions.get(self)).intValue(); } catch (NumberFormatException e) { partition = -1; } label += "\\npartition=" + partition + "\" color=\"" + color_table[(partition+1)%color_table.length] + "\" style=\"filled";
    public Object visitFilter(SIRFilter self,                              JFieldDeclaration[] fields,                              JMethodDeclaration[] methods,                              JMethodDeclaration init,                              JMethodDeclaration work,                              CType inputType, CType outputType)    {        // Return a name pair with both ends pointing to this.	//        return new NamePair(makeLabelledNode(self.getRelativeName()));	String label = self.getName();	Utils.assert(partitions.containsKey(self), "Not assigned to tile: " + self.getName());	label += "\\npartition=" + partitions.get(self);	return new NamePair(makeLabelledNode(label));    }