protected virtual void ReplaceRawRange(IRange range, string replacement, Format format) { Contract.Requires(range != null); Contract.Requires(replacement != null); System.Diagnostics.Trace.WriteLine("ReplaceRange must be implemented! Range: " + range + " Replacement:" + replacement); }