dot += e.pins[0].net +" -- "+ e.pins[2].net +" [label="+ e.name +"];";