public static string IteratorClassToString(IteratorDecl iter) {
Contract.Requires(iter != null);
using (var wr = new System.IO.StringWriter()) {
var pr = new Printer(wr);
pr.PrintIteratorClass(iter, 0, null);
return ToStringWithoutNewline(wr);
}
}
