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; }