private void GenCode(Procedure proc, StringWriter sb) { sb.WriteLine("{0}()", proc.Name); sb.WriteLine("{"); CodeFormatter cf = new CodeFormatter(new TextFormatter(sb)); cf.WriteStatementList(proc.Body); sb.WriteLine("}"); }