public Printer(TextWriter wr, DafnyOptions.PrintModes printMode = DafnyOptions.PrintModes.Everything) {
Contract.Requires(wr != null);
this.wr = wr;
this.printMode = printMode;
}
protected Printer(TextWriter tw, string filename, DafnyOptions.PrintModes printMode = DafnyOptions.PrintModes.Everything) : base(tw, printMode)
{
FileName = filename;
wr = tw;
this.printMode = printMode;
}
protected Printer(TextWriter tw, string filename, DafnyOptions.PrintModes printMode = DafnyOptions.PrintModes.Everything) : base(tw, printMode) {
FileName = filename;
wr = tw;
this.printMode = printMode;
}
